Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔧programming language design
Flag this post
This website makes self-learning with YouTube so much easier
aitutorly.ai·3h·
Discuss: r/InternetIsBeautiful
🔧programming language design
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·12h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·1h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·4h·
Discuss: Lobsters, Hacker News
🔧programming language design
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
🔧programming language design
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·6d·
Discuss: r/javascript, r/programming
🔧programming language design
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🔧programming language design
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·4h·
Discuss: DEV
🔧programming language design
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🔧programming language design
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1h
🔧programming language design
Flag this post
HNG Internship Stage 1: String Analyzer API
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Neural Green's Functions
arxiv.org·1h
🧮Algebraic Effects
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·18h
🔧programming language design
Flag this post
Rasterizer Project - Part 4: Triceratops Wireframe
dev.to·5h·
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