PLT

λ PLT

programming language theory, type systems, formal semantics, language design

Feeds to Scour
SubscribedAll
Scoured 78 posts in 4.9 ms

nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection

 🧠Core ML  Content type: Academic
arxiv.org·

Using Ropes for Computation

 🔑Cryptography
wiki.xxiivv.com··Hacker News

Infinite precision intermediate arithmetic: how much would break?

 🔧Compilers
internals.rust-lang.org··Hacker News

Caty: Capable Types

 ⚙️Systems Programming
ziggit.dev·
Less-relevant results

nixidy part 4: Typed resource options and CRD generation

 🐳Docker
codedbearder.com·

CQRS and Event Sourcing in TypeScript: A Production Walkthrough

 ⚙️Backend Dev
spin.atomicobject.com·

The Road to Component Model 1.0

 🔧Compilers
bytecodealliance.org··Hacker News

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

 🦅Swift
rust-lang.github.io··Hacker News

Pitch Deck Presentation Design Template for Adobe InDesign That Actually Works Under Pressure

 🚀Startups
weandthecolor.com·

I wish Deno would keep doing what it does best

 ⚙️Backend Dev
hackers.pub··Lobsters, Hacker News, r/javascript

Nobody knows what they’re talking about on A.I. consciousness

 ✍️Prompt Engineering  Content type: News
slowboring.com·

“First operation of its kind”: Ukraine claims “fire control” over occupied Donetsk Airport deep behind frontline

 🔑Cryptography
euromaidanpress.com·

Introducing Streamling: Performant and Extensible Data Streaming Framework

 🐘PostgreSQL  Content type: News
streamingdata.tech·

The design principles of the Elixir type system

 🔑Cryptography  Content type: Academic
arxiv.org··Hacker News

Siri gets its biggest upgrade yet, and it’s more personal than ever

 🏪App Store Connect
digitaltrends.com·

Google Antigravity SDK: The developer guide

 ⚡Redis  Content type: Blog
medium.com·

tompassarelli/beagle: a typed authoring layer for agent-written code

 📝Software Essays  Content type: Code
github.com··r/NixOS

Integration Patterns: How To Choose for Your Architecture

 ⚙️Backend Dev  Content type: Blog
blog.n8n.io·

Russian Shahed drones hunt Ukrainian patrol boats

 🕵️Privacy  Content type: News  Content type: Blog
defence-blog.com·

Meet the hidden Windows 11 tool that reveals what Task Manager misses

 ⚙️Systems Programming
pcworld.com·
Sign up or log in to see more results
Sign UpLogin

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