🔷 F# - ben · Scour

Railway Oriented Programming

fsharpforfunandprofit.com·23h·

Discuss: Hacker News

Why I use Typetify: A Type-Safe Alternative to Lodash

dev.to·2h·

Discuss: DEV

Build a Compiler in Five Projects

kmicinski.com·4h

Let Lambda Come Over

yamlscript.org·9h

TypeScript: JavaScript With Syntax For Types.

typescriptlang.org·1d

Private Data Space Model

privatedata.space·2d

en.wikipedia.org·1d·

Discuss: Hacker News

Devux.js | Node.js Framework | TypeScript

dev.to·6h·

Discuss: DEV

Presentation: Expanding Swift from Apps to Services

infoq.com

·1d

Kotlin Symbol Processing: создаём свой процессор

habr.com·1d

Kadajett/blECSd: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)

github.com·14h·

Discuss: Hacker News

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·19h

The Missing Programming Language - Why There's No S-Tier Language (Yet)

hamy.xyz·3d

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·1d

Style tips for less experienced developers coding with AI

honnibal.dev·1d·

Discuss: Hacker News

Go 1.22, SQLite, and Next.js: The "Boring" Back End

mohammedeabdelaziz.github.io·2h·

Discuss: Hacker News

Anders Hejlsberg On C# And TypeScript

i-programmer.info·2d

Functional Programming Bits in Python

martynassubonis.substack.com·4d·

Discuss: Substack, r/programming, r/webdev

Clean Coder: The Dark Path (2017)

blog.cleancoder.com·2d·

Discuss: Hacker News

Loading more...