Hackernews posts about Formula One

1. Mathematicians find one pi formula to rule them all (www.scientificamerican.com)
   5 points by beardyw 25 days ago | 2 comments
2. 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
3. Show HN: The Two by Two Truth Diagram (kmrjohnson55.github.io)
   5 points by 8crazyideas 17 days ago | discuss
4. Show HN: AIRiskCalc – AI-Powered Health Risk Calculators (www.airiskcalc.com)
   2 points by mosbyllc 27 days ago | 2 comments
5. Show HN: A body-mass weighted caffeine limit simulator for developers (thehealthytechpro.com)
   1 points by thehealthytech 24 days ago | 2 comments
6. Show HN: PingCRM – Open-source personal networking CRM (github.com)
   1 points by sneg55 21 days ago | 1 comments
7. New Open Source from Non-Traditional Builder
   2 points by BrainDAnderson 17 days ago | 5 comments
8. Show HN: OneManCompany The first AI company with real corporate org structure (one-man-company.com)
   1 points by yuzhengxu about 11 hours ago | discuss
9. Show HN: I built a P2P network where AI agents publish formally verified science
   47 points by FranciscoAngulo 19 days ago | 9 comments
10. Show HN: I thought merging two photos with AI would be a weekend project. Nope (animateoldphotos.org)
    5 points by imgdesgen 5 days ago | 1 comments
11. My 11-step GraphRAG pipeline, what worked, and what's still broken
    3 points by pauliusztin 3 days ago | 1 comments
12. Show HN: P2PCLAW – I built a decentralized research network where AI agents
    3 points by FranciscoAngulo 20 days ago | 1 comments
13. Show HN: A conversation about OS design turned into an actual OS in a week
    3 points by jonathanrtuck 25 days ago | discuss
14. Show HN: Salvobase – MongoDB-compatible DB in Go maintained by AI agents
    3 points by inder1 30 days ago | discuss
15. The Quiet Normalization of Artificial Intelligence
    2 points by 01-_- 22 days ago | 4 comments
16. Show HN: Vulnerabilities in a Multi-Million ARR Corp as 17(my 5-month journey) (flashmesh.netlify.app)
    2 points by Elevanix 8 days ago | discuss
17. Show HN: Added API key support to my AI writing assistant extension
    1 points by jerrygoyal 19 days ago | discuss
18. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 22 days ago | 191 comments
19. Formalizing the "generative crash" via inverse reinforcement learning
    2 points by abrahamhaskins about 9 hours ago | discuss
20. Why is Git Autocorrect too fast for Formula One drivers? (blog.gitbutler.com)
    444 points by birdculture about 1 year ago | 243 comments
21. Formula One Handovers and Handovers From Surgery to Intensive Care (2008) [pdf] (gwern.net)
    113 points by bookofjoe 4 months ago | 37 comments
22. One Formula That Demystifies 3D Graphics (www.youtube.com)
    97 points by msephton 3 months ago | 28 comments
23. One Formula That Demystifies 3D Graphics (www.youtube.com)
    6 points by mthomas 3 months ago | 2 comments
24. One formula that demystifies 3D graphics [video] (www.youtube.com)
    6 points by todsacerdoti 3 months ago | discuss
25. Ferrari's Formula One pit-stops and handovers from surgery to intensive care [pdf] (gwern.net)
    3 points by fanf2 4 months ago | 1 comments
26. One Formula That Demystifies 3D Graphics [video] (www.youtube.com)
    3 points by codewiz 3 months ago | discuss
27. The evolution of onboard cameras in Formula One (www.dive-bomb.com)
    3 points by austinallegro 11 months ago | discuss
28. A list of the development languages by application in Formula One (fluidjobs.com)
    3 points by richardbaxter over 1 year ago | discuss
29. FormulaOne – new LLM benchmark using Dynamic Programming problems (twitter.com)
    2 points by scribu 8 months ago | discuss
30. FormulaOne: A reasoning benchmark that all models score 0% on (huggingface.co)
    2 points by glocken 8 months ago | discuss
31. Formula One Cars Are Fast. Like Super Fast (kottke.org)
    2 points by Tomte 10 months ago | discuss
32. Show HN: One formula detects failure in quantum, neural nets, and hearts (github.com)
    1 points by Wise314 about 1 month ago | 1 comments
33. Formula One's Long–and Successful–Race to Crack America (www.wsj.com)
    1 points by impish9208 11 months ago | 1 comments
34. Statement on General Motors Application to Join FIA Formula One in 2026 (www.formula1.com)
    1 points by MR4D over 1 year ago | 1 comments
35. Audi in Formula One (en.wikipedia.org)
    1 points by wslh 5 months ago | discuss
36. Apple TV becomes Formula One's exclusive U.S. broadcaster, starting in 2026 (www.nytimes.com)
    1 points by jbredeche 6 months ago | discuss
37. What is Formula One DRS and why does the device raise criticism? (www.nytimes.com)
    1 points by wslh over 1 year ago | discuss
38. Show HN: An Open Source XR(AR/VR) Operating System (www.getxeneva.com)
    38 points by ayush_xeneva 7 months ago | 28 comments
39. The surgeon who used F1 pitstop techniques to save lives of babies (www.thetimes.com)
    62 points by sunray2 11 months ago | 12 comments
40. Why is Git's autocorrect faster than an F1 driver's reflexes? (blog.gitbutler.com)
    6 points by schacon about 1 year ago | discuss
41. Neural Concept's aerodynamic AI is shaping Formula 1 (techcrunch.com)
    2 points by campuscodi almost 2 years ago | 2 comments
42. America's Push into F1 Continues with Entry of Cadillac Team (www.wsj.com)
    2 points by bookofjoe about 1 year ago | 1 comments
43. Mastering Montreal – how the modern car copes with F1's notorious 'brake buster' (motorsport.tech)
    1 points by AkshatJ27 10 months ago | discuss
44. Show HN: The Money Company – Talk to your bank in plain English (www.thecompany.money)
    3 points by mafiaboi 11 months ago | 3 comments
45. Show HN: Pro Color Harmonies – A library for color harmonies (meodai.github.io)
    1 points by meodai 5 months ago | 1 comments
46. Cerebras: The AI hardware giant facing imminent collapse
    22 points by noob_hardy 6 months ago | 7 comments
47. Any Cheaper Option for Mathpix?
    1 points by deepduke 10 months ago | 1 comments
48. Is It Possible Apply and Positive in Favor Newton III Motion Law as Cycle System
    2 points by monterrey about 1 year ago | 2 comments
49. Show HN: PromptLab: Run LLM prompts directly inside Google Sheets (promptlabco.com)
    2 points by aidopper 10 months ago | discuss