| 1. | | Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io) |
| 126 points by i_don_t_know 42 days ago | past | 15 comments |
|
| 2. | | Why higher-order logic is a good formalisation for hardware (cam.ac.uk) |
| 1 point by i_don_t_know 52 days ago | past | 1 comment |
|
| 3. | | Algorithms for Optimization (second edition preview) [pdf] (algorithmsbook.com) |
| 3 points by i_don_t_know 4 months ago | past | 1 comment |
|
| 4. | | The Quanta Podcast (quantamagazine.org) |
| 1 point by i_don_t_know 7 months ago | past |
|
| 5. | | Algorithms for Validation (algorithmsbook.com) |
| 3 points by i_don_t_know 7 months ago | past | 1 comment |
|
| 6. | | Synchronous Programming of Reactive Systems [pdf] (imag.fr) |
| 2 points by i_don_t_know on Dec 22, 2024 | past |
|
| 7. | | Reactor: A Synchronous Reactive Language (racket-lang.org) |
| 2 points by i_don_t_know on Dec 22, 2024 | past |
|
| 8. | | NI LabVIEW Compiler: Under the Hood (ni.com) |
| 1 point by i_don_t_know on Nov 23, 2024 | past |
|
| 9. | | LabVIEW [PDF] (acm.org) |
| 3 points by i_don_t_know on July 12, 2024 | past | 1 comment |
|
| 10. | | Learning APL (xpqz.github.io) |
| 4 points by i_don_t_know on Feb 9, 2024 | past |
|
| 11. | | The description of finite sequential processes (jsoftware.com) |
| 1 point by i_don_t_know on Feb 9, 2024 | past |
|
| 12. | | Live Coding in APL [video] (youtube.com) |
| 3 points by i_don_t_know on Feb 8, 2024 | past |
|
| 13. | | Zélus – A Synchronous Language with Odes (ens.fr) |
| 2 points by i_don_t_know on Oct 18, 2023 | past |
|
| 14. | | Lola System Notes [pdf] (ethz.ch) |
| 3 points by i_don_t_know on Oct 14, 2023 | past | 1 comment |
|
| 15. | | Combinatorial Optimization in VLSI Design [pdf] (uni-bonn.de) |
| 3 points by i_don_t_know on Sept 29, 2023 | past | 1 comment |
|
| 16. | | Ask HN: Electronic note-taking – Kindle or iPad or something else |
| 6 points by i_don_t_know on June 15, 2023 | past | 7 comments |
|
| 17. | | Kaffeost (atlasobscura.com) |
| 56 points by i_don_t_know on April 27, 2023 | past | 41 comments |
|
| 18. | | Programming Cognitive Robots (toronto.edu) |
| 80 points by i_don_t_know on Aug 31, 2022 | past | 20 comments |
|
| 19. | | Ask HN: Books on formal methods for software verification? |
| 2 points by i_don_t_know on Aug 25, 2021 | past |
|
| 20. | | Ask HN: Getting Started with FPGAs on macOS |
| 5 points by i_don_t_know on June 6, 2021 | past | 4 comments |
|
| 21. | | Mini-CP: A Lightweight Constraint Programming Solver (minicp.org) |
| 3 points by i_don_t_know on Dec 21, 2020 | past |
|
| 22. | | Ask HN: Books or courses on cyber-physical systems? |
| 3 points by i_don_t_know on Oct 22, 2020 | past |
|
| 23. | | Course Notes on Optimization Models and Methods (Robert Fourer) (4er.org) |
| 2 points by i_don_t_know on Feb 29, 2020 | past |
|
| 24. | | Ask HN: Introduction to Scientific Computing? |
| 1 point by i_don_t_know on Jan 7, 2020 | past | 2 comments |
|
| 25. | | Ask HN: Design and Implementation of Term Rewriting Systems |
| 7 points by i_don_t_know on Dec 15, 2019 | past | 4 comments |
|
| 26. | | Alpha Text Editor for macOS (alphacocoa.sourceforge.io) |
| 1 point by i_don_t_know on Oct 13, 2019 | past |
|
| 27. | | Kx Developer (k IDE free for personal/non-commercial use) (kx.com) |
| 2 points by i_don_t_know on April 26, 2019 | past |
|
| 28. | | The GENTLE Compiler Construction System (compilertools.net) |
| 43 points by i_don_t_know on Aug 3, 2018 | past | 2 comments |
|
| 29. | | APL\3000 – HP Journal – July 1977 [pdf] (hp.com) |
| 75 points by i_don_t_know on July 11, 2018 | past | 18 comments |
|
| 30. | | An Introduction to Array Programming in Klong (t3x.org) |
| 1 point by i_don_t_know on Feb 26, 2018 | past |
|
