HN Explorer

eggy

↗ HN profile [ 73.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Amazon ending support for older Kindles (techcrunch.com)
    2 points 0
  2. Introduction to Formal Verification with Spark (youtube.com)
    2 points 1
  3. Ask HN: Safe Fundraising for Hardware Startup

    Curious if any HN folk are familiar with SAFE agreements for physical, more industrial startup products. We've designed and engineered, and we have a working prototype for a very unique hoist. I am programming the…

    2 points 0
  4. Muen SK for x86/64 – formally verified Separation Kernel (muen.codelabs.ch)
    2 points 1
  5. Ask HN: Optimum small-business web hosting, email, and project platforms

    I am setting up my second LLC from scratch, and it's been years since I did this last. I am going with Coda for my project/CRM/collaboration platform, MS 365 for some of my apps to hook into Coda, and I am looking for a…

    1 points 0
  6. 3D Cellular Automata and GOL in the J programming language (archive.vector.org.uk)
    34 points 12
  7. Game Jam 2 Results (wasm4.org)
    186 points 192
  8. Mach Game Engine in Zig (github.com)
    3 points 0
  9. IronScheme – R6RS scheme implementation for .NET (github.com)
    1 points 0
  10. Corman Lisp development environment for MS Windows (github.com)
    62 points 11
  11. Ask HN: Input forms and people with just one legal name

    My wife is Indonesian, and for her generation, it is common to have been given one name only. There is not family name. Her Indo passport has her one name. The US Federal government put "HerName FNU" (not even in the…

    1 points 2
  12. 1 points 0
  13. LisPi #0 – Lisp environment on bare metal [YouTube]

    I found this demo of a bare-metal Lisp, but I can't find much more about it. I hope he releases the code! Seems like it has been developed more than upon first appearance - debugger, custom opengl graphics library, and…

    2 points 1
  14. The race to reinvent document editing (fastcompany.com)
    2 points 3
  15. Coding a Text Editor in J [YouTube] (youtube.com)
    3 points 1
  16. AFL – Amibroker Formula Language – Vector PL for Trading (amibroker.com)
    1 points 1
  17. Lunar IceCube Mission (2019) (nasa.gov)
    1 points 0
  18. Convolutional Neural Networks in APL (in 10 lines) [pdf] (dl.acm.org)
    3 points 2
  19. Nap Framework for Creative Coding (napframework.com)
    1 points 1
  20. Painting a Selfie Girl with Maths (youtube.com)
    3 points 0
  21. Evaluation of rebreathed air in human nasal cavity with N95 respirator (oatext.com)
    1 points 0
  22. Ask HN: SPARK2014 or Rust for high-integrity, secure, distributed application?

    I have a job opportunity to develop a secure, high-integrity, high-reliability, very low fault distributed communications application where I will have the option of choosing the PL/platform. SPARK2014 has an edge over…

    2 points 1
  23. Ask HN: Is anyone using KeYmaera X for Cyber-Physical Systems?

    I have been studying CPSs Cyber-Physical System as a natural progression from my embedded experience and MBSE (Model-Based Simulation Engineering)for fun and self-study and as it applies to my work. I purchased the book…

    1 points 0
  24. Alire: Ada LIbrary REpository ALR (alire.ada.dev)
    2 points 0
  25. Ask HN: Minimal text editor for Windows 10

    I have tried various distraction-free editors, but I can't seem to find a basic text editor that has a few, powerful commands and simple design to write the contents, rather than the final form, of the general documents…

    1 points 3