| 1. | | Introduction to Formal Verification with Spark (youtube.com) |
| 2 points by eggy 3 months ago | past | 1 comment |
|
| 2. | | Ask HN: Safe Fundraising for Hardware Startup |
| 2 points by eggy 6 months ago | past |
|
| 3. | | Muen SK for x86/64 – formally verified Separation Kernel (codelabs.ch) |
| 2 points by eggy 12 months ago | past | 1 comment |
|
| 4. | | Ask HN: Optimum small-business web hosting, email, and project platforms |
| 1 point by eggy on May 23, 2023 | past |
|
| 5. | | 3D Cellular Automata and GOL in the J programming language (vector.org.uk) |
| 34 points by eggy on April 6, 2023 | past | 11 comments |
|
| 6. | | Game Jam 2 Results (wasm4.org) |
| 186 points by eggy on Sept 9, 2022 | past | 186 comments |
|
| 7. | | Mach Game Engine in Zig (github.com/hexops) |
| 3 points by eggy on Sept 8, 2022 | past |
|
| 8. | | IronScheme – R6RS scheme implementation for .NET (github.com/ironscheme) |
| 1 point by eggy on Aug 26, 2022 | past |
|
| 9. | | Corman Lisp development environment for MS Windows (github.com/sharplispers) |
| 62 points by eggy on Aug 26, 2022 | past | 11 comments |
|
| 10. | | Ask HN: Input forms and people with just one legal name |
| 1 point by eggy on May 23, 2022 | past | 2 comments |
|
| 11. | | LisPi #0 – Lisp environment on bare metal [YouTube] |
| 2 points by eggy on Jan 6, 2022 | past | 1 comment |
|
| 12. | | The race to reinvent document editing (fastcompany.com) |
| 2 points by eggy on Oct 19, 2021 | past | 3 comments |
|
| 13. | | Coding a Text Editor in J [YouTube] (youtube.com) |
| 3 points by eggy on Aug 30, 2021 | past | 1 comment |
|
| 14. | | AFL – Amibroker Formula Language – Vector PL for Trading (amibroker.com) |
| 1 point by eggy on May 28, 2021 | past | 1 comment |
|
| 15. | | Lunar IceCube Mission (2019) (nasa.gov) |
| 1 point by eggy on Feb 21, 2021 | past |
|
| 16. | | Convolutional Neural Networks in APL (in 10 lines) [pdf] (acm.org) |
| 3 points by eggy on Dec 12, 2020 | past | 2 comments |
|
| 17. | | Nap Framework for Creative Coding (napframework.com) |
| 1 point by eggy on Dec 7, 2020 | past | 1 comment |
|
| 18. | | Painting a Selfie Girl with Maths (youtube.com) |
| 3 points by eggy on Nov 28, 2020 | past |
|
| 19. | | Evaluation of rebreathed air in human nasal cavity with N95 respirator (oatext.com) |
| 2 points by eggy on Oct 12, 2020 | past |
|
| 20. | | Ask HN: SPARK2014 or Rust for high-integrity, secure, distributed application? |
| 2 points by eggy on Aug 13, 2020 | past | 1 comment |
|
| 21. | | Ask HN: Is anyone using KeYmaera X for Cyber-Physical Systems? |
| 1 point by eggy on July 26, 2020 | past |
|
| 22. | | Alire: Ada LIbrary REpository ALR (ada.dev) |
| 2 points by eggy on June 13, 2020 | past |
|
| 23. | | Ask HN: Minimal text editor for Windows 10 |
| 1 point by eggy on June 1, 2020 | past | 3 comments |
|
| 24. | | Game of Life in 1 line of J by Zelayton (reddit.com) |
| 2 points by eggy on May 1, 2020 | past |
|
| 25. | | Cell towers attacked in UK is as conspiracy theory links 5G and coronavirus (usatoday.com) |
| 1 point by eggy on April 7, 2020 | past |
|
| 26. | | uLisp – ARM Assembler in Lisp (ulisp.com) |
| 172 points by eggy on Jan 22, 2020 | past | 49 comments |
|
| 27. | | An APL Machine [pdf] (stanford.edu) |
| 2 points by eggy on Jan 1, 2020 | past |
|
| 28. | | LuaJIT for computing accelerator beam physics (2016) [video] (cern.ch) |
| 3 points by eggy on Nov 15, 2019 | past |
|
| 29. | | A X64 Assembler in Typed Racket (racket-lang.org) |
| 4 points by eggy on Nov 3, 2019 | past |
|
| 30. | | Jelm: Extreme Learning Machine in J (github.com/peportier) |
| 1 point by eggy on Aug 22, 2019 | past | 1 comment |
|
|
| More |
