Show HN: DogNamesWorld – A fast dog name directory built with Astro
dognamesworld.com·2h·
Discuss: Hacker News
🍎Apple
How to expose Kubernetes OIDC JWKS endpoints
gawsoft.com·5h·
Discuss: Hacker News
⎈Kubernetes
Make ChatGPT Less Human
chromamine.com·1d·
Discuss: Hacker News
🐫OCaml
Use Your Type System
dzombak.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Capturing the Invisible Art of Scientific Practice
blog.cultivarium.org·2d·
Discuss: Hacker News
🤖Program Synthesis
A Professor’s Search for the MingKwai, a Lost Chinese Typewriter
nytimes.com·4d·
Discuss: Hacker News, Hacker News, r/AutoNewspaper
🍎Apple
The Psychology of Deception – By Caroline Orr Bueno, PhD
weaponizedspaces.substack.com·1d·
Discuss: Substack
🎮Verification Games
A curated directory for developers to discover and showcase tech products
devhub.best·6d·
Discuss: Hacker News
❄️Nixified Development
Contextualizing ancient texts with generative neural networks
nature.com·3d·
Discuss: Hacker News
🎮Verification Games
Assembly_verify
philipzucker.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
ResidualPlanner+: a scalable matrix mechanism for marginals and beyond
arxiv.org·3d
🔄Reproducible Builds
Remembering the Markov Property in Cooperative MARL
arxiv.org·2d
🧪Property-Based Testing
Data-Driven Adaptive Gradient Recovery for Unstructured Finite Volume Computations
arxiv.org·4d
🐫OCaml
looking for a specific type of application
reddit.com·5d·
Discuss: r/homelab
👁️System Observability
There is no memory safety without thread safety
ralfj.de·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🐫Embedded OCaml
Hacker slips malicious 'wiping' command into Amazon's Q AI coding assistant
zdnet.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·2d
✓Automated Theorem Proving
Hierarchical Reinforcement Learning Framework for Adaptive Walking Control Using General Value Functions of Lower-Limb Sensor Signals
arxiv.org·3d
🐫OCaml
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Window exhausted enclosed rack, finally complete!
reddit.com·3d·
Discuss: r/homelab
👁️System Observability