Feeds to Scour
SubscribedAll
Scoured 26582 posts in 75.6 ms
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data  🕳️Persistent Homology
arxiv.org·4d
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🧩WASM Components
arxiv.org·1d
Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways  🌐Protocol Synthesis
arxiv.org·1d
shreeve/rip-lang: A modern language that compiles to JavaScript  🔗Concatenative Programming
github.com·5d·Hacker News
Parallel-SFT: Improving Zero-Shot Cross-Programming-Language Transfer for Code RL  🔗Concatenative Programming
arxiv.org·2d
ldap_str2syntax (3) Linux Manual Page  📋LDIF Parsing
systutorials.com·1d
deadpixi/nondescript: A simple embedded programming language  🔧Binary Parsers
github.com·3d·Lobsters
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware  🌊Stream Ciphers
arxiv.org·2d
DCP-AI – Portable accountability layer for AI agents (post-quantum)  🌐NetworkProtocols
github.com·3d·Hacker News
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ⚔️Lean Tactics
arxiv.org·1d
LibreSSL 4.3.1 Released  🌐NetworkProtocols
undeadly.org·3d·Hacker News
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·1d
huggingface/ml-intern: 🤗 ml-intern: an open-source ML engineer that reads papers, trains models, and ships ML models  ✨Effect Handlers
github.com·4d·Hacker News, Hacker News
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation  🔗Functional Compilers
arxiv.org·2d
phlx0/awesome-open-weight-models: The practitioner's guide to open-weight LLMs — benchmarks, licensing, hardware, deployment, fine-tuning  🕸️WASM Archives
github.com·5d·Hacker News
Common Foundations for Recursive Shape Languages  🔤Type Theory
arxiv.org·1d
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧮Constraint SMT
arxiv.org·1d
Ghosthx-Code/willow: open source lang: Made for system coding, and fun  🧪Binary Fuzzing
github.com·3d·Hacker News
The Path Not Taken: Duality in Reasoning about Program Execution  🔍Concolic Testing
arxiv.org·1d
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution  🦀Rust Macros
arxiv.org·2d

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