Swift Arrays: Map, Filter, Reduce & Sort Explained
bugfender.com·23h
⚙Functional Programming
Flag this post
Models Matter
cybadger.com·20h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Balancer hack analysis and guidance for the DeFi ecosystem
blog.trailofbits.com·16h
🔍Static Analysis
Flag this post
Moonshot AI releases Kimi K2 Thinking, an open-source agent model for complex reasoning
alternativeto.net·1d
🧭SMT Solvers
Flag this post
Profiling tools I use for QEMU storage performance optimization
blog.vmsplice.net·5h·
Discuss: Lobsters, Hacker News
🏗Computer Architecture
Flag this post
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·1d·
Discuss: Hacker News, r/SteamDeck
👐Open Source Software
Flag this post
Build a dual-mode Serverless worker
docs.runpod.io·1h·
Discuss: Hacker News
🦀Rust
Flag this post
Once upon a time this blog was powered by make
refp.se·1d·
Discuss: Hacker News
👐Open Source Software
Flag this post
Weeknotes 484
rogerswannell.com·5h
🧩Theorem Proving
Flag this post
AI Agents Are Going Rogue: Here's How to Rein Them In
darkreading.com·1d
🧭SMT Solvers
Flag this post
Effective 2DTile destruction methods in Godot
reddit.com·18h·
Discuss: r/godot
🧫Cellular Automata
Flag this post
Intro to The Network Programming Series
dev.to·2d·
Discuss: DEV
🔌Network Programming
Flag this post
I built Scrype, a library for devs who want a cool way to showcase their code. Looking for feedback!
reddit.com·8h·
Discuss: r/webdev
🧮Programming Language Theory
Flag this post
The solution to akrasia apparently isn't not having any goals
lesswrong.com·11h
⚖️Logic Programming
Flag this post
Explainable AI (XAI): Why Transparency in AI Matters to Me
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Flag this post
Ziglang is so cool: Why I'm Going All-In on Zig
dev.to·2h·
Discuss: DEV
🔗Parser Combinators
Flag this post
Rasterizer Project - Part: BASIC_END
dev.to·17h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Boosting Your Dev Career: A Deep Dive into Free AI Tools for Developers (2025-11-08)
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
AI News: Fri, Nov 07, 2025
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post