Programming Languages

Feeds to Scour
SubscribedAll
Scoured 154 posts in 8.3 ms

Cyberpunk 2077 heroic randomly freezes on Bazzite

 🔀CRDTs

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 🧮Hindley-Milner  Content type: Blog
blog.quarkslab.com·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🧩Constraint Programming  Content type: Blog
soteria-tools.com··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 Effect Systems  Content type: Code
github.com··Hacker News

UniQL: Towards Dialect-Universal Benchmarking for Text-to-SQL

 🔀CRDTs  Content type: Academic
arxiv.org·

Temple, AST, and Protocols

 🗜️Compression Algorithms
mitchellhanberg.com·

WebAssembly Specification

 🏗Datastructures

A programming language for humans.

 Effect Systems
crowdhailer.me··Lobsters

Comp.compilers: Paper: dividing by seven

 🧩Constraint Programming
compilers.iecc.com·

Centurion: Bring Your Own Execution Environment

 🔀CRDTs  Content type: Blog
praetorian.com·

DABO — What If Agents Didn't Need the Cloud Most of the Time...

 🗂️Columnar Storage  Content type: Code
github.com··r/SideProject

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 🧩Constraint Programming  Content type: Academic
arxiv.org·

Is this compiler bug in Zig or LLVM?

 Effect Systems  Content type: Discussion
ziggit.dev·

IDA 9.4 Beta Is Now Available

 ⚙️Zstandard  Content type: Blog
hex-rays.com·

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

 🔀CRDTs  Content type: Discussion

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🧮Hindley-Milner  Content type: News
developing.dev·

Air Spring Shock Absorber Market Size to Reach US$ Million by 2032 with Strong CAGR Driven by EV Suspension Demand

 🗜️Compression Algorithms  Content type: Blog
plaza.rakuten.co.jp·

What’s Coming in Swift 6.4

 🧮Hindley-Milner
wadetregaskis.com·

Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary

 🏗Datastructures  Content type: Code
github.com··DEV

Introducing Jo — Secure Programming for the AI Era

 Effect Systems  Content type: Blog
jo-lang.org··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