Note
hsu.cyยท20h
๐Ÿ”Archive Semantics
Installing SearXNG on AlmaLinux/RHEL/Rocky Linux with Podman and SELinux
neelc.orgยท10h
๐Ÿ“ปHomebrew Protocols
City lizards are more social
royalsocietypublishing.orgยท7hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Cryptologist DJB Alleges NSA is Pushing an End to Backup Algorithms for Post-Quantum Cryptography
it.slashdot.orgยท20h
๐Ÿ”Quantum Security
PHP's New URI Extension
thephp.foundationยท2dยท
Discuss: Hacker News
๐ŸŒWeb Standards
When Will Quantum Computing Work?
tommccarthy.netยท2dยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Show HN: Sora3: Sora 3 โ€“ Next-Gen AI Video Generation Platform
sora3.onlineยท3hยท
Discuss: Hacker News
๐Ÿง Learned Codecs
One battle after another: using RL-guided reasoning for next-token prediction
research.nvidia.comยท14hยท
Discuss: Hacker News
๐ŸŽฏProof Tactics
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.orgยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธRISC-V Security
AI Breakthrough Finally Cracks Century-Old Physics Problem
scitechdaily.comยท6h
โš›๏ธInformation Physics
The A.I. Prompt That Could End the World
nytimes.comยท2dยท
โšกProof Automation
Just use Llama.cpp
markjgsmith.comยท20h
๐Ÿ”—Lisp
Automated Order Routing Optimization via Hierarchical Reinforcement Learning and Multi-Objective Score Fusion
dev.toยท10hยท
Discuss: DEV
๐ŸŒŠStream Processing
Code Deconstruction: The Counting Lambda
dev.toยท1dยท
Discuss: DEV
โฌ†๏ธLambda Lifting
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.orgยท4d
๐ŸงฎSMT Solvers
Causality Guided Representation Learning for Cross-Style Hate Speech Detection
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper
AgenticAD: A Specialized Multiagent System Framework for Holistic Alzheimer Disease Management
arxiv.orgยท4h
๐Ÿ”ฒCellular Automata
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท2dยท
Discuss: r/programming
๐Ÿง Lisp Dialects