Programming — Tech News

All topics AI agents ai api architecture automation aws beginners career claude database devchallenge devops javascript learning llm machinelearning mcp opensource performance productivity programming python react rust security showdev tutorial typescript webdev

EN

Xavier Leroy's new book on Control Sturctures in Programming

plt

EN

ATS Programming Language

plt

EN

Only Bounds

rust plt

EN

Ergonomic overrides for Nixpkgs

plt nix

EN

How TypeScript infers type variables

javascript plt

EN

Elixir v1.20 released: now a gradually typed language

elixir plt

EN

How TypeScript distributes unions

javascript plt

EN

Recent improvements to the Swift type checker

swift plt

EN

Blorp Language

plt

EN

Data types à la carte (2008)

haskell plt

EN

EYG: Host of CLI improvements, new guides and new effects

plt

EN

minc — A minimal language for building native software

c games plt

EN

Introducing ArkTS, Huawei’s Next-Generation Development Language

plt

EN

The Super Tiny Compiler, but in Ada

programming plt

EN

5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake | Wasp

web plt

EN

Pyrefly v1.0 is here

python rust plt

EN

Designing a Custom Query Language for Non-Technical Analysts

databases plt

EN

Making your own programming language is easier than you think (but also harder)

plt

EN

One week of view_types

rust plt

EN

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase

release plt

EN

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based

python plt