xept

7 ms·

31.
Solving the Witness with Z3(techofnote.com)
1 points by xept 4y ago|0 comments
32.
The new generation of data stores(spinscale.de)
3 points by xept 4y ago|0 comments
33.
The Alpha Architecture (1992) [video](youtube.com)
1 points by xept 4y ago|0 comments
34.
Advanced SQL (2020) [video](youtube.com)
6 points by xept 4y ago|0 comments
35.
Program Synthesis is Possible (2018)(cs.cornell.edu)
98 points by xept 4y ago|14 comments
36.
Sparsehash Internals (2017)(tristanpenman.com)
1 points by xept 4y ago|0 comments
37.
The Story of ispc (2018)(pharr.org)
2 points by xept 4y ago|0 comments
38.
Google's Datacenters on Punch Cards (2013)(what-if.xkcd.com)
1 points by xept 4y ago|0 comments
39.
ArrayQL Integration into Code-Generating Database Systems [pdf](openproceedings.org)
34 points by xept 4y ago|1 comments
40.
Timeline of Computer History(computerhistory.org)
1 points by xept 4y ago|0 comments
41.
Penti chorded keyboard experiments (2020)(vitalyparnas.com)
2 points by xept 4y ago|1 comments
42.
GNU Parallel's 20th Birthday(gnu.org)
1 points by xept 4y ago|1 comments
43.
Building Problem Solvers (1993) [pdf](qrg.northwestern.edu)
3 points by xept 4y ago|0 comments
44.
Code: The Language of Computer Hardware and Software(codehiddenlanguage.com)
1 points by xept 4y ago|0 comments
45.
April: The APL programming language compiling to Common Lisp(github.com)
2 points by xept 4y ago|0 comments
46.
by xept 4y ago
Part 2: https://www.sigarch.org/a-brief-and-biased-history-of-comput...
47.
A Brief and Biased History of Computer Architecture (2021)(sigarch.org)
1 points by xept 4y ago|1 comments
48.
Story of Lotus Improv(simson.net)
3 points by xept 4y ago|0 comments
49.
by xept 4y ago
Previous discussion: Show HN: Weylus – Use your tablet as graphic tablet/touch screen on Linux - https://news.ycombinator.com/item?id=23443430 - June 2020 (42 comments)
50.
Weylus – Use your tablet as graphic tablet/touch screen on Linux(github.com)
171 points by xept 4y ago|26 comments
51.
Ray tracer written in pure CMake(github.com)
3 points by xept 4y ago|0 comments
52.
A general overview of what happens before main() (2019)(embeddedartistry.com)
216 points by xept 4y ago|42 comments
53.
Emacs Tramp tricks: Replacing terminals with Emacs (2020)(willschenk.com)
3 points by xept 4y ago|0 comments
54.
Neuroethology of Toads (1993) [video](youtube.com)
1 points by xept 4y ago|0 comments
55.
List of Mnemonics(en.wikipedia.org)
6 points by xept 4y ago|0 comments
56.
Fine-Tuned Universe(en.wikipedia.org)
1 points by xept 4y ago|1 comments
57.
Languages you must know (2021)(hn.algolia.com)
1 points by xept 4y ago|0 comments
58.
FXT: A Library of Algorithms and a Book(jjj.de)
134 points by xept 4y ago|3 comments
59.
Efficient Algorithms and Intractable Problems Course(cs170.org)
2 points by xept 4y ago|0 comments
60.
Shared Whiteboarding with Write(styluslabs.com)
4 points by xept 4y ago|0 comments

More ›