Feeds to Scour
SubscribedAll
Scoured 274 posts in 10.9 ms

No high-quality results found.

Less-relevant results
Cubical Type Theoretic Navya-Ny\=aya  📐Type Systems
arxiv.org·6d
Erasing Existentials  📐Type Systems
wolfgirl.dev·13h·Lobsters, Hacker News
samth/gradual-typing-bib: A bibliography on Gradual Typing  📐Type Systems
github.com·1d·Lobsters
The Mercury Project: About  💻Programming
mercurylang.org·23h
Lambda Diagrams  📐Computational Geometry
NULL BITMAP by Justin Jaffray via buttondown.com·2d·Hacker News
Portland PLV Group  📐Type Systems
plv.cs.pdx.edu·5d
Null Pointers Have Been Killing Software for 60 Years  🔧Systems Programming
siliconopera.com·18h
Super-intelligence Survival Guide: Verification via Proof-Carrying Output  📐Type Systems
eprint.iacr.org·1d
Compiling Ruby. Part 2: RiteVM  ⚙️Compilers
lowlevelbits.org·13h
machine review for the scientific record  📐Type Systems
pith.science·2d·Hacker News
Why Category Theory Matters  📐Type Systems
rs.io·6d
The Abelian group structure of full factorial designs  🧩Cognitive Science
frontiersin.org·20h
We are reaching the structural limits of probabilistic code generation  📐Type Systems
logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial
Singular Learning Theory Comprehensive  📉Statistics
lesswrong.com·7h
Profunctor Equipment in Haskell  ⚙️Compilers
bartoszmilewski.com·4d·Hacker News
"Parametricism is a technophile triumph of fetishised process over outcome"  🔍Tech Criticism
dezeen.com·1d
Presentation of Xcas, the Swiss knife for mathematics  📐Computational Geometry
www-fourier.univ-grenoble-alpes.fr·2d·Hacker News
On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications  📐Type Systems
proofsandintuitions.net·3d·Lobsters, Hacker News
You can predict LLM output sensitivity in closed form  📐Type Systems
noahgolmant.com·2d·Hacker News
Results of the Grand C++ Error Explosion Competition (2014)  💻Programming
news.ycombinator.com·4d·Hacker News

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
Save / unsave
s

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