Psychedelics reopen the social reward learning critical period
nature.com·5h·
Discuss: Hacker News
🐫OCaml
From Cartography to Code: Architectures of Power at the Venice Biennale 2025
stirworld.com·5h·
Discuss: Hacker News
📡Network Protocol Design
You can learn anything in 2 weeks
letters.thedankoe.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·4d·
Discuss: r/programming
🔬Static Analysis
It Takes Two to Tango
avivbenyosef.com·3h·
Discuss: Hacker News
🛡️seL4
RNNoise: Learning Noise Suppression
jmvalin.ca·1d·
Discuss: Hacker News
🐫Embedded OCaml
Cloudflare 1.1.1.1 Incident on July 14, 2025
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Bitnami containers community catalog has been deprecated
github.com·2d·
Discuss: Hacker News, Hacker News
⎈Kubernetes
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·6d·
Discuss: Hacker News
🐫OCaml
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·4d
🐫OCaml
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·3d
✓Automated Theorem Proving
Outbound Modeling for Inventory Management
arxiv.org·3d
👁️System Observability
Multi-site connectivity testing -> TCP Mesh
reddit.com·5d·
Discuss: r/homelab
⎈Kubernetes
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🔬Unikernels
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·3d·
Discuss: Hacker News
🤖Program Synthesis
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com·1d·
Discuss: r/programming
❄️Nixified Development
Dual LiDAR-Based Traffic Movement Count Estimation at a Signalized Intersection: Deployment, Data Collection, and Preliminary Analysis
arxiv.org·1d
🔄Finite State Machines
Physically Based Neural LiDAR Resimulation
arxiv.org·1d
🐫OCaml
Synthesizing Reality: Leveraging the Generative AI-Powered Platform Midjourney for Construction Worker Detection
arxiv.org·1d
🤖Program Synthesis
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·3d
🔠Type-Level Programming