type-systems

#type-systems

5 articles tagged
DevOps

Tix: Bringing Strong Typing to the Dynamic World of Nix

4/4/2026
A Couple Million Lines of Haskell: Production Engineering at Mercury
Dev

A Couple Million Lines of Haskell: Production Engineering at Mercury

3/31/2026
Dev

Mercury: A Gentle Introduction to a Powerful Logic Language

3/15/2026
The Essence Distilled: What Minimal ML Implementations Reveal About Language Design
Dev

The Essence Distilled: What Minimal ML Implementations Reveal About Language Design

2/21/2026
Kip: When Turkish Grammar Becomes a Programming Language Type System
Dev

Kip: When Turkish Grammar Becomes a Programming Language Type System

1/17/2026

Popular Tags

#AI (2635)#Security (865)#Open Source (666)#privacy (608)#Hardware (597)#Apple (591)#API (581)#Reddit (507)#regulation (448)#Windows (443)#Infrastructure (427)#Trends (426)#Microsoft (423)#Remote Code Execution (413)#Cybersecurity (402)#Linux (386)#Gaming (360)#Business (345)#Cloud (333)#Performance (325)#OpenAI (321)#Vulnerabilities (314)#Rust (273)#Supply Chain (267)#Automation (260)#Samsung (258)#Developer Tools (255)#Battery (250)#Authentication (249)#Nvidia (244)#Android (240)#Anthropic (239)#Machine Learning (231)#Developer (223)#Azure (220)#China (218)#LLMs (218)#AMD (208)#Productivity (206)#Funding (201)#Intel (193)#DevOps (192)#Camera (188)#GPU (186)#mobile (178)#Linux kernel (177)#Patch Management (175)#Patch (169)#iOS (167)#Startups (159)