linear types

#linear types

2 articles tagged
Slap: A Functional Concatenative Language with a Borrow Checker
Rust

Slap: A Functional Concatenative Language with a Borrow Checker

4/3/2026
Rust

Linear Types and the Philosophy of Resource Management in Programming Languages

4/1/2026

Popular Tags

#AI (3136)#Security (1071)#Open Source (818)#privacy (745)#Hardware (720)#Apple (663)#API (663)#Reddit (568)#regulation (562)#Remote Code Execution (560)#Windows (560)#Microsoft (558)#Infrastructure (541)#Trends (507)#Cybersecurity (479)#Linux (471)#Cloud (447)#Gaming (423)#Business (410)#Performance (398)#Vulnerabilities (388)#OpenAI (364)#Supply Chain (341)#Rust (322)#Samsung (313)#Developer Tools (312)#Automation (309)#Android (305)#Machine Learning (294)#Authentication (292)#Nvidia (282)#Battery (281)#Anthropic (276)#LLMs (269)#Azure (267)#Developer (254)#AMD (252)#China (250)#DevOps (243)#Productivity (239)#Intel (230)#GPU (228)#Camera (227)#Linux kernel (224)#Funding (218)#Patch (214)#mobile (211)#CISA (209)#Patch Management (209)#iOS (204)