Feeds to Scour
SubscribedAll
Scoured 17844 posts in 211.2 ms
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·15h
🔗Functional Compilers
Statistical-Based Metric Threshold Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
arxiv.org·1d
📏Code Metrics
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·4d
📊Performance Profiling
A simple text file beats complex skill systems for AI coding agents
the-decoder.com
·3d
⚡Proof Automation
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Stop Building Random Features: How to Actually Do Competitive Analysis from Code
dev.to·2d·
Discuss: DEV
📏Code Metrics
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·4d
📋Document Grammar
isledb: An embedded key-value engine built on object storage in Go
reddit.com·2d·
Discuss: r/golang
🏺Database Archaeology
Turning Coding Tasks into Feedback Loops
feipeng.substack.com·5d·
Discuss: Substack
✨Effect Handlers
Let Lambda Come Over
yamlscript.org·3d
⬆️Lambda Lifting
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Building the Future with AI That Acts
devxt.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Opus 4.5 really changed things
kylerush.org·1d·
Discuss: Hacker News
📚MARC Evolution
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·3d·
Discuss: Hacker News, r/rust
⚙️Parser Generators
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·2d
💨Cache Analysis
How to effectively write quality code with AI
heidenstedt.org·4d·
Discuss: Hacker News
⚡Proof Automation
I Write Games in C (yes, C)
jonathanwhiting.com·3d·
Discuss: Hacker News
🔩Systems Programming
Building Highly Efficient Inference System for Recommenders Using PyTorch
pytorch.org·4d·
Discuss: Hacker News
📊Quantization
MicroBlaze MCS Seven-Segment Counter on Basys 3 FPGA
hackster.io·3d
⚡Homebrew CPUs

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