Hackernews posts about Formula E

1. NanoPutians, organic molecules whose structural formulae resemble human forms (en.wikipedia.org)
   4 points by okl 27 days ago | discuss
2. Show HN: Formulaic, paste a CSV and get the Excel formula that fits it (codebypeace.gumroad.com)
   2 points by KALYX 3 days ago | discuss
3. Show HN: Purple Hammer – construction takeoff and estimating in Tauri/Rust/WASM (purple-hammer.com)
   2 points by AriIs 24 days ago | discuss
4. Codex now leads Claude Code in first-time Homebrew installs for last 30 days (formulae.brew.sh)
   4 points by jackdanela 27 days ago | 1 comments
5. New PI formula discovered [video] (www.youtube.com)
   3 points by MysteryPancake 6 days ago | discuss
6. Show HN: ApplyAssists – AI resume builder using Google XYZ formula (applyassists.com)
   1 points by daniellaza 25 days ago | 4 comments
7. Show HN: Bisecto – A minimalist game about cutting shapes into 50/50 halves (bisecto.com)
   5 points by bpx51 about 19 hours ago | 2 comments
8. Show HN: Working on gym weight progress calculator (gymcalc.no)
   3 points by xtremi 11 days ago | 1 comments
9. Show HN: Slashscore, an open developer graph built from public GitHub activity (www.slashscore.com)
   2 points by wingravity 11 days ago | 4 comments
10. Why My Open-Source Project Hasn't Done Better
    4 points by yohji1984 27 days ago | 1 comments
11. Open Source Equivalence Checking Tool for FPGA Design (github.com)
    1 points by nanocoh 9 days ago | 1 comments
12. Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy) (www-formal.stanford.edu)
    2 points by rramadass 14 days ago | 1 comments
13. The Dartmouth Workshop–as planned and as it happened (www-formal.stanford.edu)
    2 points by Bluestein 10 days ago | discuss
14. Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls (github.com)
    2 points by abj908 25 days ago | 1 comments
15. Show HN: Formae 0.88.0 Released (docs.formae.io)
    4 points by discountelf 22 days ago | discuss
16. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
    115 points by permute 24 days ago | 49 comments
17. Show HN: K7d – Fork live Kubernetes clusters in <1s –> GRPO-train AI on infra (github.com)
    3 points by gbxk 3 days ago | 1 comments
18. Grok is a surprisingly good automated theorem prover
    3 points by henryrobbins00 30 days ago | 1 comments
19. Show HN: Data structures as containers – sample chapter from my Big O book [pdf] (thebigobook.com)
    3 points by rcavezza 22 days ago | discuss
20. LLM-oriented programming – statistically revealed components
    1 points by hyperpallium2 13 days ago | discuss
21. Show HN: Frockly – A visual editor for understanding complex Excel formulas
    56 points by jack_ruru 8 months ago | 21 comments
22. All-wheel drive EVs at 210 MPH? Formula E's next car gets upgrade (arstechnica.com)
    26 points by PaulHoule about 1 year ago | 11 comments
23. Notes on using LaTeX to generate formulae (eli.thegreenplace.net)
    15 points by ibobev 10 months ago | 2 comments
24. Ask HN: How do you deal with large, hard-to-read Excel formulas?
    13 points by jack_ruru 8 months ago | 12 comments
25. Exponential Functions and Euler's Formula (www.deaneyang.com)
    7 points by surprisetalk about 1 year ago | 1 comments
26. Show HN: brew-cleaner – CLI to bulk uninstall Homebrew formulae and free space (github.com)
    7 points by theharshb 12 months ago | discuss
27. Show HN: Modeleon – Python DSL that compiles to live Excel formulas (github.com)
    6 points by adilkhanovkz 4 months ago | discuss
28. Is there a secret formula for election-winning slogans? (www.bbc.co.uk)
    5 points by mellosouls about 1 year ago | 1 comments
29. The most beautiful formula not enough people understand [video] (www.youtube.com)
    5 points by eigenBasis 4 months ago | discuss
30. Show HN: Formulaer – Free, simple and clean forms (formulaer.com)
    4 points by drikerf almost 2 years ago | 1 comments
31. Notes on the Euler Formula (eli.thegreenplace.net)
    4 points by ibobev almost 2 years ago | discuss
32. The most beautiful formula not enough people understand (3blue1brown) [video] (www.youtube.com)
    3 points by vismit2000 6 months ago | discuss
33. Notes on using LaTeX to generate formulae (eli.thegreenplace.net)
    3 points by mfrw 10 months ago | discuss
34. The entropy formula for the Ricci flow and its geometric applications (arxiv.org)
    3 points by ibobev 12 months ago | discuss
35. Formula E wraps up season 11–where does the all-EV series go next? (arstechnica.com)
    3 points by PaulHoule about 1 year ago | discuss
36. What do you feel about this Engineering Salary Formula from Etha (www.goethena.com)
    3 points by thelostdragon almost 2 years ago | discuss
37. Notes on the Euler formula – Eli Bendersky's website (eli.thegreenplace.net)
    2 points by todsacerdoti almost 2 years ago | 2 comments
38. Formula E 600kW mid-race charging is finally ready (electrek.co)
    2 points by giantg2 about 1 year ago | 1 comments
39. The most beautiful formula not enough people understand (www.youtube.com)
    2 points by peter_retief 3 months ago | discuss
40. Micro GPT written in Excel formulas (github.com)
    2 points by pyxll 3 months ago | discuss
41. Lipovive Review: Effective Formula for Fitness (www.morningstar.com)
    2 points by JamesLoynes 4 months ago | discuss
42. The most beautiful formula not enough people understand [video] (www.youtube.com)
    2 points by ggraphilia 4 months ago | discuss
43. Show HN: FormulaAI – Generate Excel formulas from plain English using AI (www.getformulaai.com)
    2 points by MakerLabsSv 9 months ago | discuss
44. An Exact Formula for the Primes: Willans' Formula [video] (www.youtube.com)
    2 points by quantummagic 10 months ago | discuss
45. American Mid: Hampton Inn's Good-Enough Formula for World Domination (www.bloomberg.com)
    2 points by gmays about 1 year ago | discuss
46. Hampton Inn's Good-Enough Formula for World Domination (www.bloomberg.com)
    2 points by petethomas about 1 year ago | discuss
47. A formulae-as-type notion of control: classical logic and call/cc in Scheme (dl.acm.org)
    2 points by fanf2 about 1 year ago | discuss
48. Cellm – Use LLMs in Excel Formulas (docs.getcellm.com)
    2 points by sexy_seedbox over 1 year ago | discuss
49. Cellm: Use LLMs in Excel Formulas (github.com)
    2 points by sebg over 1 year ago | discuss
50. Formula E 600kW mid-race charging is finally ready, for real this time, we swear (electrek.co)
    2 points by zfg over 1 year ago | discuss