How to expose Kubernetes OIDC JWKS endpoints
gawsoft.com·41m·
Discuss: Hacker News
⎈Kubernetes
Make ChatGPT Less Human
chromamine.com·1d·
Discuss: Hacker News
🐫OCaml
Capturing the Invisible Art of Scientific Practice
blog.cultivarium.org·2d·
Discuss: Hacker News
🤖Program Synthesis
The Psychology of Deception – By Caroline Orr Bueno, PhD
weaponizedspaces.substack.com·1d·
Discuss: Substack
🎮Verification Games
Use Your Type System
dzombak.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
The Substack AI Report
on.substack.com·2d·
Discuss: Substack
🍎Apple
A Price Just for You, Specifically
nytimes.com·16h·
Discuss: Hacker News
🍎Apple
A curated directory for developers to discover and showcase tech products
devhub.best·6d·
Discuss: Hacker News
❄️Nixified Development
AI could soon think in ways we don't even understand — evading our efforts to keep it aligned — top AI scientists warn
livescience.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
There is no memory safety without thread safety
ralfj.de·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🐫Embedded OCaml
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·2d
✓Automated Theorem Proving
looking for a specific type of application
reddit.com·5d·
Discuss: r/homelab
👁️System Observability
Hierarchical Reinforcement Learning Framework for Adaptive Walking Control Using General Value Functions of Lower-Limb Sensor Signals
arxiv.org·3d
🐫OCaml
Hacker slips malicious 'wiping' command into Amazon's Q AI coding assistant
zdnet.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Dissecting the Dental Lung Cancer Axis via Mendelian Randomization and Mediation Analysis
arxiv.org·2d
🏹Effect Systems
Window exhausted enclosed rack, finally complete!
reddit.com·3d·
Discuss: r/homelab
👁️System Observability
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: A tiny (480 LOC) AI coding assistant for your shell
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·6d·
Discuss: Hacker News
🍎XNU Internals
A Blueprint for Implementing RAG at Scale
thenewstack.io·4d
🔤DSLs