HN Explorer

wazHFsRy

↗ HN profile [ 80.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Fly a nano-drone from your terminal (Rust TUI) (github.com)

    in action video: https://github.com/user-attachments/assets/f349595d-bece-4ac... I wanted a Rust learning project and for this I created a TUI to control a crazyflie from the terminal. Besides free flight with wasd +…

    1 points 0
  2. Verifying Rust Programs (github.com)
    1 points 0
  3. The Usefulness of AI Agents (erikjohannes.no)
    1 points 1
  4. Formal Verification in Any Language for Everybody (lean 4) (dev-log.me)
    14 points 3
  5. Visualisation of the Artemis Mission (German) (zeit.de)
    2 points 1
  6. Resilience in the Age of AI (halfanhour.blogspot.com)
    1 points 0
  7. 1 points 0
  8. Prefer do notation over Applicative operators when assembling records (2024) (haskellforall.com)
    54 points 6
  9. Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell) (github.com)

    I just had the best time learning about the REWE (German supermarket chain) API, how they use mTLS and what the workflows are. Also `mitmproxy2swagger`[1] is a great tool to create OpenAPI spec automatically. And then…

    205 points 36
  10. 1 points 0
  11. 1 points 0
  12. I Have Trust Issues with My AI. Canary Comments Help (dev-log.me)
    3 points 0
  13. AI to stay in Flow – a personal decision on how I chose to (not) use AI (dev-log.me)
    2 points 0
  14. Jokes on You AI: Turning the Tables – LLMs for Learning (dev-log.me)
    2 points 0