Fourier Transforms
continuummechanics.org·4h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·1d·
Discuss: Hacker News, r/programming
🦀Borrow Checker
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·13h
🦀Borrow Checker
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·20h·
Discuss: Lobsters, Hacker News
🔧programming language design
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·2d·
Discuss: Substack
🔧programming language design
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
🔧programming language design
Flag this post
Rasterizer Project - Part 4: Triceratops Wireframe
dev.to·21h·
Discuss: DEV
🔧programming language design
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Understanding Delegates in C#: The Complete Beginner’s Guide
dev.to·2d·
Discuss: DEV
🧮Algebraic Effects
Flag this post
Run LLMs Locally
ikangai.com·4h·
Discuss: Hacker News
📲local-first software
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·23h·
Discuss: DEV
🦀Borrow Checker
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Chaos-inspired active learning for physics-informed neural networks to assess the reliability of multi-state systems
sciencedirect.com·6h
🔧programming language design
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🔧programming language design
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
🧰software development practices
Flag this post
The Need for Infinity
reddit.com·11h·
Discuss: r/GnosticChurchofLVX
🔧programming language design
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·22h
🔧programming language design
Flag this post
The Art of the Meta: A Journey into JavaScript Proxies
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔧programming language design
Flag this post