Limitations of a two-pass assembler
boston.conman.orgยท22h
๐Ÿ—Computer Architecture
Flag this post
The Perils of Algorithmic Pricing
sloanreview.mit.eduยท13h
โš–Algorithmic Game Theory
Flag this post
Empirical Characterization Testing
blog.ploeh.dkยท1d
๐Ÿ”Static Analysis
Flag this post
Lowering in Reverse
buttondown.comยท1d
๐Ÿ”—Parser Combinators
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.ioยท4hยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
Flag this post
Information Gain-based Policy Optimization: A Simple and Effective Approach forMulti-Turn LLM Agents
paperium.netยท23hยท
Discuss: DEV
โš–Algorithmic Game Theory
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท20h
๐ŸงญSMT Solvers
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.orgยท20h
๐ŸŽฒProbabilistic Programming
Flag this post
@call_once python macro for unlimited recursion depth
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
Cracking the Cube: How Competitive Rubikโ€™s Cube Algorithms Inspire Modern AI and Programming
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏConstraint Programming
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.orgยท20h
๐Ÿ”—Parser Combinators
Flag this post
How Powerful AI Gets Cheap
lesswrong.comยท1d
๐Ÿ”Cryptography
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.toยท16hยท
Discuss: DEV
๐Ÿ”Cryptography
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.comยท2dยท
๐ŸŽฒProbabilistic Programming
Flag this post
Learning Complementary Policies for Human-AI Teams
arxiv.orgยท20h
โš–Algorithmic Game Theory
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.comยท1d
๐ŸงญSMT Solvers
Flag this post
For Synthetic Situations
lesswrong.comยท1d
โš™Functional Programming
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.orgยท20h
๐Ÿ”—Parser Combinators
Flag this post