Hackernews posts about Peano

  1. Show HN: I trained a 125M model to autocomplete piano on-device (simedw.com)
    546 points by simedw about 19 hours ago | 113 comments
  2. Show HN: Clef – spaced repetition for piano over MIDI (playclef.com)
    8 points by danieldratschuk 14 days ago | 3 comments
  3. Trump drops BBC's commercial arm from Panorama lawsuit, but main case remains (www.bbc.co.uk)
    5 points by Lio 12 days ago | discuss
  4. New rendering based on H3 for the extent of Panoramax (mapstodon.space)
    3 points by maelito 13 days ago | discuss
  5. Why the IBM PCjr Failed: The "Peanut" Disaster Stan Veit Ch. 24 [video] (www.youtube.com)
    2 points by oldnetguy 3 days ago | discuss
  6. Show HN: Virtual Panoramas of the Cambrian (flyingspringrol.github.io)
    1 points by aronowb14 1 day ago | discuss
  7. How does a Grand Piano work? [video] (www.youtube.com)
    1 points by 0x1ceb00da 25 days ago | discuss
  8. Show HN: Panorama Markdown – Markdown dialect and editor for academic papers (github.com)
    1 points by wang_zuo 25 days ago | discuss
  9. The Sound of Inevitability (www.panoptica.com)
    15 points by WaitWaitWha 17 days ago | 17 comments
  10. Terminal apps that can make your life easier (panos.digital)
    2 points by panosdigital 14 days ago | discuss
  11. YouTuber Davie504 slapped with ridiculous copyright claim [video] (www.youtube.com)
    49 points by Panoramix 7 days ago | 8 comments
  12. I used ChatGPT to sue a Norwegian airline from New York and get $4760 (www.behind-the-enemy-lines.com)
    31 points by Panos 30 days ago | 10 comments
  13. "Hill-climbing" is Silicon Valley's latest bit of shit jargon (nudged.himynamesdave.com)
    1 points by panoramas4good 2 days ago | discuss
  14. Ask HN: Sectors that are inherently resistant to AI-ification?
    4 points by player_piano 24 days ago | 7 comments
  15. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
    246 points by btilly about 1 year ago | 141 comments
  16. Peano's Axioms (principlesofcryptography.com)
    91 points by ulugh over 1 year ago | 33 comments
  17. How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
    32 points by nill0 about 1 year ago | 10 comments
  18. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
    3 points by MJGrzymek over 1 year ago | 1 comments
  19. PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
    1 points by jmillikin over 1 year ago | discuss
  20. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu over 1 year ago | discuss
  21. Show HN: I made a tiny device for automatically recording digital pianos (jamcorder.com)
    590 points by chipweinberger almost 2 years ago | 194 comments
  22. 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 7 months ago | 171 comments
  23. Nearly all of the Google images results for "baby peacock" are AI generated (twitter.com)
    415 points by jsheard almost 2 years ago | 420 comments
  24. 60k kids have avoided peanut allergies due to 2015 advice, study finds (www.cbsnews.com)
    355 points by zdw 10 months ago | 348 comments
  25. 417-megapixel Andromeda galaxy panorama took over a decade to make (petapixel.com)
    297 points by wallflower over 1 year ago | 98 comments
  26. New mechanical panoramic film camera from Jeff Bridges (wideluxx.com)
    224 points by armadsen 4 months ago | 110 comments
  27. ICE and the Smartphone Panopticon (www.newyorker.com)
    218 points by fortran77 10 months ago | 148 comments
  28. Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)
    203 points by FinalDestiny about 1 year ago | 58 comments
  29. Peanut allergies have plummeted in children (www.nytimes.com)
    179 points by JumpCrisscross 10 months ago | 153 comments
  30. Panoramas of Star Trek Sets (mijofr.github.io)
    179 points by jfil 8 months ago | 25 comments
  31. RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023) (kzakka.com)
    142 points by bemmu over 1 year ago | 53 comments
  32. Microtonal Spiral Piano (shih1.github.io)
    127 points by phoenix_ashes 8 months ago | 20 comments
  33. AI coding and the peanut butter and jelly problem (iamcharliegraham.substack.com)
    122 points by tylerg over 1 year ago | 79 comments
  34. Going Nuts over NIST’s Standard Reference Peanut Butter (2016) (www.nist.gov)
    113 points by rbanffy over 1 year ago | 65 comments
  35. Show HN Pianoboi – displays sheet music as you play your piano (pianoboi.site)
    109 points by bcowde over 1 year ago | 25 comments
  36. Openly Licensed Streetview with Panoramax (tzovar.as)
    106 points by maelito almost 2 years ago | 31 comments
  37. Launch HN: Panora (YC S24) – Data Integration API for LLMs (github.com)
    100 points by nael_ob almost 2 years ago | 19 comments
  38. Throwable tactical camera transmits 360° panoramic thermal images (newatlas.com)
    86 points by thunderbong almost 2 years ago | 60 comments
  39. Scanned piano rolls database (www.pianorollmusic.org)
    84 points by bookofjoe about 1 year ago | 21 comments
  40. Piano Keys (www.mathpages.com)
    74 points by gametorch about 1 year ago | 69 comments
  41. Player Piano Rolls (omeka-s.library.illinois.edu)
    63 points by brudgers about 1 year ago | 44 comments
  42. Show HN: Pianoterm – Run shell commands from your Piano. A Linux CLI tool (github.com)
    61 points by vustagc 6 months ago | 21 comments
  43. Pediatricians created the peanut allergy epidemic (www.wsj.com)
    59 points by julienchastang almost 2 years ago | 73 comments
  44. Converting dash cam videos into Panoramax images (www.openstreetmap.org)
    59 points by marklit 6 months ago | 8 comments