Feeds to Scour
SubscribedAll
Scoured 27886 posts in 133.8 ms

No high-quality results found.

Less-relevant results
Hedystia - End-to-End Type Safe Framework
docs.hedystia.com·1d·
Discuss: Hacker News
🔬Refinement Types
FormalRTL: Verified RTL Synthesis at Scale
arxiv.org·3d
⚖️RISC-V Formal
Safe Expressions for Rules, Filters, and Templates
danfry1.github.io·21h·
Discuss: Hacker News
✅Format Verification
One key place 'The Diary of a CEO' star Steven Bartlett has stopped using AI
businessinsider.com
·30m
⏱️SMPTE Timecode
Queen Camilla told friend Meghan ‘brainwashed’ Harry, new book claims
the-independent.com·30m
🏠Personal Archives
'We all need solidarity': volunteers mobilise to help Lebanon's displaced
rfi.fr·37m
🔍Polish Cryptanalysis
Oh for the sound of silence. Too much noise can kill you, a new study reveals.
newenglishreview.org·52m
🎵Music Universality
Premier League buildup as Arsenal prepare for another title test
theguardian.com·55m
⚡Proof Automation
Common Known SSDs Using SM2258XT Controllers
dolphindatalab.com·41m
🔌Operating system internals
Kappa calculus
en.wikipedia.org·1d
λLambda Formalization
Swift re-write for QuickPkg and some thoughts on LLM aided coding
scriptingosx.com·20h
📜Proof Carrying Code
Conditional Impls
possiblerust.com·15h·
Discuss: Lobsters, r/programming, r/rust
🔒Linear Types
VAALCO Energy Stock: Lucky Break (NYSE:EGY)
seekingalpha.com
·1h
🔍BitFunnel
A Typed Language for Agent Coordination
golem.ph.utexas.edu·2d
🌐Protocol Synthesis
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
arxiv.org·3d
🧮SMT Solvers
FP-Go V2: Enhanced Functional Programming for Go 1.24
github.com·1d·
Discuss: Hacker News
🔗Functional Compilers
What does Sweden's deportation climbdown mean for immigrants?
thelocal.se·1h
🇸Sweden
North Korea fires volley of 10 ballistic missiles in massive show of force
the-independent.com·34m
📰RSS Archaeology
How Accent Discrimination Reinforces America’s Deepest Divides
nakedcapitalism.com·1h
📡Frequency Archaeology
Interpol – Operation Synergia III leads to 45,000 malicious IPs dismantled and 94 arrests worldwide
securityaffairs.com·42m
🛣️BGP Hijacking

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