The Sad Fate of Yandex: From Independent Tech Startup to Kremlin Propaganda Tool
zois-berlin.de·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why One Geologist Thinks We Should All Pay More Attention to Rocks
atmos.earth·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
The C3 Programming Language
c3-lang.org·2d·
Discuss: Hacker News
🔬Static Analysis
I wrote modern Nowel about Dog Mothers and Incels
akirakitto.gumroad.com·1d·
Discuss: Hacker News
🔬Unikernels
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·3d·
Discuss: Hacker News
🐫OCaml
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·20h·
Discuss: Hacker News
👁️System Observability
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·10h·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Why Aggregators Ate the Internet
every.to·21h·
Discuss: Hacker News
🔬Unikernels
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com·5d·
Discuss: Hacker News
🐫OCaml
Three unrelated thoughts about working with LLMs
henrycourse.com·1d·
Discuss: Hacker News
🔬Unikernels
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·1d·
Discuss: Hacker News
🛡️seL4
Total/dual correlation/coherence, redundancy/synergy, complexity, and O-information for real and complex valued multivariate data
arxiv.org·4d
🏹Effect Systems
MVAR: MultiVariate AutoRegressive Air Pollutants Forecasting Model
arxiv.org·1d
🤖Program Synthesis
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·3d
✓Automated Theorem Proving
MedicalBERT: enhancing biomedical natural language processing using pretrained BERT-based model
arxiv.org·4d
💻CS
LOON - Label Oriented Object Notation
github.com·4d·
Discuss: Hacker News, r/programming
🐫OCaml
Relative Entropy Pathwise Policy Optimization
arxiv.org·2d
🔠Type-Level Programming
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·2d
🎮Verification Games
Capturing Dynamics in Online Public Discourse: A Case Study of Universal Basic Income Discussions on Reddit
arxiv.org·2d
💻CS
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·4d
🏹Effect Systems