Hackernews posts about Formula E

  1. EspoCRM: Formula engine and path traversal → RCE in six requests(CVE-2026-33656) (jivasecurity.com)
    1 points by jiva 14 days ago | discuss
  2. The History and Business of Formula 1 (www.acquired.fm)
    1 points by vismit2000 17 days ago | discuss
  3. I wrote a scientific fairy tale to explain molecules without formulas (www.amazon.it)
    2 points by molecolegentili 8 days ago | discuss
  4. Show HN: TakeHome – LLC vs. S-Corp tax calculator for solopreneurs
    2 points by dalberto 22 days ago | 1 comments
  5. Show HN: I tried to reverse engineer Claude Code usage limits (github.com)
    5 points by aray07 12 days ago | discuss
  6. Show HN: Veil – Dark mode PDFs without destroying images, runs in the browser (veil.simoneamico.com)
    100 points by simoneamico 13 days ago | 28 comments
  7. Show HN: I built a message board where you pay to be the homepage (saythat.sh)
    19 points by SayThatSh 22 days ago | 14 comments
  8. Show HN: We scored 50k PRs with AI – what we learned about code complexity (gitvelocity.dev)
    11 points by chuboy 9 days ago | discuss
  9. Show HN: AI-first PostgreSQL client for Mac (guillim.github.io)
    7 points by Guillim 6 days ago | discuss
  10. Show HN: The Two by Two Truth Diagram (kmrjohnson55.github.io)
    5 points by 8crazyideas 17 days ago | discuss
  11. Show HN: AIRiskCalc – AI-Powered Health Risk Calculators (www.airiskcalc.com)
    2 points by mosbyllc 28 days ago | 2 comments
  12. Show HN: I block LLM hallucinations with a cognitive math framework(re!Think it) (github.com)
    2 points by Real_Egor 12 days ago | discuss
  13. Show HN: Zenera – Neighborhood-level safety data for solo travelers
    2 points by KhushaliT 14 days ago | discuss
  14. Show HN: Travel calendar with festivals, weather, visa, crowds (no DB, free API) (tripclimate.com)
    2 points by rembish 21 days ago | discuss
  15. Show HN: A body-mass weighted caffeine limit simulator for developers (thehealthytechpro.com)
    1 points by thehealthytech 25 days ago | 2 comments
  16. Show HN: PingCRM – Open-source personal networking CRM (github.com)
    1 points by sneg55 21 days ago | 1 comments
  17. Show HN: Whspe – We decomposed TTFB to build a real hosting quality score
    1 points by gezginweb 23 days ago | discuss
  18. Trion: A Behavioral Oracle That Derived Truth from On-Chain History Not Price
    1 points by analyshd 28 days ago | discuss
  19. Show HN: Klyrx.xyz - Independent reliability rating for crypto assets&protocols (klyrx.xyz)
    1 points by sergeyso 30 days ago | discuss
  20. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 22 days ago | 191 comments
  21. New Open Source Release
    1 points by BrainDAnderson 20 days ago | discuss
  22. Economics of Formal Methods (www.johndcook.com)
    1 points by ibobev 30 days ago | discuss
  23. My 11-step GraphRAG pipeline, what worked, and what's still broken
    3 points by pauliusztin 4 days ago | 1 comments
  24. The Quiet Normalization of Artificial Intelligence
    2 points by 01-_- 23 days ago | 4 comments
  25. Show HN: Added API key support to my AI writing assistant extension
    1 points by jerrygoyal 19 days ago | discuss
  26. New Open Source from Non-Traditional Builder
    2 points by BrainDAnderson 17 days ago | 5 comments
  27. Show HN: Foundations of Music (FoM) (bookerapp.replit.app)
    3 points by ersinesen 16 days ago | discuss
  28. Formal Verification in Any Language for Everybody (www.dev-log.me)
    4 points by yannick-cw 7 days ago | discuss
  29. Formalizing the "generative crash" via inverse reinforcement learning
    2 points by abrahamhaskins about 12 hours ago | discuss
  30. Stripe withheld $85k from our EU platform
    36 points by MelkerWendelbo 9 days ago | 19 comments
More