Seamless Data Access: Micronaut Data Embraces Jakarta Data
hantsy.medium.com·5d·
Discuss: r/programming
🔄Reproducible Builds
Proxima and Hugging Face Announce the ConStellaration Challenge
proximafusion.com·8h·
Discuss: Hacker News
🐫OCaml
Pkgbase Removes FreeBSD Base System Feature
lists.freebsd.org·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Printing a Book at Home with Minimal Equipment
huijzer.xyz·2d·
Discuss: Hacker News
🔬Unikernels
How to Make Websites That Require Lots Time and Energy
blog.jim-nielsen.com·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Compromised Donor Emails: A post-mortem
pi-hole.net·20h·
Discuss: Hacker News
🍎Apple
Encoding SAT in OCaml GADTs
farlow.dev·3d·
Discuss: Hacker News
🐫OCaml
A short post on short trains
shakeddown.substack.com·1d·
Discuss: Substack
🔬Unikernels
PyPI Phishing Attack: Incident Report
blog.pypi.org·2h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Falling through the cracks: energy storage along segmented brittle crack fronts
arxiv.org·1d
🛡️seL4
Curves, points, incidences and covering
arxiv.org·1d
➡️Category Theory
FoundationDB: A Distributed Database That Can’t Be Killed
thenewstack.io·6d
⎈Kubernetes
Improving SpGEMM Performance Through Matrix Reordering and Cluster-wise Computation
arxiv.org·1d
💻CS
Multi-Stage Verification-Centric Framework for Mitigating Hallucination in Multi-Modal RAG
arxiv.org·2d
🎮Verification Games
Point Cloud Self-supervised Learning via 3D to Multi-view Masked Learner
arxiv.org·2d
🔄Finite State Machines
Diversity-Enhanced Reasoning for Subjective Questions
arxiv.org·2d
✓Automated Theorem Proving
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·2d
🐫OCaml
The Engineer’s Guide to Breaking Up with Break-Fix Work
thenewstack.io·2d
🤖Program Synthesis
Personal Superintelligence
meta.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.org·2d
✓Automated Theorem Proving