Feeds to Scour
SubscribedAll
Scoured 165 posts in 22.2 ms
Linux Audio Developer's Simple Plugin API (LADSPA)
ladspa.org·3d
🔍Static Analysis
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·3d·
Discuss: Hacker News
⚙️Concurrency Models
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
✅Lean Theorem Prover
Quantization-Aware Distillation
ternarysearch.blogspot.com·1d·
Discuss: Hacker News
✅Lean Theorem Prover
Claude Code - setup guide
notion.so·14h
💻Programming
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·5d·
Discuss: Hacker News, r/Compilers
✅Lean Theorem Prover
An Analysis of User-space Idle State Instructions on x86 Processors
danglingpointers.substack.com·4d·
Discuss: Substack
🛡️Memory Safety
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·3d·
Discuss: Hacker News
⚙️Concurrency Models
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·4d
⚙️Concurrency Models
Is artificial general intelligence already here? A new case that today's LLMs meet key tests
techxplore.com·2d
🛡️Memory Safety
My Current AI Coding Workflow
jonathannen.com·3d
🔍Static Analysis
Build Systems and Build Philosophy
abseil.io·4d·
Discuss: Lobsters
🔍Static Analysis
Building Highly Efficient Inference System for Recommenders Using PyTorch
pytorch.org·3d·
Discuss: Hacker News
⚙️Concurrency Models
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·6d·
Discuss: Substack
🛡️Memory Safety
Finding the needle in the logstack: Reducing LLM context with TF-IDF
eliseomartelli.it·4d
🔍Static Analysis
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·3d·
Discuss: Hacker News
🦀Rust
The Top 10 Best Practices for AI/BI Dashboards Performance Optimization (Part 2)
databricks.com·4d
🛡️Memory Safety
LAI #113: The Engineering Work That Decides Whether AI Holds Up
pub.towardsai.net·4d
🔍Static Analysis
The Mastering Emacs book
masteringemacs.org·5d
🔍Static Analysis
A Modern Python Stack for Data Projects (uv + ruff + ty + Marimo + Polars)
mameli.dev·5d·
Discuss: r/programming
🔍Static Analysis

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