📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Even Numbers Are Tautologies
risingentropy.com·1d·
Discuss: Hacker News
⚖️Inference Rules
Flag this post
SQLite 3.51 Brings New JSONB Functions and Better Performance
linuxiac.com·1d
💾Minimal Databases
Flag this post
What are computers for, anyway?
forum.merveilles.town·1d
📖Literate Programming
Flag this post
UseExtracted: The Tailwind of Internationalization?
next-intl.dev·21m·
Discuss: Hacker News
⚡Incremental Parsing
Flag this post
🎲 Another one about build setups Part - II
reaper.is·7h
📦Monorepos
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
The OWASP AI/LLM Top 10: Understanding Security and Privacy Risks in AI-Powered Mobile Applications
nowsecure.com·2d
🛡️Security Type Systems
Flag this post
DS-STAR: A state-of-the-art versatile data science agent
research.google·1d·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·2d·
Discuss: Hacker News
🧪Compiler Testing
Flag this post
Detached agent chains that work like people do
nuuduu.com·2d·
Discuss: DEV
📮Message Queues
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5d·
Discuss: Hacker News
📝PEG Parsing
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
🌐Portable Assembly
Flag this post
How to build an interactive 3D real estate website (3D building view + filters + apartment info)
reddit.com·1h·
Discuss: r/programming
🌐Browser REPLs
Flag this post
I stumbled across an odd quirk in the custom_sort function and I'm confused.
reddit.com·7h·
Discuss: r/godot
📝Editor Buffers
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·1d·
Discuss: Hacker News
✨Gleam
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Explainable AI (XAI): Why Transparency in AI Matters to Me
dev.to·8h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·3d·
Discuss: DEV
📋Task Queues
Flag this post
Web Developer Travis McCracken on Building Dev Tools for Backend Engineers
dev.to·11h·
Discuss: DEV
🔧API Design
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖Abstract Machines
Flag this post