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
Information Gain-based Policy Optimization: A Simple and Effective Approach forMulti-Turn LLM Agents
โAlgorithmic Game Theory
Flag this post
I Got Tired of Deceptive Casino Bonuses, So I Built a "Truth Calculator" with Vanilla JavaScript. Here's How You Can Too.
๐งฎProgramming Language 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
Cracking the Cube: How Competitive Rubikโs Cube Algorithms Inspire Modern AI and Programming
๐ฏ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
๐Cryptography
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
๐ฒ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
Loading...Loading more...