Feeds to Scour
SubscribedAll
Scoured 9689 posts in 186.6 ms
Internal Flow Signatures for Self-Checking and Refinement in LLMs
arxiv.org·1d
🔍CBMC
Debugging Memory Leaks in Go Without Documentation: A Security Researcher's Approach
dev.to·15h·
Discuss: DEV
👁️System Observability
I Am Not a Functional Programmer
blog.daniel-beskin.com·54m·
Discuss: r/programming
λFunctional Programming
Using Nsight Compute with large codebases - Part 2 : Profiling large code bases
blog.ncompass.tech·21h·
Discuss: Hacker News
👁️System Observability
A Demonstration of Self-Profiling
geoffchappell.com·21h·
Discuss: Hacker News
👁️System Observability
Formal Evidence Generation for Assurance Cases for Robotic Software Models
arxiv.org·9h
🔍Formal Verification
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
🏃Escape Analysis
Verifying coding AIs for LLM powered software
aunhumano.com·18h·
Discuss: Hacker News
🔍Formal Verification
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·1d·
Discuss: Hacker News
🔧DevOps
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·7h·
Discuss: r/devops, r/node, r/programming, r/typescript
🧪Property-Based Testing
The Projection Problem: Two Pitfalls in AI Safety Research
lesswrong.com·17h
🩹Self-Healing Systems
apache/otava: Change Detection for Continuous Performance Engineering
github.com·2d·
Discuss: Hacker News
👁️System Observability
Flutter ECS: DevTools Integration & Debugging
medium.com·15h·
Discuss: r/programming
👁️System Observability
Queue monitoring that catches issues early
queuedash.com·1d·
Discuss: Hacker News
👁️System Observability
Automating PIi Leak Detection in Test Environments with Go and Open Source Tools
dev.to·8h·
Discuss: DEV
👁️System Observability
From 88 to 24 Seconds: Drop-In Replacements That Cut CI/CD Runtime by Over Half on my frontend app
howtotestfrontend.com·1d·
Discuss: Hacker News, r/javascript
🏃Escape Analysis
KEDA Release 2.19.0 now with Dynatrace DQL Support
reddit.com·19h·
Discuss: r/kubernetes
📦Opam
Simple vanilla restaurant booking system
vanillife.substack.com·5h·
Discuss: Substack
🔒Protocol Verification
How I Program with LLMs
blog.wesleyabbey.io·44m·
Discuss: Hacker News
🛡️seL4
a Pingora-based reverse proxy (inspired by River)
sentinel.raskell.io·6h·
Discuss: Hacker News
🌐NetworkProtocols

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