vcaa1729's Feed · Scour

Proposal: A Framework for Discovering Alien Physics via Optimal Compression

lesswrong.com·2d

🗄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·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·2d

🔤type system theory and implementation

The Stretto Execution Engine for LLM-Augmented Data Systems

arxiv.org·3d

🗄databases and optimization

Humane, adaptive AI bootstrapping

natemeyvis.com·2d

🗄databases and optimization

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

jakebox.github.io·2d·

Discuss: Lobsters, Hacker News

🔤type system theory and implementation

Day 2: Advanced SQL Preparation Guide

dev.to·3d·

Discuss: DEV

Continual learning and the post monolith AI era

baseten.co·2d·

Discuss: Hacker News

🗄databases and optimization

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

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

abseil.io·1d

🔤type system theory and implementation

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

Performance Tip of the Week #93: Robots never sleep

abseil.io·1d

🔤type system theory and implementation

Binary Search Trees: Why They’re Great in Memory but Terrible on Disk

dev.to·3d·

Discuss: DEV

🗄databases and optimization

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

eagledot.xyz·5d·

Discuss: Lobsters, Hacker News

🔤type system theory and implementation

Helping AI agents search to get the best results out of large language models

news.mit.edu·3d

🗄databases and optimization

**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

**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

camel-ai/seta-env: 💻 SETA: Scaling Environments for Terminal Agents - Environments

github.com·2d·

Discuss: r/LocalLLaMA

🔤type system theory and implementation

Loading more...