Feeds to Scour
SubscribedAll
Scoured 77863 posts in 871.0 ms
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·1d
📏Linear Scanning
Preview
Report Post
jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.
github.com·2d
Algebraic Effects
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
On Learning Elixir
denvaar.dev·1d
🚂Error Propagation
Preview
Report Post
ES6 Generators Deliver Go Style Concurrency
swannodette.github.io·1d
⚙️Async State Machines
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·2d·
Discuss: Hacker News
🗂️Type Indexing
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·1d·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·5h
🧪Compiler Testing
Preview
Report Post
Using Haskell in Production
agentultra.com·1d
🔧Nickel
Preview
Report Post
Why not tail recursion?
futhark-lang.org·2d·
🔄Tail Recursion
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·19h·
Discuss: Hacker News
🌉Cross-Platform FFI
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Streamlining CUB with a Single-Call API
developer.nvidia.com·12h
⏲️Embedded GC
Preview
Report Post
ImmutableList vs. List in Jetpack Compose: Rethinking “Best Practice” After Strong Skipping Mode
dev.to·19h·
Discuss: DEV
💾Persistent Heaps
Preview
Report Post
Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·3d
🏗️Calculus of Constructions
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·10h
🔗Memory Linearization
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·18h
🔀Control Structures
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Gleam
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·17h·
Discuss: Hacker News
🔒Rust Borrowing
Preview
Report Post
GNU C Language Manual
gnu.org·14h
🪄C Metaprogramming
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help