💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Defold makes a big step towards first-class Teal support
defold.com·3d·
Discuss: Hacker News
📜Proof Carrying Code
How Python Implements List Comprehensions
pythonkoans.substack.com·6d·
Discuss: Substack
🔗Concatenative Programming
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·4d·
Discuss: Hacker News
📝Text Parsing
AI Skepticism and Oracle's Big Risk: How Will Open AI Pay for It?
eaglepointcapital.substack.com·8h·
Discuss: Substack
📏Code Metrics
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·3d·
Discuss: Hacker News
🌀Brotli Internals
Animal Crossing mod uses AI to orchestrate anti-Tom Nook villager revolt
arstechnica.com·2d
📼Retro Games
UTF-8 – "The Most Elegant Hack" (2013)
hackaday.com·2d·
Discuss: Hacker News
🔤Character Encoding
espressif/esp-adf
github.com·4d
🎵Audio Codecs
Comparing the memory implementations of Claude and ChatGPT
simonwillison.net·2d
⚡Cache Coherence
Experimenting with local LLMs on macOS
blog.6nok.org·6d·
Discuss: Lobsters, Hacker News
💻Local LLMs
The Augmented Connected Workforce: McLean Forrester’s Vision for Tomorrow’s Enterprise
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Secret Weapons for Web Developers You Haven’t Tried Yet
dev.to·20h·
Discuss: DEV
🚀Indie Hacking
Streaming React UI using JSON chunks
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
PromptLock: When AI Meets Ransomware
dev.to·3d·
Discuss: DEV
🌳Archive Merkle Trees
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·2d
🧠Machine Learning
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·4d·
Discuss: DEV
🤖Advanced OCR
AI's 'Aha!' Moment: Cracking Generalization in Reinforcement Learning
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
Symmetries in stochastic homogenization and acclimatizations for the RVE method
arxiv.org·2d
📐Linear Algebra
AI Storyline Generator
dev.to·4h·
Discuss: DEV
🎙️Whisper
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·6d
📏Code Metrics