Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Chip Verification
Flag this post
Bus Factor 0
ericphanson.com·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
🔄C to Rust Translation
Flag this post
The AI-Powered Evolution of Software Development
devops.com·18h
🤖AI agents
Flag this post
Linkers: A 20 Part Series
airs.com·1d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
💬Language Servers
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Tokio
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·3h·
Discuss: DEV
🧩Low-code
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
🏗️AI Infrastructure
Flag this post
5 SBCs you've never heard of that beat the Raspberry Pi in niche projects
xda-developers.com·1d
🍓single board computers
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·16h·
Discuss: DEV
🔍Static Analysis
Flag this post
My first day in Rust
reddit.com·5d·
Discuss: r/rust
🔌Embedded Rust
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·1d
📊ClickHouse
Flag this post
AI Workflow Integration: From Models to Methods, How Engineering Teams Will Change
dev.to·14h·
Discuss: DEV
🧩Low-code
Flag this post
GitHub Issue Monitor AI Agent with Mastra
dev.to·2d·
Discuss: DEV
🕸️Actix-Web
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
λFunctional Programming
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·7h
⏰Time-Series Analytics
Flag this post
Build a Docusaurus-like Site with FastAPI: Step 1 - HTML Template
dev.to·12h·
Discuss: DEV
🦋Tauri
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
λFunctional Programming
Flag this post