Hackernews posts about Peano

  1. Mars at Night 360 Panorama (www.360cities.net)
    6 points by aggrrrh 11 days ago | discuss
  2. The making of the digital twin of the Panorama of the Battle of Murten (www.epfl.ch)
    5 points by ano-ther 8 days ago | discuss
  3. Peacock Spider (www.peacockspider.org)
    5 points by lujz 15 days ago | discuss
  4. Give the Baby Peanut Butter (www.thefp.com)
    4 points by mhb 15 days ago | discuss
  5. Paleontologists Just Found the Peacock of the Dinosaur Era (gizmodo.com)
    4 points by gmays 27 days ago | discuss
  6. Piano Learning App focused on Sight-reading (virtuoso.host.eco.br)
    3 points by ltouro 26 days ago | 3 comments
  7. Panopticon for all, can AI automate privacy? (blog.1001ud.me)
    3 points by lekan_digital 8 days ago | 1 comments
  8. How to Download Canvas and Panopto Lecture Videos (www.scholarshipsads.com)
    3 points by behindai about 17 hours ago | discuss
  9. Should You Trust the Hacker News Peanut Gallery? (www.thediff.co)
    3 points by NewCzech 13 days ago | discuss
  10. The Self-Tuning Piano [video] (www.youtube.com)
    2 points by dwagnerkc 25 days ago | 6 comments
  11. The Magnetic Resonator Piano: EM-augmented acoustic grand piano [video] (www.youtube.com)
    2 points by junon 15 days ago | 1 comments
  12. FruityScale: FOSS app to analyze piano roll and help with beats in FL Studio (github.com)
    2 points by 3060s 18 days ago | 1 comments
  13. The Math Behind Harmony – why a fifth sounds sweet and a piano is tuned wrong (m-ric.com)
    2 points by aubanel about 16 hours ago | discuss
  14. Peanuts just got a high‑protein upgrade [video] (www.youtube.com)
    2 points by thelastgallon 25 days ago | discuss
  15. A Panopticon for All (laviedesidees.fr)
    1 points by bryanrasmussen 26 days ago | discuss
  16. Discover what your comments reveal about you?
    7 points by hathym 19 days ago | 8 comments
  17. Nobody Is Measuring What Your AI Agents Are Worth (github.com)
    2 points by Idankogan 22 days ago | 1 comments
  18. Data from 66,000+ musician practice sessions (old.reddit.com)
    1 points by sebg 28 days ago | discuss
  19. Simple AI agent in POSIX shell (github.com)
    2 points by pianopatrick about 7 hours ago | 1 comments
  20. A Python tool to scan browser extension packages for malware (github.com)
    2 points by pebnop 14 days ago | 1 comments
  21. Host-HTML: an agent-native way of sharing HTML files (host-html.com)
    1 points by phanosha 17 days ago | 1 comments
  22. Show HN: GovAuctions.app now in US,UK,CA,AU with deal scores and bid estimates (govauctions.app)
    4 points by player_piano 5 days ago | 4 comments
  23. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
    246 points by btilly about 1 year ago | 141 comments
  24. Peano's Axioms (principlesofcryptography.com)
    91 points by ulugh over 1 year ago | 33 comments
  25. How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
    32 points by nill0 about 1 year ago | 10 comments
  26. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
    3 points by MJGrzymek over 1 year ago | 1 comments
  27. PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
    1 points by jmillikin over 1 year ago | discuss
  28. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu about 1 year ago | discuss
  29. Show HN: I made a tiny device for automatically recording digital pianos (jamcorder.com)
    590 points by chipweinberger over 1 year ago | 194 comments
  30. 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 6 months ago | 171 comments
  31. 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
  32. 60k kids have avoided peanut allergies due to 2015 advice, study finds (www.cbsnews.com)
    355 points by zdw 9 months ago | 348 comments
  33. Australia starts peanut allergy treatment for babies (www.bbc.com)
    326 points by peutetre almost 2 years ago | 235 comments
  34. 417-megapixel Andromeda galaxy panorama took over a decade to make (petapixel.com)
    297 points by wallflower over 1 year ago | 98 comments
  35. Show HN: Hanon Pro – piano technique and exercises for the digital age (furnacecreek.org)
    248 points by albertru90 almost 2 years ago | 100 comments
  36. New mechanical panoramic film camera from Jeff Bridges (wideluxx.com)
    224 points by armadsen 2 months ago | 110 comments
  37. ICE and the Smartphone Panopticon (www.newyorker.com)
    218 points by fortran77 8 months ago | 148 comments
  38. Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)
    203 points by FinalDestiny about 1 year ago | 58 comments
  39. Peanut allergies have plummeted in children (www.nytimes.com)
    179 points by JumpCrisscross 9 months ago | 153 comments
  40. Panoramas of Star Trek Sets (mijofr.github.io)
    179 points by jfil 6 months ago | 25 comments
  41. RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023) (kzakka.com)
    142 points by bemmu over 1 year ago | 53 comments
  42. Microtonal Spiral Piano (shih1.github.io)
    127 points by phoenix_ashes 6 months ago | 20 comments
  43. AI coding and the peanut butter and jelly problem (iamcharliegraham.substack.com)
    122 points by tylerg about 1 year ago | 79 comments
  44. Going Nuts over NIST’s Standard Reference Peanut Butter (2016) (www.nist.gov)
    113 points by rbanffy over 1 year ago | 65 comments
  45. Show HN Pianoboi – displays sheet music as you play your piano (pianoboi.site)
    109 points by bcowde over 1 year ago | 25 comments
  46. Openly Licensed Streetview with Panoramax (tzovar.as)
    106 points by maelito almost 2 years ago | 31 comments
  47. Launch HN: Panora (YC S24) – Data Integration API for LLMs (github.com)
    100 points by nael_ob almost 2 years ago | 19 comments
  48. Throwable tactical camera transmits 360° panoramic thermal images (newatlas.com)
    86 points by thunderbong almost 2 years ago | 60 comments
  49. Scanned piano rolls database (www.pianorollmusic.org)
    84 points by bookofjoe 12 months ago | 21 comments
  50. Piano Keys (www.mathpages.com)
    74 points by gametorch 12 months ago | 69 comments
  51. Player Piano Rolls (omeka-s.library.illinois.edu)
    63 points by brudgers about 1 year ago | 44 comments
  52. Show HN: Pianoterm – Run shell commands from your Piano. A Linux CLI tool (github.com)
    61 points by vustagc 4 months ago | 21 comments