Feeds to Scour
SubscribedAll
Scoured 26628 posts in 53.9 ms
Announcing TypeScript 7.0 Beta  🎯Gradual Typing
devblogs.microsoft.com·4d·Lobsters, Hacker News, Hacker News, r/javascript, r/programming, r/reactjs, r/typescript
The Edge of Safe Rust  🔒Type Safety
kyju.org·3d·Lobsters, Hacker News, r/rust
A History of Clojure (HOPL IV - Papers)  🧠Lisp Dialects
hopl4.sigplan.org·4d·Hacker News
Reflection On Recursion • Discussion 1  🔗Lisp
inquiryintoinquiry.com·4d
TypeScript Language Extension for Declarative UI  🎯Gradual Typing
tsrx.dev·4d·Hacker News
F# Weekly #16, 2026 – .NET 11 Preview 3 & SwaggerProvider 4.0 beta  💧Liquid Types
sergeytihon.com·6d
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation  🔗Functional Compilers
arxiv.org·2d
My practitioner view of program analysis  ⛏️Proof Mining
sawyer.dev·5d·Hacker News
C++26: Structured Bindings can introduce a Pack  🦀Rust Macros
sandordargo.com·4d·Hacker News, r/cpp
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·1d
deadpixi/nondescript: A simple embedded programming language  🔧Binary Parsers
github.com·3d·Lobsters
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🧩WASM Components
arxiv.org·1d
egison/sweet-egison: Haskell library for non-deterministic pattern matching  🧮Algebraic Datatypes
github.com·6d·Hacker News
Characterizing Streaming Decidability of CSPs via Non-Redundancy  📼Tape Combinators
arxiv.org·1d
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ⚔️Lean Tactics
arxiv.org·1d
shreeve/rip-lang: A modern language that compiles to JavaScript  🔗Concatenative Programming
github.com·5d·Hacker News
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧮Constraint SMT
arxiv.org·1d
Fable 5, F# compiler released  🦀Rust Macros
github.com·3d·Hacker News
From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation  🏗️Compiler Archaeology
arxiv.org·1d
The Path Not Taken: Duality in Reasoning about Program Execution  🔍Concolic Testing
arxiv.org·1d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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