Hackernews posts about Peano

  1. New mechanical panoramic film camera from Jeff Bridges (wideluxx.com)
    224 points by armadsen 24 days ago | 110 comments
  2. Player Piano (Novel) (en.wikipedia.org)
    8 points by PyWoody 4 days ago | discuss
  3. OSM-FR Panoramax server "only for testing if outside of France" (community.openstreetmap.org)
    4 points by marklit 19 days ago | discuss
  4. Why Some People Are Allergic to 'Peanut Butter Raises' (www.nytimes.com)
    3 points by paulpauper 9 days ago | discuss
  5. Show HN: See your computer's audio output on a real-time piano (github.com)
    3 points by ecstrema 25 days ago | discuss
  6. Panopticon (en.wikipedia.org)
    2 points by soupspaces 6 days ago | discuss
  7. A 360° panorama generator that turns one sentence into a world (imagesv2.ai)
    2 points by taoji1994 19 days ago | discuss
  8. NASA's Curiosity and Perseverance rovers capture Mars panoramas [video] (www.space.com)
    2 points by teleforce 21 days ago | discuss
  9. What's Happening to Panoply? (panoply.io)
    1 points by r0h1n 9 days ago | discuss
  10. Effect of cold plasma processing on the immunoreactivity of peanut protein (www.sciencedirect.com)
    1 points by PaulHoule 9 days ago | discuss
  11. Show HN: Perfect Bluetooth MIDI for Windows
    105 points by mayerwin 21 days ago | 40 comments
  12. Show HN: I made a tool for learning scales, chords, and how to combine them (projects.alesh.com)
    35 points by aleshh 2 days ago | 21 comments
  13. VPNs: The "Most Trusted" Security Tool Until Claude Roasts It in a Weekend (www.hacktron.ai)
    4 points by jordybg 1 day ago | discuss
  14. Cary Elwes Struggled After 'Princess Bride.' Al Pacino Set Him on Right Path (www.wsj.com)
    4 points by petethomas 17 days ago | discuss
  15. The artful way of the stack-machine (www.pepnom.org)
    3 points by mjbq 18 days ago | 1 comments
  16. Jujutsu for AI Coding Agents (www.panozzaj.com)
    2 points by thcipriani 7 days ago | discuss
  17. Hello from Berkeley (fluoverse.com)
    2 points by Panos_moschos 29 days ago | 1 comments
  18. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
    246 points by btilly 11 months ago | 141 comments
  19. Peano's Axioms (principlesofcryptography.com)
    91 points by ulugh about 1 year ago | 33 comments
  20. AMD's "Peano" – An LLVM Compiler for Ryzen AI NPUs (www.phoronix.com)
    50 points by simonpure almost 2 years ago | 16 comments
  21. How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
    32 points by nill0 11 months ago | 10 comments
  22. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
    3 points by MJGrzymek about 1 year ago | 1 comments
  23. PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
    1 points by jmillikin about 1 year ago | discuss
  24. Xilinx AI Engine LLVM Source (discourse.llvm.org)
    4 points by JonChesterfield almost 2 years ago | 1 comments
  25. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu about 1 year ago | discuss
  26. Show HN: I made a tiny device for automatically recording digital pianos (jamcorder.com)
    590 points by chipweinberger over 1 year ago | 194 comments
  27. 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 4 months ago | 171 comments
  28. 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
  29. 60k kids have avoided peanut allergies due to 2015 advice, study finds (www.cbsnews.com)
    355 points by zdw 7 months ago | 348 comments
  30. Australia starts peanut allergy treatment for babies (www.bbc.com)
    326 points by peutetre almost 2 years ago | 235 comments
  31. 417-megapixel Andromeda galaxy panorama took over a decade to make (petapixel.com)
    297 points by wallflower over 1 year ago | 98 comments
  32. Show HN: Hanon Pro – piano technique and exercises for the digital age (furnacecreek.org)
    248 points by albertru90 almost 2 years ago | 100 comments
  33. ICE and the Smartphone Panopticon (www.newyorker.com)
    218 points by fortran77 7 months ago | 148 comments
  34. Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)
    203 points by FinalDestiny 11 months ago | 58 comments
  35. Peanut allergies have plummeted in children (www.nytimes.com)
    179 points by JumpCrisscross 7 months ago | 153 comments
  36. Panoramas of Star Trek Sets (mijofr.github.io)
    179 points by jfil 5 months ago | 25 comments
  37. RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023) (kzakka.com)
    142 points by bemmu about 1 year ago | 53 comments
  38. Microtonal Spiral Piano (shih1.github.io)
    127 points by phoenix_ashes 5 months ago | 20 comments
  39. AI coding and the peanut butter and jelly problem (iamcharliegraham.substack.com)
    122 points by tylerg about 1 year ago | 79 comments
  40. Going Nuts over NIST’s Standard Reference Peanut Butter (2016) (www.nist.gov)
    113 points by rbanffy over 1 year ago | 65 comments
  41. Show HN Pianoboi – displays sheet music as you play your piano (pianoboi.site)
    109 points by bcowde about 1 year ago | 25 comments
  42. Openly Licensed Streetview with Panoramax (tzovar.as)
    106 points by maelito over 1 year ago | 31 comments
  43. Launch HN: Panora (YC S24) – Data Integration API for LLMs (github.com)
    100 points by nael_ob over 1 year ago | 19 comments
  44. Throwable tactical camera transmits 360° panoramic thermal images (newatlas.com)
    86 points by thunderbong over 1 year ago | 60 comments
  45. Scanned piano rolls database (www.pianorollmusic.org)
    84 points by bookofjoe 10 months ago | 21 comments
  46. Piano Keys (www.mathpages.com)
    74 points by gametorch 10 months ago | 69 comments
  47. Player Piano Rolls (omeka-s.library.illinois.edu)
    63 points by brudgers 12 months ago | 44 comments