💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Linux Kernel Runtime Guard 1.0 Released
linuxiac.com·10h
🔍eBPF
A Smart Temperature Monitor in 5 Mins - No Coding Required
hackster.io·1d
🏠Home Automation
Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·3d
📟Terminals
OpenAI says ChatGPT will always make things up, but it could get better at admitting uncertainty
the-decoder.com·1d
💻Local LLMs
The World's 2.75B Buildings
tech.marksblogg.com·1d·
Discuss: Hacker News
📲Digitization
Building a Self-Healing Microservices Architecture with AWS Lambda, Step Functions, and Terraform
blog.devops.dev·4d
🤖Network Automation
Two Proven Countermeasures to Oracle Attacks on EdDSA
hackernoon.com·5d
🌳Archive Merkle Trees
Popular TUI packages?
reddit.com·17h·
Discuss: r/golang
📟Terminals
The Babysitter Problem
chrisbeckman.dev·2d·
Discuss: Hacker News
⚡Proof Automation
Prompt injection as a solution to make agents reliable
controlpla.in·1d·
Discuss: Hacker News
⚡Proof Automation
Fractal Compression
en.wikipedia.org·2d·
Discuss: Hacker News
🌀Fractal Compression
HTB Endpoint Challenge Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·1d
🗜️ZIP Forensics
OpenAI’s Sam Altman Sees a Future With a Collective ‘Superintelligence’
thenewstack.io·9h
🌍Cultural Algorithms
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Show HN: KoStudy – open-source AI first learning app
github.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
🚀 Day 8 of My Python Learning Journey – Sets & Data Structures in Python
dev.to·2d·
Discuss: DEV
🗂Data structures
SkyQuest: A story-coded python app for scheduling astrophotography sessions
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Why MCPs Are About to Change Everything (And Why You Should Care)
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·2d
⚡Proof Automation
Google AI Studio Challenge Submission Template
dev.to·2d·
Discuss: DEV
🏛Digital humanities