Emacs 30.2 Has Been Released
irreal.org·4h
🦀Rust
August 14, 2025: Intermediate Scraping Webinar (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Programming Language Theory
Answer: Best ways to do just-in-time learning. Part 1.
searchresearch1.blogspot.com·2h·
Discuss: searchresearch1.blogspot.com
🧩Theorem Proving
Custom rules in GitLab Duo Agentic Chat for greater developer efficiency
about.gitlab.com·3d
🧩Theorem Proving
Why Racket? Why Lisp?
practicaltypography.com·6d·
Discuss: Lobsters, Hacker News
📝Lisp
Encrypted Computation: What if Decryption Wasn’t Needed? • Katharine Jarmul • GOTO 2024
youtube.com·1d
🔐Cryptography
The PostgreSQL Hacker Helper extension is one year old
dev.to·1d·
Discuss: DEV
🔍Static Analysis
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·2d·
Discuss: Hacker News
📦WebAssembly
webMCP: Efficient AI-Native Client-Side Interaction for Agent-Ready Web Design
arxiv.org·1d
⚖Algorithmic Game Theory
How we spent our first two weeks as an independent AI safety research group
lesswrong.com·3d
🎲Probabilistic Programming
NEAR vs Solana: A Developer's Real-World Comparison - What I Wish I'd Known Before Building My First DApp
dev.to·12h·
Discuss: DEV
📦WebAssembly
🚀 Python for DevOps Week 2 & Week 3: Automating Daily Ops & Containerizing with Docker
github.com·2d·
Discuss: DEV
🧩Theorem Proving
How to Send POST Data with fetch()
dev.to·20h·
Discuss: DEV
🤝Protocol Design
From TypeScript to SQL: Automatically Granting DB Permissions Without Losing Your Mind
dev.to·3d·
Discuss: DEV
⚙Functional Programming
Key Architectural Elements for Solution Designers in the AI Era
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Looking for a GPU model for inference
reddit.com·1d·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
A Stable and Principled Loss Function for Direct Language Model Alignment
arxiv.org·3d
🔗Parser Combinators
Dev Log 05
dev.to·22h·
Discuss: DEV
🦀Rust
Why My Best Code Now Starts With a Conversation
dev.to·2d·
Discuss: DEV
🔌Network Programming
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·2d
🔗Parser Combinators