Hacker Newsnew | past | comments | ask | show | jobs | submit | agumonkey's submissionslogin
31.Lambda lifting (wikipedia.org)
75 points by agumonkey on Sept 22, 2018 | past | 23 comments
32.Cedille v1.0 – theorem-prover and dependently typed programming language (cedille.github.io)
3 points by agumonkey on Sept 15, 2018 | past
33.Forrest Man – Jadav Payeng hand planted forest to save Majuli Island ecosystem (youtube.com)
2 points by agumonkey on Aug 26, 2018 | past
34.Arch Hurd is being maintained again since 2018-06-17 (no new ISO yet) (archhurd.org)
3 points by agumonkey on Aug 11, 2018 | past
35.Switching-Mode Power Supply Design – Jerrold Foutz (2010) (smpstech.com)
2 points by agumonkey on July 18, 2018 | past
36.Live Object Programming in Pharo Mooc – 3rd Run Fall 2018 (fun-mooc.fr)
1 point by agumonkey on July 12, 2018 | past
37.Breadth-First Traversals in Far Too Much Detail (Haskell) (doisinkidney.com)
3 points by agumonkey on June 3, 2018 | past | 1 comment
38.Problem Solving and Clojure 1.9 with Rich Hickey (case-podcast.org)
4 points by agumonkey on May 3, 2018 | past
39.QEMU version 2.12.0 released – Spectre/Meltdown/Rpi3/ (qemu.org)
3 points by agumonkey on April 26, 2018 | past
40.Robert Colwell – Our Computer Systems Are Not Good Enough – Berkeley 2015 (youtube.com)
2 points by agumonkey on April 25, 2018 | past
41.HP 264x Terminals Part 2: 9-Bit Character Set Upgrade and Demo (youtube.com)
1 point by agumonkey on Jan 9, 2018 | past
42.3D (holographic) Printing in a Fraction of the Time (youtube.com)
1 point by agumonkey on Dec 30, 2017 | past
43.Nicolas Schabanel – Turing complete molecular machines through DNA Folding (univ-paris-diderot.fr)
1 point by agumonkey on Dec 22, 2017 | past | 1 comment
44.New Tech for IOMMU Users: Looking Glass (Headless Passthrough) (youtube.com)
2 points by agumonkey on Dec 15, 2017 | past | 1 comment
45.A Quick Tour of the HP-9000 712/100 NEXTSTEP Workstation (2016) (bytecellar.com)
2 points by agumonkey on Dec 14, 2017 | past
46.Rejuvenating the Thymus to Prevent Age-Related Diseases – Dr. Greg Fahy (leafscience.org)
1 point by agumonkey on Nov 26, 2017 | past
47.Basic Sound Processing in Common Lisp [video] (youtube.com)
20 points by agumonkey on Nov 24, 2017 | past | 1 comment
48.Clojure 1.9.0-RC1 is now available (same as beta4) (groups.google.com)
3 points by agumonkey on Nov 7, 2017 | past
49.Call for wpa3 (github.com/d33tah)
2 points by agumonkey on Oct 16, 2017 | past
50.Rat: Compose shell commands to build interactive terminal applications (github.com/ericfreese)
120 points by agumonkey on Oct 10, 2017 | past | 13 comments
51.TLS in Linux 4.13 kernel (github.com/torvalds)
231 points by agumonkey on Sept 3, 2017 | past | 57 comments
52.DM42, HP42s pocket calculator revival (youtube.com)
2 points by agumonkey on Aug 22, 2017 | past
53.SBCL 1.3.19 on #PocketCHIP, Running Zork/CL Z-Machine Wrote for Symbolics Genera (twitter.com/lispengineer)
3 points by agumonkey on July 29, 2017 | past
54.Pharo MOOC second run – October 2017 on FUN platform (registration until nov) (fun-mooc.fr)
1 point by agumonkey on July 26, 2017 | past
55.Haskell Symposium 2017 (List of papers) (haskell.org)
3 points by agumonkey on July 14, 2017 | past
56.In Memoriam Alain Colmerauer: 1941-2017 (acm.org)
56 points by agumonkey on May 23, 2017 | past | 5 comments
57.Flexible Plastic ARM Processor – PragmatIC (plus.google.com)
3 points by agumonkey on May 21, 2017 | past
58.A Neural Parametric Singing Synthesizer (upf.edu)
74 points by agumonkey on April 29, 2017 | past | 20 comments
59.Computing exponentially faster: a non-deterministic UTM using DNA – 2017 (royalsocietypublishing.org)
2 points by agumonkey on April 24, 2017 | past | 1 comment
60.Algorithmic Self-Assembly of DNA (1998) (psu.edu)
1 point by agumonkey on April 19, 2017 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: