Fast Symbolic Computation for Robotics
symforce.org
2023-11-16 04:49:03
#compsci
#new
iNet
inet.run
2023-11-05 01:51:16
#compsci
#programming
#new
c4: C in four functions
github.com
2023-08-26 03:26:11
#compsci
#compilers
#code
#new
Overwrite/Insert Difference Format
github.com
2023-08-01 18:47:18
#compsci
#code
#new
Interlaced Significand and Exponent
github.com
2023-07-31 19:25:05
#compsci
#math
#code
#new
Inpla: Interaction nets as a programming language
github.com
2023-05-10 01:10:51
#compsci
#math
#programming
#code
#new
loxcraft: a compiler, language server, and online playground for the Lox programming language
github.com
2023-04-29 18:18:24
#compsci
#release
#rust
#compilers
#plt
#wasm
#code
#new
Peterson's algorithm
en.wikipedia.org
2023-04-27 06:03:19
#compsci
#wiki
Admissibility graphs
github.com
2023-04-03 08:57:18
#compsci
#math
#code
#new
HVM: A massively parallel, optimal functional runtime in Rust
github.com
2023-06-11 01:19:15
#compsci
#rust
#distributed
#code
#new
Latency numbers every programmer should know, scaled to human terms
gist.github.com
2023-03-21 19:42:54
#compsci
#performance
#gist
How to get into software
github.com
2023-03-12 05:30:20
#compsci
#education
#code
#new
#blog
A performance analysis of five stable sort algorithms (two are novel/new)
github.com
2023-02-11 17:34:28
#compsci
#performance
#code
#new
orlp/glidesort: A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm
github.com
2023-02-10 09:05:09
#compsci
#rust
#code
#new
Convergence verification of the Collatz problem
pcbarina.fit.vutbr.cz
2023-01-26 04:12:55
#compsci
#math
#new
The Pubgrub version solving algorithm
github.com
2023-01-23 21:53:04
#compsci
#code
#new
A curated list of software and architecture related design patterns
github.com
2023-01-22 17:48:47
#compsci
#code
#new
Galactic algorithm
en.m.wikipedia.org
2023-01-05 02:13:16
#compsci
#wiki
Some remarks on Large Language Models
gist.github.com
2023-04-29 12:25:39
#science
#compsci
#ai
#gist
Jessie, simple universal safe mobile code
github.com
2022-11-24 21:28:50
#javascript
#security
#compsci
#compilers
#code
#new
katara: Synthesize CRDTs from classic data types with verified lifting
github.com
2022-10-12 15:19:50
#python
#compsci
#distributed
#code
#new
Squoze - reversible unicode string hashes
squoze.org
2022-10-12 09:08:19
#compsci
#new
GitHub - twitter/pelikan: Pelikan is Twitter's unified cache backend
github.com
2022-10-06 15:38:06
#compsci
#code
#new
Universal Law of Computational Scalability
en.wikipedia.org
2022-09-25 23:53:08
#scaling
#compsci
#math
#wiki
SearchHut is a curated free software search engine
searchhut.org
2022-07-15 05:55:00
#compsci
#new
<
2 / 3
>