[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·20h
🔨Incremental Compilation
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·6h·
Discuss: Hacker News, r/programming
🔓Binary Exploitation
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·22h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·17h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·2d·
Discuss: Hacker News
⚡Quicksort
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·4h·
Discuss: r/C_Programming
🦀Rust
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·13h·
Discuss: Hacker News
📱Edge AI
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Neural Green's Functions
arxiv.org·11h
🎯Reinforcement Learning
Flag this post
Type inference with TryFrom and ()
reddit.com·3d·
Discuss: r/rust
🛡️Error Handling
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
⏭️Skip Lists
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·18h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·21m·
Discuss: DEV
🎭Program Synthesis
Flag this post
🧠 How Do Closures Work in JavaScript?
dev.to·10h·
Discuss: DEV
⚡Async Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2d·
Discuss: Hacker News
📦Serde
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·6d
📏Linear Types
Flag this post