Hacker News
- Solving a puzzle using the Isabelle proof assistant https://gist.github.com/jmoy/59c0ef25196716f1a0f4fd0efae6e099 16 comments
- Using Isabelle (a non-dependently typed proof assistant) to verify Haskell code https://thehighergeometer.wordpress.com/2024/09/13/type-theoretic-considerations-in-functional-language-software-development/ 6 comments haskell
- Giovanni Soldini e l’incredibile salvataggio di Isabelle Autissier https://www.youtube.com/watch?v=J9LRJQwKh84 6 comments italia
- "Large-Scale Formal Proof for the Working Mathematician", by Lawrence Paulson, creator of the Isabelle theorem prover. "Six years of intensive formalisation activity seem to show that even the most advanced results...can be formalised using the tools available today." [abstract + link to PDF, 13pp] https://arxiv.org/abs/2305.14407 11 comments math
- F1 hires Isabelle Stewart for new Head of Original Content role https://www.sportsbusinessjournal.com/Daily/Issues/2022/11/08/People-and-Pop-Culture/F1-Isabelle-Stewart-Head-of-Original-Content.aspx 39 comments formula1
- Type Theory Forall - #24 The History of Isabelle https://www.typetheoryforall.com/2022/10/06/24-Larry-Paulson.html 7 comments programminglanguages
- [Sapurji] Wow. Isabelle Charest is giving the Q an ultimatum - either impose tougher rules on fighting (automatic ejection + suspension) or become an unsanctioned league. https://twitter.com/sunayas/status/1512493879295102978 111 comments hockey
- [Leaming] Isabelle: “I remember when I used to be stressed covering the Washington Capitals.” Looks at me…pause…bursted out laughing. https://twitter.com/wleaming/status/1496882460235378690 5 comments hockey
- An altcoin called starlink rallied as Elon Musk's company launched 53 internet satellites into orbit Isabelle Lee Nov 15, 2021, 12:32 PM https://www.businessinsider.com/starlink-altcoin-starl-elon-musk-spacex-internet-satellites-crypto-2021-11?amp 4 comments cryptocurrency
- Gaetz hires NY lawyers Marc Mukasey, Isabelle Kirshner to fight sex trafficking probe https://www.nydailynews.com/news/politics/us-elections-government/ny-gaetz-hires-ny-lawyers-sex-trafficking-probe-20210409-nt2266sdebeononwvy76n2yes4-story.html 14 comments politics
- Gail Crampton, 53, from Wombourne, wrote the book, Rodney Meadow-Hopper the hare who didn't care, to encourage children to speak out and be honest about how they are feeling after her daughter Isabelle, 13, struggled with Crohn's Disease. https://www.expressandstar.com/entertainment/wolverhampton-entertainment/2020/08/04/mothers-book-raises-awareness-of-invisible-illnesses/ 88 comments books
- Correctness proofs of distributed systems with Isabelle https://www.youtube.com/watch?v=7w4KC6i9Yac 3 comments programming
- New research shows the more women on a company's board, the more market value is lost. Authors Isabelle Solal and Kaisa Snellman, both of INSEAD, looked at 14 years of panel data from U.S. public firms and saw that firms with more female directors were penalized https://www.eurekalert.org/pub_releases/2019-11/ifor-nrs111219.php 3 comments science
- College scam: CEO’s daughter Isabelle Henriquez ‘gloated’ about cheating on SATs https://www.news.com.au/world/north-america/ceos-daughter-isabelle-henriquez-allegedly-gloated-about-cheating-her-way-into-college/news-story/8ebb396d3a2615f3a182333f68d1f38e 7 comments worldnews
- Georgetown Rich Kid ‘Gloated’ After Allegedly Cheating SATs — Isabelle Henriquez is one of the only students accused of willingly participating in the fraud—and now her degree may be in jeopardy. https://www.thedailybeast.com/georgetown-rich-kid-isabelle-henriquez-gloated-after-allegedly-cheating-sats 9 comments politics
- Isabelle Khurshudyan wins 2018 Red Fisher Award https://www.thephwa.com/news_article/show/955131 5 comments hockey
- AMA Announcement: Isabelle Khurshudyan, The Washington Post - Monday 10:30AM ET / 7:30 AM PT https://twitter.com/ikhurshudyan 19 comments hockey
- Isabelle Khurshudyan: No DoPS hearing coming for Tom Wilson (or Josh Anderson). Caps might have caught a break with insufficient TV angles https://twitter.com/ikhurshudyan/status/984828455790546944 261 comments hockey
- Formalizing Cardano in Isabelle https://bitbucket.org/wkawin/ouroboros/src 5 comments haskell
- "Computational Logic: Its Origins and Applications", by Lawrence Paulson, creator of the Isabelle theorem prover [abstract + link to PDF] https://arxiv.org/abs/1712.04375 3 comments math
- Isabelle Khurshudyan: Don't think the return is nailed down yet. I mean, the Capitals don't have a 2018 second-round pick. It was given up in Eller trade. https://twitter.com/ikhurshudyan/status/836415878350716928 69 comments hockey
- A French woman who underwent the world’s first partial face transplant has died in hospital aged 49 after a long illness. Isabelle Dinoire, who lost her mouth and nose after a dog bite, made medical history in 2005 https://amp.theguardian.com/world/2016/sep/06/woman-who-received-worlds-first-partial-face-transplant-dies-isabelle-dinoire 12 comments worldnews
- First face transplant patient Isabelle Dinoire dies in France - BBC News http://www.bbc.com/news/world-europe-37290986 5 comments europe
- Isabelle Khurshudyan on Twitter: "Goaltender Dan Ellis is listed on the Caps' official roster. Told he's here for precautionary reasons." https://twitter.com/ikhurshudyan/status/722903543640752128 8 comments hockey
- The Imperfect Stitch Compiler (ISC) interacts seamlessly with Haskell and verification engines including SMT solvers, Coq, and Isabelle https://galois.com/blog/2016/04/galois-announces-isc-the-imperfect-stitch-compiler/ 3 comments haskell
- Isabelle Khurshudyan on Twitter: "Trotz says "no way" Richards plays tomorrow. If Johansson suspended, someone will be called up." https://twitter.com/ikhurshudyan/status/685517425966755840 9 comments hockey
- French hostage Isabelle Prime freed in Yemen http://news.yahoo.com/french-hostage-freed-yemen-arrives-oman-state-media-072517859.html 5 comments europe
- Isabelle Caro dies aged 28 http://www.bbc.co.uk/news/world-europe-12091475 3 comments reddit.com