💻 Programming - the_floundering_lotus · Scour

Running Code in a Programming Language Nobody Knows ⚙️Compilers

blog.goodanser.com·3d·r/programming

I built my own programming language in Python (Exper Language) 🐍Python

github.com·2h·DEV

Issue 526 λType Theory

haskellweekly.news·1d

Code::Blocks ⚙️Compilers

flathub.org·15h

Programming languages designed for AI agents to write ✅Formal Verification

agentlanguages.dev·9h

I built a VS Code extension that generates HIPAA/HITECH/GDPR-aware code documentation for healthcare software ✅Formal Methods

marketplace.visualstudio.com·1d·Hacker News, r/devops

Show HN: Phoenix Code – desktop editor where AI can see the page 🕸️IndieWeb

phcode.io·1h·Hacker News

transcendental programming λType Theory

kivikakk.ee·5d

Haskell Brain Teasers (Pragmatic Programmers) λType Theory

i-programmer.info·2d

Introduction to Hylo ✅Formal Verification

hylo-lang.org·15h·Hacker News

Partitioned Global Address Space ⚙️Compilers

en.wikipedia.org·2h·Hacker News

Lipstick on a Pig λType Theory

blog.fredrb.com·9h·Hacker News

How to Prompt AI Coding Tools Like a Senior Dev (2026) ✅Formal Verification

stacknotice.com·2d·DEV

I have never programmed before, but my ADHD is currently telling me that learning Rust would be cool. I know about the guide, any good projects for a beginner t... ⚙️Compilers

doc.rust-lang.org·6d·r/rust

Why Linux creator Linus Torvalds gets angry hearing “99% of code is AI” ✅Formal Verification

thenewstack.io·2h

Don't Build Your Own Lisp ⚙️Compilers

gist.github.com·4h·Hacker News

Issue #736: Polars Sort-Merge Joins, Zen, Resolving Lazy Imports, and More (2026-05-26) 🐍Python

pycoders.com·2d

I Stopped Fighting My Tools and Built a Game Engine in D ⚙️Compilers

blog.dlang.org·7h·Hacker News, r/programming

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs ✅Formal Verification

languagedesignnotes ⚙️Compilers

Log in to enable infinite scrolling