HN Explorer

i_don_t_know

↗ HN profile [ 78.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Sinclair ZX Spectrum White Edition (heise.de)
    2 points 1
  2. Lean-TUI for the lean proof assistant (codeberg.org)
    2 points 0
  3. Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com)
    4 points 0
  4. Archimedes – A Python toolkit for hardware engineering (pinetreelabs.github.io)
    126 points 9
  5. Why higher-order logic is a good formalisation for hardware (cl.cam.ac.uk)
    1 points 1
  6. Algorithms for Optimization (second edition preview) [pdf] (algorithmsbook.com)
    3 points 1
  7. The Quanta Podcast (quantamagazine.org)
    1 points 0
  8. Algorithms for Validation (algorithmsbook.com)
    3 points 1
  9. Synchronous Programming of Reactive Systems [pdf] (www-verimag.imag.fr)
    2 points 0
  10. Reactor: A Synchronous Reactive Language (docs.racket-lang.org)
    2 points 1
  11. NI LabVIEW Compiler: Under the Hood (ni.com)
    1 points 0
  12. LabVIEW [PDF] (dl.acm.org)
    3 points 1
  13. Learning APL (xpqz.github.io)
    4 points 0
  14. The description of finite sequential processes (jsoftware.com)
    1 points 0
  15. Live Coding in APL [video] (youtube.com)
    3 points 0
  16. Zélus – A Synchronous Language with Odes (zelus.di.ens.fr)
    2 points 0
  17. Lola System Notes [pdf] (research-collection.ethz.ch)
    3 points 1
  18. Combinatorial Optimization in VLSI Design [pdf] (or.uni-bonn.de)
    3 points 1
  19. Ask HN: Electronic note-taking – Kindle or iPad or something else

    I'm looking for a device that enables me to read and annotate electronic books and papers (annotations directly on the page or with a virtual Post-It). I would also like to use the device for general note-taking, that…

    6 points 7
  20. Kaffeost (atlasobscura.com)
    56 points 41
  21. Programming Cognitive Robots (cs.toronto.edu)
    80 points 20
  22. Ask HN: Books on formal methods for software verification?

    I'm looking to learn more about formally specifying the requirements for a piece of software, modelling and simulating the design, and verifying its correctness with a proof assistant or model-checker. Thanks!

    2 points 0
  23. Ask HN: Getting Started with FPGAs on macOS

    I’m looking for recommendations for starting out with FPGAs on macOS: boards, software, setup, books, tutorials, etc. From what I can tell, the usual tools don’t run on macOS and I will need to set up a VM with Linux or…

    5 points 4
  24. Mini-CP: A Lightweight Constraint Programming Solver (minicp.org)
    3 points 0
  25. Ask HN: Books or courses on cyber-physical systems?

    Hello! I'm interested in modelling and simulation of cyber-physical systems. I'm working through: Edward Lee et al's "Introduction to Embedded Systems - A cyber-physical systems approach" Edward Lee et al's "Structure…

    3 points 0