Fighting Bias in AI: Can Ordinary People Make a Difference? (tdf2025)
cdn.media.ccc.de·2d
✓Automated Theorem Proving
Designing custom case, advice?
pcpartpicker.com·1d·
Discuss: r/homelab
⚙️Operating System Design
The Long March of Electrification
ember-energy.org·37m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Neural Importance Sampling of Many Lights
pedrovfigueiredo.github.io·1d·
Discuss: Hacker News
🔠Type-Level Programming
Socat – A utility for data transfer between two addresses
copyconstruct.medium.com·1d·
Discuss: Hacker News, r/programming
📡Network Protocol Design
This is your sign to step away from the keyboard
blog.talosintelligence.com·1d·
Discuss: Hacker News
👁️System Observability
Microsoft Flight Simulator 2024: WebAssembly SDK
docs.flightsimulator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Java Async Profiler manual by use cases (2022)
krzysztofslusarski.github.io·5d·
Discuss: Hacker News
👁️System Observability
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Dwl: Dwm for Wayland
codeberg.org·4d·
Discuss: Hacker News
📦Unikernel Systems
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·6d·
Discuss: Hacker News
🛡️seL4
Version 2 of Higgs Audio Generation
boson.ai·2d·
Discuss: Hacker News
🐫Embedded OCaml
So two of the most notable contributors to Rust are looking for jobs...
reddit.com·1d·
Discuss: r/rust
⎈Kubernetes
👨‍💻 Built a YouTube Channel to Share Programming & Data Engineering Content – Would Love Your Feedback!
reddit.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Fusing CFD and measurement data using transfer learning
arxiv.org·1d
🤖Program Synthesis
Convergent Weight and Activation Dynamics in Memristor Neural Networks
arxiv.org·1d
🏹Effect Systems
Personalized Treatment Effect Estimation from Unstructured Data
arxiv.org·1d
🔠Type-Level Programming
Planning Persuasive Trajectories Based on a Leader-Follower Game Model
arxiv.org·8h
🔄Finite State Machines
Inference Gateway – Open-Source
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
GuidPaint: Class-Guided Image Inpainting with Diffusion Models
arxiv.org·8h
💾Retro Computing