Top all-time · #1858
Joachim Breitner
Personal blog · joachim-breitner.deprogrammingmath
Joachim Breitner's personal blog at joachim-breitner.de covers programming and math. Since 2008, 42 different Hacker News readers have linked it 61 times, most often “Thoughts on bootstrapping GHC”. No feed was found, so read it on the site itself.
Most-linked posts?
- Thoughts on bootstrapping GHC3 people · 7 mentions · first linked 2018-12-13
- The Incredible Proof Machine3 people · 3 mentions · first linked 2015-09-24
- Finding bugs in Haskell code by proving it2 people · 2 mentions · first linked 2017-12-08
- More Thoughts on a Bootstrappable GHC (Haskell)2 people · 2 mentions · first linked 2023-04-26
- Pro-Charity Consulting2 people · 2 mentions · first linked 2023-01-08
- Pure recursively defined sets without looping in Haskell2 people · 2 mentions · first linked 2022-09-04
What Hacker News says?
Here is some background on the Haskell situation: https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_... Ada has had even less progress and I am not aware of any writeups. TL;DR: Ada and Haskell need to have compilers implemented a language that has a full source bootstrap path such as C, Go, or Rust that implement just enough features to compile the official compilers.
Comment linking /blog/802-More_thoughts_on_a_bootstrappable_GHC
on “GHC now runs in the browser”Submitted Finding bugs in Haskell code by proving it as a story · 205 points
HN discussionSVG files can refer to images for bitmap graphics, only the rectangles, text, etc would be specified as vectors. See https://www.joachim-breitner.de/blog/494-Better_PDF_screensh... for a demo.
Comment linking /blog/494-Better_PDF_screenshots_with_gtk_3
on “New Renderers for GTK”Submitted Don’t Think, Just Defunctionalize as a story · 118 points
HN discussionOh yes! At least Kobo readers are Linux and you can SSH in. You could even install another distro I believe. Some ugly hack could be rendering the display content on your machine and just sent the image over. https://github.com/koreader/koreader uses Lua so maybe one could add some bidirectional or at least PC->Reader flow of data. edit: VNC! https://www.joachim-breitner.de/blog/660-Using_my_Kobo_eBook...
Comment linking /blog/660-Using_my_Kobo_eBook_reader_as_an_external_eInk_monitor
on “Computer Vision Syndrome”Submitted Screenshots using vector graphics (gtk3 apps only) as a story · 89 points
HN discussionYou could use arbtt ( http://www.joachim-breitner.de/projects#arbtt ) and then just toss your favorite screenshot utility like ImageMagick into crontab set to fire every 10 seconds.
Comment linking /projects
on “2012 Personal Annual Report”Submitted Sliding Right into Information Theory as a story · 83 points
HN discussionRelated by name: the incredible proof machine https://www.joachim-breitner.de/blog/682-The_Incredible_Proo...
Comment linking /blog/682-The_Incredible_Proof_Machine
on “The Incredible Machine”Submitted GHC Steering Committee Retrospective as a story · 75 points
HN discussionLots of people complain about performance reasoning in Haskell being hard, which is partially true. But mostly, IMO it is simply different from doing so in C, so you need to unlearn/relearn all your performance tweaking skills. I don't agree. First, of all, the naive solution in C is often pretty fast, while the naive solution in Haskell often has obnoxious runtime properties. Then, most C optimization performance r…
Comment linking /blog/620-Constructing_a_list_in_a_Monad
on “Learn You a Haskell for Great Good (2008)”Submitted Thoughts on Bootstrapping GHC (2018) as a story · 60 points
HN discussionThe overview page works: https://www.joachim-breitner.de/blog You can scroll down to "Compose Conference talk video online" to read the article I linked to. Edit: Joachim fixed it.
Comment linking /blog
on ““One Damn Slide After Another”: PowerPoint at Every Occasion for Speech (2016)”Submitted Pure recursively defined sets without looping in Haskell as a story · 34 points
HN discussionA friend of mine made interactive slides with Haskell: https://youtu.be/2kKvVe673MA Also a blog post about it (although broken at the moment?) https://www.joachim-breitner.de/blog/729-Compose_Conference_...
Comment linking /blog/729-Compose_Conference_talk_video_online
on ““One Damn Slide After Another”: PowerPoint at Every Occasion for Speech (2016)”Submitted My contribution to XKCD’s #949 as a story · 29 points
HN discussionhttp://www.joachim-breitner.de/blog/archives/606-Real-World-... https://www.fpcomplete.com/page/case-studies
Comment linking /blog/archives/606-Real-World-Haskell-Applications.html
on “Haskell for Web Developers”Submitted The Automatic Rule-Based Time Tracker as a story · 27 points
HN discussionAn even more extreme case of this is trying to bootstrap a compiler from the first version, e.g.: http://www.joachim-breitner.de/blog/748-Thoughts_on_bootstra... """So it seems that besides GHC, only ever HBC was used to compiler GHC. HBC is a Haskell compiler where we find the sources of one random version only thanks to archive.org. Parts of it are written in C, so I looked into this: Compile HBC, use it to compil…
Comment linking /blog/748-Thoughts_on_bootstrapping_GHC
on “Software Rot (2017)”Submitted The Incredible Proof Machine as a story · 12 points
HN discussionMost of these aren't detailed but it's a start. FP complete is a startup devoted to bringing haskell into more production systems http://www.joachim-breitner.de/blog/archives/606-Real-World-... http://corp.galois.com/systems-software http://www.haskell.org/haskellwiki/Haskell_in_industry http://cufp.org/conference/schedule/2012 https://www.fpcomplete.com/business/resources/case-studies _____________ similar for scal…
Comment linking /blog/archives/606-Real-World-Haskell-Applications%20.html
on “The Evolution of a Haskell Programmer”- of · 2017-12-08
Submitted Finding bugs in Haskell code by proving it as a story · 8 points
HN discussion You can connect without https, that seems to work: http://www.joachim-breitner.de/blog/archives/494-Better-PDF-...
Comment linking /blog/archives/494-Better-PDF-screenshots-with-gtk-3.html
on “Screenshots using vector graphics (gtk3 apps only)”Submitted More Recursive Definitions as a story · 4 points
HN discussionRe: annotated screenshots, there once was a module that allowed making snapshots of GTK windows as PDFs: https://github.com/nomeata/gtk-vector-screenshot Edit: here it is in action, with selectable text: https://www.joachim-breitner.de/various/pdf_screenshot_3.pdf
Comment linking /various/pdf_screenshot_3.pdf
on “Take Better Screenshots”Submitted The Incredible Proof Machine as a story · 4 points
HN discussionI believe there was a post about this earlier that the game is solved[1]. Interesting game for those who don't know that, or who want to go through the exercise to figure out the correct strategy. [1] https://www.joachim-breitner.de/blog/archives/604-Ultimate-T...
Comment linking /blog/archives/604-Ultimate-Tic-Tac-Toe-is-always-won-by-X.html
on “Show HN: Ultimate Tic-Tac-Toe on Angular and Firebase”Submitted Thoughts on bootstrapping GHC as a story · 3 points
HN discussionFor Haskell, the libgmp stuff is being solved in GHC 9.0 https://iohk.io/en/blog/posts/2020/07/28/improving-haskells-... It is true that getting static Linux builds is nontrivial - but definitely doable [1]! But the demand is there so I'm guessing the elbow grease will follow in the coming few years :) [1] https://www.joachim-breitner.de/blog/776-Distributing_Haskel...
Comment linking /blog/776-Distributing_Haskell_programs_in_a_multi-platform_zip_file
on “Programming Language Fragility”Submitted The magic “Just do it” type class as a story · 3 points
HN discussion
