Hackernews posts about Peano

1. Grandson of Reese's Peanut Butter Cups inventor says Hershey is cutting corners (apnews.com)
   30 points by petethomas 2 days ago | 7 comments
2. Show HN: Interactive Chord Finder, Free Piano Scale and Chord Explorer (interactivechordfinder.com)
   9 points by magikMaker 5 days ago | 4 comments
3. Show HN: Piano Dojo – Guitar Hero for Piano (piano-dojo.com)
   4 points by acoretchi 22 days ago | 3 comments
4. Show HN: Agent Panopticon – Proxy sidecar for autonomous AI agents (github.com)
   3 points by rakag 3 days ago | discuss
5. Peacock. A New Programming Language
   2 points by hashhooshy 13 days ago | 2 comments
6. Show HN: Chrome extension that turns your keyboard into a piano while you type (chromewebstore.google.com)
   2 points by anshika_vijay 4 days ago | discuss
7. Show HN: PlanOpticon – Extract structured knowledge from video recordings (github.com)
   2 points by ragelink 6 days ago | discuss
8. The Inverted Panopticon (shanakaanslemperera.substack.com)
   2 points by NN88 24 days ago | discuss
9. The Inverted Panopticon: China Weaponized the West's Own Wiretap Infrastructure (shanakaanslemperera.substack.com)
   2 points by jc_811 25 days ago | discuss
10. Steinway Spirio: The most famous concert pianos got a major tech upgrade (2024) (www.technologyreview.com)
    2 points by xeonmc 27 days ago | discuss
11. Show HN: Preference-aware routing for OpenClaw via Plano (github.com)
    1 points by sparacha 3 days ago | discuss
12. Panopticon (en.wikipedia.org)
    1 points by simonebrunozzi 5 days ago | discuss
13. Show HN: IQT – Why space feels panoramic and time feels fleeting (github.com)
    1 points by diwank 9 days ago | discuss
14. The Inverted Panopticon (shanakaanslemperera.substack.com)
    1 points by MassPikeMike 21 days ago | discuss
15. AI Regex Scientist: A self-improving regex solver
    9 points by PranoyP 15 days ago | 3 comments
16. Show HN: A real-time chord identifier web app using the Web MIDI API (midi-chord-identifier.backwater.systems)
    4 points by nate-gehringer 4 days ago | 4 comments
17. Show HN: Early detection of LLM hallucinations via structural dissonance (github.com)
    4 points by yubainu 11 days ago | 1 comments
18. Show HN: Programming Language for Music- Aethra
    1 points by CzaxTanmay 15 days ago | discuss
19. Show HN: ChordCraft – Browser-based chord progression sketchpad with MIDI export (chord.iru-yo.com)
    1 points by obutora 22 days ago | discuss
20. Oh, good: Discord's age verification rollout has ties to Palantir co-founder (www.pcgamer.com)
    246 points by absqueued 7 days ago | 34 comments
21. What Happens in a Performer's Brain While Playing Music? (www.nytimes.com)
    5 points by cainxinth 11 days ago | 2 comments
22. China Read the West's Wiretaps for Years (shanakaanslemperera.substack.com)
    4 points by CGMthrowaway 19 days ago | 1 comments
23. MIDI Survivor (www.funwithcomputervision.com)
    3 points by bilsbie 22 days ago | discuss
24. The two agentic loops – how to build and scale agentic apps (planoai.dev)
    1 points by sparacha 21 days ago | discuss
25. Show HN: HypothesisHub – An open API where AI agents collaborate on medical res (medresearch-ai.org)
    1 points by panossk 14 days ago | discuss
26. Large-scale online deanonymization with LLMs (arxiv.org)
    3 points by DalasNoin about 15 hours ago | discuss
27. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
    246 points by btilly 8 months ago | 141 comments
28. Peano's Axioms (principlesofcryptography.com)
    91 points by ulugh 11 months ago | 33 comments
29. AMD's "Peano" – An LLVM Compiler for Ryzen AI NPUs (www.phoronix.com)
    50 points by simonpure over 1 year ago | 16 comments
30. How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
    32 points by nill0 8 months ago | 10 comments
31. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
    3 points by MJGrzymek 11 months ago | 1 comments
32. PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
    1 points by jmillikin 11 months ago | discuss
33. Xilinx AI Engine LLVM Source (discourse.llvm.org)
    4 points by JonChesterfield over 1 year ago | 1 comments
34. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu 10 months ago | discuss
35. AI-generated sad girl with piano performs the text of the MIT License (twitter.com)
    748 points by amichail almost 2 years ago | 273 comments
36. AI-generated sad girl with piano performs the text of the MIT License (suno.com)
    666 points by hongsy almost 2 years ago | 368 comments
37. Show HN: I made a tiny device for automatically recording digital pianos (jamcorder.com)
    590 points by chipweinberger over 1 year ago | 194 comments
38. Show HN: I made a memory game to teach you to play piano by ear (lend-me-your-ears.specr.net)
    565 points by vunderba about 1 month ago | 171 comments
39. Nearly all of the Google images results for "baby peacock" are AI generated (twitter.com)
    415 points by jsheard over 1 year ago | 420 comments
40. 60k kids have avoided peanut allergies due to 2015 advice, study finds (www.cbsnews.com)
    355 points by zdw 4 months ago | 348 comments
41. Australia starts peanut allergy treatment for babies (www.bbc.com)
    326 points by peutetre over 1 year ago | 235 comments
42. 417-megapixel Andromeda galaxy panorama took over a decade to make (petapixel.com)
    297 points by wallflower about 1 year ago | 98 comments
43. Show HN: Hanon Pro – piano technique and exercises for the digital age (furnacecreek.org)
    248 points by albertru90 over 1 year ago | 100 comments
44. Piano on Paper (github.com)
    225 points by thunderbong almost 2 years ago | 63 comments
45. ICE and the Smartphone Panopticon (www.newyorker.com)
    218 points by fortran77 4 months ago | 148 comments
46. Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)
    203 points by FinalDestiny 8 months ago | 58 comments
47. Show HN: Peanut Butter Spinner (cdaringe.com)
    193 points by cdaringe almost 2 years ago | 145 comments
48. Peanut allergies have plummeted in children (www.nytimes.com)
    179 points by JumpCrisscross 4 months ago | 153 comments
49. Panoramas of Star Trek Sets (mijofr.github.io)
    179 points by jfil about 2 months ago | 25 comments
50. RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023) (kzakka.com)
    142 points by bemmu 12 months ago | 53 comments
51. Microtonal Spiral Piano (shih1.github.io)
    127 points by phoenix_ashes about 2 months ago | 20 comments
52. AI coding and the peanut butter and jelly problem (iamcharliegraham.substack.com)
    122 points by tylerg 11 months ago | 79 comments
53. Going Nuts over NIST’s Standard Reference Peanut Butter (2016) (www.nist.gov)
    113 points by rbanffy about 1 year ago | 65 comments
54. Show HN Pianoboi – displays sheet music as you play your piano (pianoboi.site)
    109 points by bcowde 11 months ago | 25 comments
55. Openly Licensed Streetview with Panoramax (tzovar.as)
    106 points by maelito over 1 year ago | 31 comments
56. Launch HN: Panora (YC S24) – Data Integration API for LLMs (github.com)
    100 points by nael_ob over 1 year ago | 19 comments