GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
📝Lisp
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·8h
🕸️Graph Theory
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
⚙Functional Programming
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·8h
🔢Mathematical Logic
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🧩Theorem Proving
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
🎲Probabilistic Programming
Flag this post
Some thoughts on AI and coding
infoworld.com·4h
🧮Programming Language Theory
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🔗Parser Combinators
Flag this post
Going Full-Time NeoHaskell
🔗Parser Combinators
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🤝Protocol Design
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🔐Cryptography
Flag this post
Advances In Formal Verification Technology
semiengineering.com·6d
🧩Theorem Proving
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...