C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·1d·
Discuss: Hacker News
📏Linear Types
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
📐Formal Methods
Lobsters Interview with Susam
lobste.rs·5h·
Discuss: Lobsters
📏Linear Types
Choosing Rust for LLM-generated code
runmat.org·2h·
Discuss: Hacker News
📏Linear Types
MoroJS A fast, TypeScript-first API framework (68k req/SEC, AI-ready)
morojs.com·58m·
Discuss: Hacker News
🔷Typescript
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·21h·
Discuss: Hacker News
📐Formal Methods
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
📏Linear Types
An introduction to program synthesis
mchav.github.io·20h·
Discuss: Hacker News, r/programming
📐Formal Methods
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
📏Linear Types
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
📏Linear Types
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
📐Formal Methods
Death to Type Classes
jappie.me·8h·
Discuss: Hacker News
📏Linear Types
The Elements of Programming Style
en.wikipedia.org·8h·
Discuss: Hacker News
📏Linear Types
The Rise of Async Programming
braintrust.dev·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Dicio: Open-Source Voice Assistant for Android
github.com·1d·
Discuss: Hacker News
📦Data Serialization
DHH is immortal, and costs $200M
danieltenner.com·6h·
Discuss: Hacker News
🏹Apache Arrow
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·1d
📐Formal Methods
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
📏Linear Types
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·1d·
Discuss: Hacker News
📏Linear Types
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
📏Linear Types