vcaa1729's Feed · Scour

I Built a Programming Language Where think Is a Keyword

dev.to·1d·

Discuss: DEV

🔤type system theory and implementation

Clojure’s Persistent Data Structures: Immutability Without the Performance Hit

javacodegeeks.com·3d

🔤type system theory and implementation

How Netflix, Uber, and Google Build AI Systems: Architecture Deep Dive

dev.to·1h·

Discuss: DEV

🗄databases and optimization

React Compiler and why class objects can work against memoization

anita-app.com·2d·

Discuss: Hacker News

🔤type system theory and implementation

Hamming Distance for Hybrid Search in SQLite

notnotp.com·4d

🗄databases and optimization

On Computation and Reinforcement Learning

arxiv.org·3d

🗄databases and optimization

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·3d·

Discuss: r/golang

🗄databases and optimization

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·3d

🔤type system theory and implementation

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·2d·

Discuss: Lobsters, Hacker News

🔤type system theory and implementation

Continual learning and the post monolith AI era

baseten.co·2d·

Discuss: Hacker News

🗄databases and optimization

Tip of the Week #117: Copy Elision and Pass-by-value

abseil.io·1d

🔤type system theory and implementation

Performance Tip of the Week #93: Robots never sleep

abseil.io·1d

🔤type system theory and implementation

Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla

sobolev.substack.com·5d·

Discuss: Substack

🔤type system theory and implementation

Humane, adaptive AI bootstrapping

natemeyvis.com·2d

🗄databases and optimization

Millets: A practical memory-safety and thread-safety experiment

eagledot.xyz·5d·

Discuss: Lobsters, Hacker News

🔤type system theory and implementation

**Abstract:** The hierarchy problem, stemming from the unexpectedly low electroweak scale compared to the Planck scale, necessitates novel theoretical framew...

freederia.com·2d

🔤type system theory and implementation

Cairn Review | A Pinnacle Worth Reaching For

sixoneindie.com·2d

🧗bouldering or lead climbing

Sign up or login to customize your feed and get personalized topic recommendations

Tiny Clippy – A native Office Assistant built in Rust and egui

github.com·2d·

Discuss: Hacker News

🔤type system theory and implementation

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·2d

🔤type system theory and implementation

sysown/proxysql: High-performance MySQL proxy with a GPL license.

github.com·2d

Loading more...