7541 results for “See what each file will become”
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
sauravrao637 has 15 repositories available. Follow their code on GitHub.
…3.1 Instrumentation Demographics Motivation Preferences in Teaching Methods (Gamification, Collaboration) Design of Assignments Inclusion and Bias Feedback 3.2 Data Collection and Participants 3.3 Data Analysis 3
A friendlier first impression for programmers with a wider range of backgrounds.
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Home All Posts Machine Learning Authors Index Jane Street Subscribe to email updates Subscribe to Email Updates Featured Reads Read more Using ASCII waveforms to test hardware designs Read more Finding memory leaks with Memtrace Tags async
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Projects · videlalvaro/llm-arithmetic-internals
… | DESCRIPTION | AUTOMATIC DEPENDENCIES | FSTAB | OPTIONS | SEE ALSO | COLOPHON SYSTEMD.AUTOMOUNT (5) systemd.automount SYSTEMD.AUTOMOUNT (5) NAME top systemd.automount - Automount unit configuration SYNOPSIS top automount .automount DESCRI
Sketch of a decentralized mineralization-based carbon capture: suppliers stake on reported deposits of mineral dust in publicly-auditable locations.
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
sauravrao637 has 15 repositories available. Follow their code on GitHub.
2019 IOCCC entry adamovsky - Most functional interpreter
Winners of the International Obfuscated C Code Contest - winner/2018/burton2/tac.c at master · ioccc-src/winner
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Pulse · videlalvaro/llm-arithmetic-internals
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
A scriptable, extensible performance tool for sorted key value stores. - Pulse · guycipher/keybench
Arbitrary precision floating point numbers library - Pulse · stencillogic/astro-float
E2B Gives AI Agents Secure Computers with Real-World Tools. E2B is Used by 88% of Fortune 100 Companies for Frontier Agentic Workflows.
Exact rational and computable real arithmetic for Rust. - Pulse · timschmidt/hyperreal
Add a site to JM Search
JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.
Log in to submit a site.
Site owner? About JMSearchBot