Trending tags: ai  github.com  rust  psychology  trump  health  microsoft  linux  show  apple  psypost.org  theregister.com  vibecoding  environment  arstechnica.com  go  brain  video  theguardian.com  java 

Exotic Programming Ideas: Part 2 (Term Rewriting)

4 years ago stephendiehl.com

Related Stories

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

17 days ago stephendiehl.com python vibecoding

Emulating an iPhone in QEMU (Part 2)

8 days ago eshard.com apple iphone

Android confidence that can shake your confidence (Part 2)

6 days ago qureshi-ayaz29.medium.com android

java mooc exercises are not not showing after part 2

5 days ago i.redd.it java

A history of the Internet, part 2: The high-tech gold rush begins

10 days ago arstechnica.com historical

Some Project Ideas please

13 days ago reddit.com

Rewriting Kafka in Rust

43 hours ago wangjunfei.com performance rust

Monday Daily Thread: Project ideas!

19 days ago reddit.com python

Monday Daily Thread: Project ideas!

12 days ago reddit.com python

Any ideas for small programs?

11 days ago reddit.com java

Monday Daily Thread: Project ideas!

5 days ago reddit.com python

I need ideas for a project

45 hours ago reddit.com python

Reverb Part 1: “Freeverb”

15 days ago reillyspitzfaden.com

Original and creative IT-themed reel ideas

3 days ago reddit.com python

Show HN: Localize React apps without rewriting code

17 days ago github.com react show

Rewriting Unix Philosophy for the Post-AI Era

9 days ago gizvault.com

Religious attendance may not boost mental health, long-term study finds

38 hours ago psypost.org psychology

Caleb Tries Legacy Coding (Part 3)

11 days ago theaxolot.wordpress.com

Mixed Boolean-Arithmetic (part 1): Introduction

10 days ago plzin.github.io math reversing

Caleb Tries Legacy Coding (Part 4)

9 days ago theaxolot.wordpress.com

A programming system

15 days ago andreyor.st

Implementing Logic Programming

7 days ago btmc.substack.com plt

Osprey Programming Language

2 days ago ospreylang.dev

Git 2.50

3 days ago github.blog git

Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite

3 days ago blog.google flash

Garbage Collection In Go : Part I - Semantics

10 days ago ardanlabs.com go

Faster route propagation by rewriting our Traefik gateway in Rust

18 days ago rivet.gg networking performance rust

The Xerox Alto, Smalltalk, and rewriting a running GUI (2017)

11 days ago righto.com

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

10 days ago microsoft.com c formalmethods microsoft rust

Programming Considered Harmful (2001)

37 hours ago flownet.com historical plt