Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·4h·
Discuss: DEV
🦀Rust Macros
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·3h·
Discuss: Hacker News
🔌Archive APIs
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·10h
📝Concrete Syntax
Introductory Computer Science and Software Engineering Topics
albertyw.com·22h
🛠Language Design
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·19h
🔐Capability Systems
Challenges of Pseudocode Expansion
funcall.blogspot.com·17h·
Discuss: www.blogger.com
🔗Lisp
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·20h
💧Liquid Types
Briefly explained: What's behind the buzzword AI agents
heise.de·13h
🎙️Whisper
SAT Requires Exhaustive Search
link.springer.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·9h·
Discuss: DEV
⚡Proof Automation
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·6h
⚡gRPC
Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
arxiv.org·20h
📏Code Metrics
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·21h
🦀Rusty Databases
Week 31 Status
blogs.gnome.org·2h
🎯Gradual Typing
Tools for AI assisted Software development
thoughtbot.com·1d
🔄Language Evolution
LLMs won't save you from bad software engineering culture
atelfo.github.io·22h·
Discuss: Hacker News
🔄Language Evolution
Unpacking Qualys Agentic AI: Technical Insights into Its Architecture and Capabilities
blog.qualys.com·11h
⚙️TLA+