Hacker News
- GHC Steering Committee Retrospective https://www.joachim-breitner.de/blog/811-GHC_Steering_Committee_Retrospective 4 comments
- Sliding Right into Information Theory http://www.joachim-breitner.de/blog/747-Sliding_Right_into_Information_Theory 8 comments
- Finding bugs in Haskell code by proving it https://www.joachim-breitner.de/blog/734-Finding_bugs_in_Haskell_code_by_proving_it 44 comments
- The Automatic Rule-Based Time Tracker http://www.joachim-breitner.de/blog/archives/336-The-Automatic-Rule-Based-Time-Tracker.html 4 comments
Lobsters
- Pro-charity consulting https://www.joachim-breitner.de/blog/798-Pro-charity_consulting 4 comments finance , philosophy , practices
- The magic “Just do it” type class http://www.joachim-breitner.de/blog/735-The_magic_%E2%80%9CJust_do_it%E2%80%9D_type_class 7 comments haskell
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-The_Incredible_Proof_Machine 2 comments haskell , programming
- rec-def: Behind the scenes https://www.joachim-breitner.de/blog/793-rec-def__Behind_the_scenes 7 comments haskell
- Pure recursively defined sets without looping https://www.joachim-breitner.de/blog/792-More_recursive_definitions 14 comments haskell
- Don't think, just defunctionalize https://www.joachim-breitner.de/blog/778-don%E2%80%99t_think,_just_defunctionalize 25 comments haskell
- Multi-platform buids, using using nix, haskell.nix, cachix, github actions https://www.joachim-breitner.de/blog/776-distributing_haskell_programs_in_a_multi-platform_zip_file 3 comments haskell
- Debugging performance issues (blog post series) https://www.joachim-breitner.de/blog/758 22 comments haskell
- Teaching to read Haskell http://www.joachim-breitner.de/blog/750-teaching_to_read_haskell 3 comments haskell
- Finding bugs in Haskell code by proving it https://www.joachim-breitner.de/blog/734-finding_bugs_in_haskell_code_by_proving_it 110 comments programming
- Finding bugs in Haskell code by proving it https://www.joachim-breitner.de/blog/734-finding_bugs_in_haskell_code_by_proving_it 13 comments haskell
- hs-to-coq successfully used on (small amounts) of real code; bugs found http://www.joachim-breitner.de/blog/734-Finding_bugs_in_Haskell_code_by_proving_it 13 comments coq
- Strategies for readability enhancement and parenthesis reduction https://www.joachim-breitner.de/blog/730-Less_parentheses 12 comments haskell
- New Syntax ideas for less parentheses http://www.joachim-breitner.de/blog/730-less_parentheses 84 comments haskell
- Advice on media player for windows 10 http://www.joachim-breitner.de/blog/717-why_prove_programs_equivalent_when_your_compiler_can_do_that_for_you_ 17 comments ocaml
- Pescara president's cars burned down overnight http://www.joachim-breitner.de/blog/717-why_prove_programs_equivalent_when_your_compiler_can_do_that_for_you_ 17 comments haskell
- Moar language extensions proposals. Now: Abstracting over a group of functions. http://www.joachim-breitner.de/blog/715-global_almost-constants_for_haskell 36 comments haskell
- an example usecase where Applicative is elegant and monad would not work http://www.joachim-breitner.de/blog/710-showcasing_applicative 36 comments haskell
- Haskell course at UPenn: The new CIS-194 https://www.joachim-breitner.de/blog/705-the_new_cis-194 3 comments haskell
- Constructing a list in a monad - revisited http://www.joachim-breitner.de/blog/684-constructing_a_list_in_a_monad_revisited 6 comments haskell
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-the_incredible_proof_machine 7 comments programming
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-the_incredible_proof_machine 65 comments haskell
- Can one recommend Debian stable to Desktop users? http://www.joachim-breitner.de/blog/665-Can_one_recommend_Debian_stable_to_Desktop_users_ 42 comments debian
- ghc-heap-view for GHC 7.8 http://www.joachim-breitner.de/blog/662-ghc-heap-view_for_ghc_7_8 3 comments haskell
- nomeata: Does list fusion work? http://www.joachim-breitner.de/blog/archives/649-does-list-fusion-work.html 17 comments haskell
- Call Arity [pdf]: A new analysis implemented in GHC http://www.joachim-breitner.de/publications/callarity-tfp.pdf 6 comments haskell
- Adding safe coercions to Haskell http://www.joachim-breitner.de/blog/archives/610-adding-safe-coercions-to-haskell.html 23 comments haskell
- On taking the last n elements of a list http://www.joachim-breitner.de/blog/archives/600-on-taking-the-last-n-elements-of-a-list.html 38 comments haskell
- Evaluation-State Assertions in Haskell https://www.joachim-breitner.de/blog/archives/590-evaluation-state-assertions-in-haskell.html 6 comments haskell
- GHC 7.4.1 speeds up arbtt by a factor of 22 http://www.joachim-breitner.de/blog/archives/546-ghc-7.4.1-speeds-up-arbtt-by-a-factor-of-22.html 18 comments haskell
- PDF/SVG screenshots with Gtk3.0 | Selectable texts from screenshots, hooray! https://www.joachim-breitner.de/blog/archives/494-better-pdf-screenshots-with-gtk-3.html 41 comments linux
- Bejeweled AI in Haskell https://www.joachim-breitner.de/blog/archives/324-bejeweled-ai-in-haskell.html 3 comments haskell
- Pausable IO actions for better GUI responsiveness http://www.joachim-breitner.de/blog/archives/291-pausable-io-actions-for-better-gui-responsiveness.html 4 comments haskell
- FrakView: An Haskell Renderer for Iterated Function Systems http://www.joachim-breitner.de/blog/archives/292-guid.html 2 comments programming
- Haskell: A coroutine monad to improve GUI responsiveness http://www.joachim-breitner.de/blog/archives/291-pausable-io-actions-for-better-gui-responsiveness.html 9 comments programming
- FourFours in Haskell http://www.joachim-breitner.de/blog/archives/210-fourfours-in-haskell.html 2 comments programming