๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Functional Compilers

Haskell GHC, OCaml, ML Compilation, Lazy Evaluation, Type Inference

[$] How to write Rust in the kernel: part 3
lwn.netยท3d
๐Ÿ”ฉSystems Programming
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.infoยท11hยท
Discuss: Hacker News
๐ŸšShell Optimization
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.orgยท3dยท
Discuss: Hacker News
๐Ÿ—‚๏ธVector Databases
Unexpected inconsistency in records
codeblog.jonskeet.ukยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธProof-Carrying Archives
Machine Learning Fundamentals: ensemble learning tutorial
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
An Introduction to GPU Profiling and Optimization
bitsand.cloudยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ“ŠPerformance Profiling
A Rust Shaped Hole
mnvr.inยท6dยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
A Wide Reduction Trick (2022)
words.filippo.ioยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒณArchive Merkle Trees
How to Create an LLM Judge That Aligns with Human Labels
towardsdatascience.comยท3h
๐Ÿ“Code Metrics
Azoth: Objective-C UI library for SDL3
github.comยท12hยท
Discuss: Hacker News
๐Ÿ“บTerminal UI
An Academic Web Clipper
github.comยท6hยท
Discuss: Hacker News
๐Ÿท๏ธMetadata Standards
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.orgยท15h
๐Ÿค–Paleographic ML
Weekly Challenge: Clearly the Title
dev.toยท1dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
[P] Echoes of GaIA: modeling evolution in biomes with AI for ecological studies.
reddit.comยท6hยท
Discuss: r/MachineLearning
๐Ÿ”ฒCellular Automata
AIOps - A Multifaceted Challenge
blog.raymond.burkholder.netยท1h
๐Ÿฆ‹Format Evolution
Small Programming Language for editing photos (written in Rust)
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Google DeepMind's Gemini wins Mathematical Olympiad gold using only natural language
the-decoder.comยท1h
๐ŸงฎSMT Solvers
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.orgยท15h
๐ŸŒ€Differential Geometry
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.orgยท3d
๐Ÿ›ก๏ธProof-Carrying Archives
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.orgยท15h
๐ŸŒ€Riemannian Computing
Loading...Loading more...
AboutBlogChangelogRoadmap