💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Podcast: The Confident Commit on Strategic Career Decisions
cate.blog·3h
⚔️Lean Tactics
My Neovim / LazyVim Config and Demo
nickjanetakis.com·15h
📟Terminals
Founders’ takes: Why we need European AI employees
thenextweb.com·1d
🇳🇴Norwegian Computing
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·5d·
Discuss: Hacker News
🔓Reverse engineering
AlphaEarth Provides New Ways to See, and Understand, Earth
spectrum.ieee.org·1d·
Discuss: Hacker News
📰Content Curation
H100 PCIe – 1.86 TB/s memcpy roofline and 8× uplift
news.ycombinator.com·2d·
Discuss: Hacker News
⚡Cache Coherence
solobase an app build with kiro
dev.to·1d·
Discuss: DEV
🔄Sync Engine
Dedicated disaster force needed to prevent ADF being overwhelmed: report
abc.net.au·9h
📝ABNF Extensions
Designing software architecture for parallel AI sessions
rashidazarang.com·5d·
Discuss: Hacker News
⚡Proof Automation
VSCode market struck by huge influx of malicious WhiteCobra extensions - so be warned
techradar.com·1d
🎫Kerberos Attacks
How I Manage To Turn Complexity Into Clarity
dev.to·1d·
Discuss: DEV
📕Bookbinding
‘Selling coffee beans to Starbucks’ – how the AI boom could leave AI’s biggest companies behind
techcrunch.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Need suggestions for learning Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Macros
Multi-Layer Perceptron-Based Relay Node Selection for Next-Generation Intelligent Delay-Tolerant Networks
arxiv.org·11h
🕸️Mesh Networking
COVID-BLUeS -- A Prospective Study on the Value of AI in Lung Ultrasound Analysis
arxiv.org·11h
🎙️Whisper
Data-driven Smile Design: Personalized Dental Aesthetics Outcomes Using Deep Learning
arxiv.org·11h
🧠Machine Learning
Building RescueEye Global with Kiro – AI That Saves Lives
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
GARD: Gamma-based Anatomical Restoration and Denoising for Retinal OCT
arxiv.org·1d
👁️OCR Enhancement
Automated Hydrogen Aircraft Infrastructure Optimization via Integrated Risk & Resilience Modeling
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
🐍 I Write in Python Because It Knows How to Listen
dev.to·4d·
Discuss: DEV
📝Concrete Syntax