💻 Programming - the_floundering_lotus · Scour

Tutorial: Debug C++ code - Visual Studio (Windows) ✅Formal Verification

learn.microsoft.com·5d

Ring programming language version 1.27 is released! ✅Formal Verification

ring-lang.github.io·1d·r/programming

How AI and Storytelling Transform Programming Classes λType Theory

5 Dakikada Teknoloji Gündemi <team@aposto.com> via kill-the-newsletter.com·1d

What we lost when we stopped programming 🖥️Computing History

hermanschaaf.com·5d·Hacker News

With coding agents, specs feel more like source code ⚙️Compilers

blog.yushi91.com·1d·Hacker News

Python Articles 🐍Python

pythonmorsels.com·6d·Hacker News

adding-reflection-to-C λType Theory

davidpriver.com·1d·Hacker News

Deciphering a business card raytracer. (2013) 📡Information Theory

fabiensanglard.net·1d·Hacker News

NSBEdit a .rtef and code editor with all important functions! 🕸️IndieWeb

nsbedit.nalle.no·5d·r/learnprogramming

Your Git Tree Looks Like a Crime Scene: How to Write Commits That Don’t Suck 🔐Cybersecurity

dometrain.com·1d·DEV

glebmish/claude-code-replay: Replay Claude Code session logs to reconstruct lost project files, commit by commit. ✅Formal Verification

github.com·5h·Hacker News

What is an SDK? Software development kit, explained 🔓Open Source

Simple Apps with Clojure, Htmx and Pipelines ✅Formal Verification

rockyj-blogs.web.app·3d·Hacker News

Inferring Code Correctness from Specification ✅Formal Verification

The Pragmatic Programmer After the Memory Wall ✅Formal Verification

khola.blog·1d·Hacker News

Diagramming Program Values by Spatial Refinement λType Theory

blog.brownplt.org·3d·Hacker News

First look: Mojo 1.0 mixes Python and Rust λType Theory

infoworld.com·2d·Hacker News

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code ✅Formal Verification

csail.mit.edu·2d

You Already Live in an Illusion. Get Over It. ✅Formal Verification

amazingcto.com·3d·Hacker News

Code-Level Plagiarism Detection: MOSS, JPlag, Copyleaks CodeLeaks, and GitHub Copilot for Developers 💻Computer Science

hub.paper-checker.com·3d

Sign up or log in to see more results

Log in to enable infinite scrolling