The Rosetta Code of Being โ€“ When Philosophy Compiles Itself
ontocode.orgยท20hยท
Discuss: Hacker News
โ“Existential Types
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.comยท14hยท
Discuss: r/programming
๐Ÿ”ฌReverse Engineering
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.orgยท5hยท
Discuss: Hacker News
๐Ÿ›ก๏ธmacOS Security
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.netยท2dยท
Discuss: Hacker News, r/cpp
๐ŸƒEscape Analysis
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.aiยท13hยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท9h
๐ŸŽฎVerification Games
Flag this post
Prog8
github.comยท22hยท
Discuss: Hacker News
โš™๏ธCompiler Design
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท5dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท1d
โ“Existential Types
Flag this post
CytoNet: A Foundation Model for the Human Cerebral Cortex
arxiv.orgยท9h
๐Ÿ“šAutomata Learning
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.orgยท9h
๐Ÿ“šAutomata Learning
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
dev.toยท7hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.orgยท9h
๐Ÿ”ขAlgebraic Data Types
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.orgยท9h
๐Ÿ”ขMatrix Decomposition
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.toยท8hยท
Discuss: DEV
โš™๏ธAbstract Machines
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.orgยท9h
๐Ÿ“Linear Algebra
Flag this post
๐Ÿš€ A Fun Tour of Goโ€™s Official Website!
dev.toยท17hยท
Discuss: DEV
๐ŸŽฎVerification Games
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.orgยท1d
๐Ÿ›ก๏ธseL4
Flag this post