FunctionalProgramming

#FunctionalProgramming

9 articles tagged
Dev

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match - Nathan Taylor

2/15/2026
Inside FuNes: Building an NES Emulator with Haskell's Functional Paradigm
Dev

Inside FuNes: Building an NES Emulator with Haskell's Functional Paradigm

12/26/2025
Installing Every NixOS Package: A Journey Through the Depths of Nixpkgs
Hardware

Installing Every NixOS Package: A Journey Through the Depths of Nixpkgs

12/11/2025
Cutting the Clutter: How F#’s Type Inference Lets You Write Cleaner Code
AI

Cutting the Clutter: How F#’s Type Inference Lets You Write Cleaner Code

12/11/2025
Effect: A New Paradigm for Robust TypeScript Applications
Frontend

Effect: A New Paradigm for Robust TypeScript Applications

10/11/2025
Dev

common-fp Bridges the Gap Between Functional Programming and Everyday JavaScript

8/31/2025
Beyond Monads: Rethinking Effect Composition with Natural Transformations
Dev

Beyond Monads: Rethinking Effect Composition with Natural Transformations

8/7/2025
Building a Functional Language Interpreter in Haskell: Lessons from a Take-Home Exam
AI

Building a Functional Language Interpreter in Haskell: Lessons from a Take-Home Exam

8/4/2025
Dynamic Witnesses Revolutionize Type Error Debugging in Functional Programming
Dev

Dynamic Witnesses Revolutionize Type Error Debugging in Functional Programming

7/17/2025

Popular Tags

#AI (2069)#Security (687)#Open Source (541)#privacy (509)#Apple (508)#API (492)#Hardware (473)#Reddit (430)#regulation (384)#Trends (358)#Infrastructure (337)#Cybersecurity (330)#Microsoft (308)#Business (296)#Linux (294)#Windows (288)#Cloud (286)#Gaming (283)#Remote Code Execution (282)#OpenAI (269)#Performance (252)#Vulnerabilities (249)#Rust (227)#Developer Tools (225)#Automation (206)#Supply Chain (205)#Samsung (195)#Battery (195)#Android (194)#China (188)#Authentication (185)#LLMs (184)#Developer (184)#Machine Learning (183)#Anthropic (180)#Azure (178)#Nvidia (176)#Productivity (172)#Funding (164)#DevOps (158)#AMD (156)#Intel (150)#mobile (148)#GPU (142)#Camera (140)#iOS (139)#Linux kernel (134)#rate-limiting (132)#Patch Management (131)#CISA (128)