Type systems

Feeds to Scour
SubscribedAll
Scoured 28 posts in 6.0 ms

The design principles of the Elixir type system

 🧪Testing  Content type: Academic
arxiv.org··Hacker News

Create Your Own Programming Language with Rust

 🦀Programming languages

WebAssembly Specification

 🌐Web

Infinite precision intermediate arithmetic: how much would break?

 🧪Testing

Recent LLVM hash table improvements

 🧪Testing  Content type: Blog
maskray.me··Hacker News, r/cpp

Introducing Soteria: A New Generation of Static Analysis for Rust

 🦀Programming languages  Content type: Blog
soteria-tools.com··Hacker News

a topos-oriented language with a content-addressed lattice heap

 🦀Programming languages
yon-lang.org··Hacker News

Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?

 🌐Web  Content type: Discussion

Introducing Jo — Secure Programming for the AI Era

 👐Open source software  Content type: Blog
jo-lang.org··Hacker News

Rust goal: cargo script (like uv does for Python)

 🦀Programming languages

Zephir: PHP Extension Language

 🦀Programming languages

lbj96347/nemotron-3.5-asr-ios: On-device, offline speech recognition for iPhone/iPad using NVIDIA's Nemotron-3.5-ASR Streaming 0.6B (multilingual) via CoreML.SwiftUI app with mic capture + audio file import, RNN-Tdecoding, and live benchmark metrics (latency, RTF, memory).

 👐Open source software  Content type: Code
github.com··Hacker News

How TypeScript infers type variables

 🦀Programming languages

Introducing RawTree

 🧪Testing  Content type: Blog
rawtree.com··Hacker News

Junior Devs Who Use AI Are Not Cheating – They're Training Smarter

 🧪Testing  Content type: Blog

Introduction - Rust for Python Programmers

 🦀Programming languages

Learning Regular Languages with the TTT Algorithm

 🧪Testing

The Road to Component Model 1.0

 🌐Web

I wish Deno would keep doing what it does best

 🦀Programming languages

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

 🧪Testing
safebots.ai··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help