Hacker Newsnew | past | comments | ask | show | jobs | submit | ashton314's submissionslogin
31.Towards Fearless Macros (lambdaland.org)
1 point by ashton314 on Nov 14, 2023 | past
32.Racket fork of Chez Scheme merged into original Chez (github.com/racket)
5 points by ashton314 on Oct 18, 2023 | past | 1 comment
33.Making the worlds smallest Nerf gun out of DNA [video] (youtube.com)
1 point by ashton314 on Oct 3, 2023 | past
34.Emacs Bedrock: A minimal Emacs starter kit (sr.ht)
263 points by ashton314 on Sept 4, 2023 | past | 129 comments
35.Implementing Type Systems as Macros (lambdaland.org)
1 point by ashton314 on Aug 22, 2023 | past
36.Reflections One Year into a PhD (lambdaland.org)
1 point by ashton314 on Aug 7, 2023 | past
37.Five Years of Veloren (veloren.net)
1 point by ashton314 on June 9, 2023 | past | 1 comment
38.Bruteprint attack can cheaply unlock various fingerprint-secured phones (arstechnica.com)
17 points by ashton314 on May 22, 2023 | past | 6 comments
39.The kind of thinking CS enables (lambdaland.org)
1 point by ashton314 on May 12, 2023 | past | 1 comment
40.The kind of thinking that CS enables (lambdaland.org)
2 points by ashton314 on May 11, 2023 | past | 2 comments
41.Jinx: Enchanted Spell Checker (Package for Emacs) (github.com/minad)
4 points by ashton314 on April 24, 2023 | past | 4 comments
42.Ask HN: Easiest way to file crypto taxes?
1 point by ashton314 on April 11, 2023 | past | 2 comments
43.Praise for the Pragmatic Third Camp (lambdaland.org)
2 points by ashton314 on March 16, 2023 | past
44.What is a type system, really? (lambdaland.org)
2 points by ashton314 on Jan 23, 2023 | past
45.List of inventors killed by their own inventions (wikipedia.org)
4 points by ashton314 on Jan 2, 2023 | past
46.John Cleese’s classic “silly walk” burns more calories than a normal gait (arstechnica.com)
10 points by ashton314 on Dec 22, 2022 | past | 6 comments
47.Apple kills plans to scan for CSAM in iCloud (wired.com)
736 points by ashton314 on Dec 7, 2022 | past | 408 comments
48.Unix as a tool forge and how Emacs fits in Unix philosophy (lambdaland.org)
160 points by ashton314 on Nov 8, 2022 | past | 93 comments
49.A New Font: Iosevka modified to look like Input (lambdaland.org)
1 point by ashton314 on Aug 1, 2022 | past
50.Ask HN: Looking for an open license, but not for AI model training
2 points by ashton314 on July 28, 2022 | past | 1 comment
51.Software Forge Performance Comparison (forgeperf.org)
1 point by ashton314 on May 27, 2022 | past | 1 comment
52.Annotated implementation of microKanren: an embeddable logic language (github.com/ashton314)
73 points by ashton314 on May 25, 2022 | past | 44 comments
53.Completeness and Liveness, Safe and Sound (lambdaland.org)
1 point by ashton314 on March 3, 2022 | past
54.Raspberry Pi bootloader enables OS installs with no separate PC required (arstechnica.com)
10 points by ashton314 on Feb 8, 2022 | past | 1 comment
55.Models of Programming (lambdaland.org)
44 points by ashton314 on Oct 27, 2021 | past | 53 comments
56.KMonad – An Advanced Keyboard Manager (github.com/kmonad)
2 points by ashton314 on Aug 6, 2021 | past
57.Spiff Inc. Engineering Field Guide (github.com/spiffinc)
3 points by ashton314 on July 24, 2021 | past
58.Show HN: Interpreter for a simple, Turing-complete language written in Elixir (github.com/ashton314)
4 points by ashton314 on May 21, 2021 | past
59.UnDraw: Open-Source Themable Illustrations (undraw.co)
3 points by ashton314 on Feb 3, 2021 | past
60.FreeBSD and Rust on a Raspberry Pi 4 with 4GB of RAM (lambdaland.org)
1 point by ashton314 on Dec 29, 2020 | past

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

Search: