doyougnu

6 ms·

1.
by doyougnu 18d ago
This was a talk at the FUNARCH workshop at this year’s ICFP. Here’s the livestream: https://www.youtube.com/live/c0pw1iVs_Q0?is=hwm2xa4cZOcqF5tW Well post the individual talks in the following days!
2.
by doyougnu 4mo ago
IIRC that talk of about using indices (u32) to represent data in an array. That is orthogonal to representing that information in the type system since you can just type the index
3.
Functional Programmers need to take a look at Zig(pure-systems.org)
5 points by doyougnu 5mo ago|0 comments
4.
Dear AI companies: Your rate limits are my favorite feature(pure-systems.org)
2 points by doyougnu 5mo ago|0 comments
5.
Type Theorists need to take a look at Zig(pure-systems.org)
5 points by doyougnu 6mo ago|1 comments
6.
by doyougnu 6mo ago
Some shameless self-promotion
7.
by doyougnu 7mo ago
I think this is exactly right. I've been thinking of "this time" as similar to the advent of digital spreadsheets. Spreadsheets existed for thousands of years but spreadsheet programs transformed spreadsheet work that took ho
8.
by doyougnu 7mo ago
I'm honestly shocked by this having been an Ars reader for over ten years. I miss the days when they would publish super in-depth articles on computing. Since the Conde Nast acquisition I basically only go to ars for Beth Mole's c
9.
by doyougnu 9mo ago
My recommendation: find and cultivate vision, then view the $JOB not as separate from _your_ work towards _your_ vision, but part of it. Its the part that funds you enough to continue to progress on your own plan. Here's how I think of
10.
by doyougnu 10mo ago
I've interfaced with some AI generated code and after several examples of finding subtle and yet very wrong bugs I now find that I digest code that I suspect coming from AI (or an AI loving coworker) with much much more scrutiny than I
11.
by doyougnu 10mo ago
Couldn't have said it better myself. But IIUC Andrew stated that its not a monad because it does not build up a computation and then run. Rather, its as if every function runs a `runIO#` or `runReader` every time the io parameter is us
12.
by doyougnu 10mo ago
Agreed. the Haskeller in me screams "You've just implemented the IO monad without language support".
13.
by doyougnu 10mo ago
Not a game dev. Besides profiling, I would create game scenarios that exercise certain parts of the game engine. For example, I would create a game fight scenario where the player has infinite health and the enemy just attacks super fast at
14.
by doyougnu 11mo ago
I haven't dabbled in rust since 2018, but if rust has managed to be as complicated as C++ while being a fraction of the age then I would think that would be some kind of macabre achievement in its own right.
15.
by doyougnu 11mo ago
I still like Olin Shiver's take on this: https://www.ccs.neu.edu/home/shivers/papers/why-teach-pl.pdf
16.
by doyougnu 3y ago
Does every usage site have to change? You would alter fibonacci to be: fibonacci :: (MonadLogger m, MonadState (Int, Int, Int) m) => m Int fibonacci ... and now of course all callers must support MonadLogger. But instead of usin
17.
by doyougnu 3y ago
Great! If you could open an issue and perhaps lay out what you would like to see I would be more than happy to add a chapter like this. This book should serve the community and I think you've described a good gap that the book has whic
18.
by doyougnu 3y ago
I think that is a fair assessment of that chapter. The goal of the chapter was to take a project that has never done any kind of optimization and to show an optimization engineering pass. Basically one has to be sure the implementation does
19.
by doyougnu 3y ago
A chapter dedicated to understanding laziness is indeed doable, but my target audience is Haskellers that have already read through LYAH, Real-World Haskell and perhaps UPenn's CIS 194 class; each of which cover laziness and so I want
20.
by doyougnu 3y ago
Author here! I figured it was only a matter of time before this showed up on HN after the haskell foundation announced we had moved it the HF org. If you have any recommendations then by all means please open an issue, but bear in mind that
21.
JavaScript backend merged into the Glasgow Haskell Compiler(engineering.iog.io)
12 points by doyougnu 4y ago|0 comments
22.
by doyougnu 4y ago
Hi coauthor here! Work has been steady the master project plan is tracked in this ticket: https://gitlab.haskell.org/ghc/ghc/-/issues/17957 Almost all the recent work has been performed by Dominik Petele
23.
by doyougnu 4y ago
Yea and the best part was that installing NixOS was dead easy. I followed Graham Christensen's instructions[1] and had nix create a personalized image with the latest linux kernel and some other stuff. Then I just flashed and booted fr
24.
by doyougnu 4y ago
battery life with that laptop was always better on the mac, but I regularly got 4-6 hours on that machine for years, first with Arch linux, and then with NixOS.
25.
by doyougnu 4y ago
Suspend hasn't failed me yet but I run suspend+hibernate. Trackpad seems good to me but my setup is not trackpad heavy. In fact I have a hotkey binding in xmonad that disables the track pad because everything I do is keyboard based inc
26.
by doyougnu 4y ago
I recently bought a framework laptop for a daily driver when I'm not on my desktop. For context I was running NixOS on an old 2014 macbook air, and I work on the glasgow haskell compiler in my day job so I do a lot of CPU heavy tasks.
27.
by doyougnu 5y ago
I can confirm a lot of what has already been said. I've used spacemacs since 2017, have contributed to it, and have written several private layers for it, such as a custom org layer. But I switch to Doom emacs literally two weeks ago a
28.
by doyougnu 5y ago
Clojure doesn't solve the expression problem and the expression problem tends to be trivial in dynamically typed languages. Strictly speaking the expression problem is only defined for _static_ type systems because its concerned with _
29.
by doyougnu 6y ago
I completely agree with this. That anyone defends the current employee based health care system in the US is insane to me. The perverse incentives rife in such a system alone should eliminate it in any serious discussion as a viable way to
30.
by doyougnu 6y ago
So much this. I just moved to Germany and the difference in civil servants and general infrastructure is palpable compared to the US

More ›