>progscrape ▒
All the news that's fit to scrape
Subscribe to search feed
Trending tags:
ai
github.com
rust
health
show
video
google
environment
apple
security
arstechnica.com
web
psypost.org
psychology
nature.com
game
techcrunch.com
vibecoding
release
china
POPL 2018 Tutorial (Computational Type Theory)
7 years ago
existentialtype.wordpress.com
tutorial
Related Stories
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux
3 days ago
muppetlabs.com
assembly
linux
tutorial
Programming as Theory Building
11 days ago
pablo.rauzy.name
pdf
plt
theory building without a mentor
6 days ago
jyn.dev
Tuple type hints?
12 days ago
reddit.com
python
Type safe row sql
8 days ago
reddit.com
go
sql
Build Systems à la Carte (2018) [pdf]
11 days ago
microsoft.com
pdf
In defence of swap: common misconceptions (2018)
6 days ago
chrisdown.name
linux
Importing purely for a type hint?
6 days ago
reddit.com
python
AI winter is well on its way (2018)
8 days ago
blog.piekniewski.info
ai
Series of posts on HTTP status codes (2018)
4 days ago
evertpot.com
http
How to do type erasure in Zig?
11 days ago
reddit.com
zig
Xenharmlib: A music theory library that supports non-western harmonic systems
4 days ago
xenharmlib.readthedocs.io
music
Method call resolution in Rust for type parameters
7 days ago
gist.github.com
rust
Hilbert's sixth problem: derivation of fluid equations via Boltzmann's theory
11 days ago
arxiv.org
LLMs show cultural theory was right about the death of the author
3 days ago
programmablemutter.com
llm
CPU stuck at 0.80Ghz, Fixed by removing keyboard screw (2018)
4 days ago
dell.com
New quantum paradox clarifies where our views of reality go wrong (2018)
6 days ago
quantamagazine.org
Universal Type Lens extension for vscode (open source, free and etc)
6 days ago
marketplace.visualstudio.com
I built a minimal, type-safe dependency injection container for Python
3 days ago
reddit.com
python
UIs Are Not Pure Functions of the Model - React.js and Cocoa Side by Side (2018)
10 days ago
blog.metaobject.com
Release of small_type_id: crate with 32 bit const TypeIds for user types
7 days ago
reddit.com
release
rust
Scientists have found a previously unknown type of cell in Burmese pythons that allows them to digest bones completely
4 days ago
sciencealert.com
biology
Readable programming tutorials
9 days ago
tourofrust.com
tutorial
Processed meat can cause health issues, even in tiny amounts. Eating just one hot dog a day increased type 2 diabetes risk by 11%
8 days ago
earth.com
diabetes
health
Graphite (now a top-100 Rust project) turns Rust into a functional, visual scripting language for graphics operations — REQUESTING HELP to implement compiler bidirectional type inference
12 days ago
reddit.com
compiler
graphics
rust
The largest review of ‘gold standard’ antidepressant withdrawal studies to date has identified the type and incidence of symptoms experienced by people discontinuing antidepressants, finding that most people do not experience severe withdrawal
3 days ago
ucl.ac.uk
health
I wrote tutorials on interfacing RabbitMQ with Rust using amqprs library.
11 days ago
reddit.com
rust
tutorial
Are there any python tutorials that get to the point and aren’t stupidly simple?
11 days ago
reddit.com
python
tutorial
Any fun python projects you guys would like to suggest instead of watching tutorials?
6 days ago
reddit.com
python
tutorial
Ebitengine tutorials
3 days ago
reddit.com
go
tutorial