Hackernews posts about Peano

1. Show HN: Pano, a bookmarking tool built around shareable shelves (www.panoit.com)
   37 points by uelbably 24 days ago | 13 comments
2. The medical advice on peanut allergies flipped in a generation (www.cbc.ca)
   9 points by colinprince 24 days ago | discuss
3. Panorama – AI that finds your team's workflows and hidden structures (withpanorama.com)
   6 points by bryantwolf 2 days ago | 1 comments
4. Player Piano (Novel) (en.wikipedia.org)
   5 points by otras 9 days ago | discuss
5. Panopticon (en.wikipedia.org)
   5 points by simonebrunozzi 22 days ago | discuss
6. Show HN: I Was Here – Draw on street panoramas, others can find your drawings (washere.live)
   5 points by mrktsm__ 30 days ago | discuss
7. Show HN: PianoFun – Browser piano learning game with MIDI (vanilla JavaScript)
   3 points by victorbuilds 16 days ago | 2 comments
8. Rapid joule heating synthesis of graphitic carbon from peanut shells (www.sciencedirect.com)
   3 points by PaulHoule 27 days ago | discuss
9. See around you: panoramic videos using Apple's QuickTime VR (1995) (www.halfhill.com)
   2 points by gdubs 30 days ago | discuss
10. Conlon Nancarrow: The Prince of the Player Piano (2015) (www.nybooks.com)
    1 points by mitchbob 14 days ago | 1 comments
11. Planora – Visualize MySQL Explain
    1 points by blake_anderson 19 days ago | 1 comments
12. Murten Panorama Digital Twin Scanning Project (paulbourke.net)
    1 points by Uncorrelated 14 days ago | discuss
13. Show HN: I Was Here – Draw on street panoramas, others can find your drawings (washere.live)
    1 points by mrktsm__ 29 days ago | discuss
14. Show HN: Fisheye – iOS 360° panorama video player library using Metal (github.com)
    1 points by cloudrunner 30 days ago | discuss
15. Show HN: I Was Here – Draw on street view, others can find your drawings (washere.live)
    67 points by mrktsm__ 28 days ago | 52 comments
16. Show HN: Signals – finding the most informative agent traces without LLM judges (arxiv.org)
    3 points by sparacha 2 days ago | discuss
17. Show HN: MIDI Visualizer (decompiled.dev)
    2 points by decompiled_dev 27 days ago | discuss
18. Show HN: Peribus – "Track hand on A, display on B, blink LED on C" – one prompt (github.com)
    2 points by kanzeee 29 days ago | discuss
19. Show HN: ForgeTerm – Terminal for multi-project workflows with auto-tiling (github.com)
    2 points by ncamaa 30 days ago | discuss
20. Show HN: MidiStickers – learn music theory visually
    1 points by Frauber84 19 days ago | discuss
21. Visualise Music Theory
    1 points by Mimirm 24 days ago | discuss
22. Hershey says it will shift back to classic recipe for all Reese's products (apnews.com)
    19 points by 1659447091 6 days ago | 6 comments
23. Anti-Slop: A GitHub action that detects and automatically closes AI slop PRs (github.com)
    7 points by flykespice 24 days ago | discuss
24. AI agents planned and built a system to monitor AI agents (ren.phytertek.com)
    2 points by ren_dispatches 9 days ago | discuss
25. Show HN: I built a party game that makes fun of corporate culture (cubiclegame.com)
    5 points by pianobrothers 14 days ago | 2 comments
26. RFC-P001 – An open standard for AI agent identity (did:phanteum:icp:) (github.com)
    2 points by Phanos119 14 days ago | discuss
27. Show HN: GovAuctions lets you browse government auctions at once (www.govauctions.app)
    296 points by player_piano about 21 hours ago | 84 comments
28. Show HN: My 'pet' project, a Tinder-esque experience for rescuing dogs and cats (rescueapet.benswork.space)
    6 points by player_piano 12 days ago | 4 comments
29. Seldom: An Anonymity Network with Selective Deanonymization (dl.acm.org)
    2 points by maxrmk 29 days ago | 1 comments
30. Large-scale online deanonymization with LLMs (www.alphaxiv.org)
    2 points by bongoman42 15 days ago | discuss
31. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
    246 points by btilly 10 months ago | 141 comments
32. Peano's Axioms (principlesofcryptography.com)
    91 points by ulugh about 1 year ago | 33 comments
33. AMD's "Peano" – An LLVM Compiler for Ryzen AI NPUs (www.phoronix.com)
    50 points by simonpure almost 2 years ago | 16 comments
34. How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
    32 points by nill0 10 months ago | 10 comments
35. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
    3 points by MJGrzymek about 1 year ago | 1 comments
36. PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
    1 points by jmillikin about 1 year ago | discuss
37. Xilinx AI Engine LLVM Source (discourse.llvm.org)
    4 points by JonChesterfield almost 2 years ago | 1 comments
38. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu 12 months ago | discuss
39. 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
40. Show HN: I made a tiny device for automatically recording digital pianos (jamcorder.com)
    590 points by chipweinberger over 1 year ago | 194 comments
41. 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 3 months ago | 171 comments
42. 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
43. 60k kids have avoided peanut allergies due to 2015 advice, study finds (www.cbsnews.com)
    355 points by zdw 6 months ago | 348 comments
44. Australia starts peanut allergy treatment for babies (www.bbc.com)
    326 points by peutetre over 1 year ago | 235 comments
45. 417-megapixel Andromeda galaxy panorama took over a decade to make (petapixel.com)
    297 points by wallflower about 1 year ago | 98 comments
46. Show HN: Hanon Pro – piano technique and exercises for the digital age (furnacecreek.org)
    248 points by albertru90 over 1 year ago | 100 comments
47. ICE and the Smartphone Panopticon (www.newyorker.com)
    218 points by fortran77 5 months ago | 148 comments
48. Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)
    203 points by FinalDestiny 9 months ago | 58 comments
49. Show HN: Peanut Butter Spinner (cdaringe.com)
    193 points by cdaringe almost 2 years ago | 145 comments
50. Peanut allergies have plummeted in children (www.nytimes.com)
    179 points by JumpCrisscross 6 months ago | 153 comments
51. Panoramas of Star Trek Sets (mijofr.github.io)
    179 points by jfil 3 months ago | 25 comments
52. RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023) (kzakka.com)
    142 points by bemmu about 1 year ago | 53 comments
53. Microtonal Spiral Piano (shih1.github.io)
    127 points by phoenix_ashes 3 months ago | 20 comments
54. AI coding and the peanut butter and jelly problem (iamcharliegraham.substack.com)
    122 points by tylerg 12 months ago | 79 comments
55. Going Nuts over NIST’s Standard Reference Peanut Butter (2016) (www.nist.gov)
    113 points by rbanffy about 1 year ago | 65 comments
56. Show HN Pianoboi – displays sheet music as you play your piano (pianoboi.site)
    109 points by bcowde about 1 year ago | 25 comments
57. Openly Licensed Streetview with Panoramax (tzovar.as)
    106 points by maelito over 1 year ago | 31 comments
58. Launch HN: Panora (YC S24) – Data Integration API for LLMs (github.com)
    100 points by nael_ob over 1 year ago | 19 comments
59. Throwable tactical camera transmits 360° panoramic thermal images (newatlas.com)
    86 points by thunderbong over 1 year ago | 60 comments
60. Scanned piano rolls database (www.pianorollmusic.org)
    84 points by bookofjoe 9 months ago | 21 comments