Principles of Epistemology (2025, essay)
alexpeek.orgยท11hยท
Discuss: Hacker News
๐Ÿ”๏ธDomain Theory
Flag this post
Machine Scheduler in LLVM โ€“ Part II
myhsu.xyzยท3hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.toยท4hยท
Discuss: DEV
๐Ÿ›ก๏ธPrivacy Engineering
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.orgยท2d
๐ŸงฉParser Combinators
Flag this post
Emergent Introspective Awareness in Large Language Models
lesswrong.comยท3d
โ“Existential Types
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Counteracting Matthew Effect in Self-Improvement of LVLMs through Head-Tail Re-balancing
arxiv.orgยท2d
๐ŸงฎSMT Solvers
Flag this post
๐Ÿง  Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.toยท21hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
A Three-Stage Bayesian Transfer Learning Framework to Improve Predictions in Data-Scarce Domains
arxiv.orgยท2d
๐ŸŽฏHindley-Milner
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.orgยท2d
๐ŸงฉParser Combinators
Flag this post
Convert any GitHub repo to coding puzzles
github.comยท4dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Flag this post
Implicature in Interaction: Understanding Implicature Improves Alignment in Human-LLM Interaction
arxiv.orgยท3d
๐Ÿ”คLanguage Design
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท2d
๐ŸงฎSMT Solvers
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
dev.toยท8hยท
Discuss: DEV
๐ŸงฉParser Combinators
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.toยท12hยท
Discuss: DEV
๐ŸงฉParser Combinators
Flag this post
The Machine Learning Projects Employers Want to See
towardsdatascience.comยท1d
๐ŸŽฏComplexity Classes
Flag this post
**Automated Malware Classification using LSTM and Naive Baye
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetwork Protocols
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.toยท1dยท
Discuss: DEV
๐ŸงฉParser Combinators
Flag this post
Beyond the Magic: How LLMs Work
tag1.comยท4dยท
Discuss: Hacker News
๐Ÿ”Fixed-Point Theory
Flag this post