cptwunderlich

7 ms·

1.
by cptwunderlich 2y ago
There is also [Learn Haskell by building a blog generator]( https://learn-haskell.blog/ ) - that might be interesting to you.
2.
by cptwunderlich 2y ago
The Haskell Language Server (LSP) always needs help: https://github.com/haskell/haskell-language-server/issues?q=... As for GHC compile times... hard to say. The compiler does do a lot of things. Type checking and
3.
by cptwunderlich 4y ago
Gosh, I really wish GCC had more/better documentation. Especially big picture stuff. E.g., I would like to know what register allocation algorithms it uses (and how certain details are handled), but looking at that code I noped out...
4.
by cptwunderlich 5y ago
This is very fundamental not only in maths but in theoretical computer science in general. Even to prove how "hard" a problem is. E.g. look into (Turing/many-one) reductions [1] Many problems can be reduced to SAT and then yo
5.
by cptwunderlich 5y ago
Uff, I started working part-time pretty soon after starting my bachelors and have studied and worked part-time for many years. It's terrible. Worst of both worlds. Now I quit my job and trying to finish my master's thesis. What su
6.
by cptwunderlich 5y ago
That's not really true. There was a huge outcry against the removal of (/=). There are still lots of warts in Prelude and base (head being partial, foldl is in prelude but not foldl'). So yeah, language evolution is still a h
7.
Hacking on GHC – First Steps(cptwunderlich.github.io)
1 points by cptwunderlich 5y ago|0 comments
8.
by cptwunderlich 6y ago
Not yet, but it's a work in progress: https://discuss.ocaml.org/t/multicore-ocaml-february-2021/74...
9.
by cptwunderlich 6y ago
Related: Potree WebGL point cloud renderer https://potree.github.io/
10.
by cptwunderlich 6y ago
Uff, φ is all sold out :smh:
11.
by cptwunderlich 6y ago
Relevant: "Hillel Wayne is Designing Distributed Systems with TLA+" https://www.youtube.com/watch?v=qubS_wGgwO0
12.
by cptwunderlich 6y ago
FYI there was a proposal for a "Haskell 2021 Language" Extensions (similar to Haskell 98 and 2010), which was approved. This enables a bunch of extensions (and I guess will become default): https://github.com/ghc-p
13.
by cptwunderlich 6y ago
What, since when is GCC implemented in C++? I don't see any of that: https://github.com/gcc-mirror/gcc Maybe in libstdc++, but what else would you use there. I wanted to know what register allocation algorithms GC
14.
by cptwunderlich 6y ago
Yeah, well, Docker doesn't currently work so smoothly on Apple Silicon: https://github.com/docker/for-mac/issues/4733
15.
by cptwunderlich 6y ago
And layers of abstraction make it worse. Devs don't know SQL because Hibernate, now new devs rely on the "auto-magic" of Spring Data JPA and don't now Hibernate...
16.
by cptwunderlich 6y ago
That's different. Shift work - also around the clock - is allowed, as long as the individual worker's rest times are respected. The point being that there are three shifts of each 8 hours, not one worker works 24 hours.
17.
by cptwunderlich 6y ago
Here the ticket: https://gitlab.haskell.org/ghc/ghc/-/issues/18599
18.
by cptwunderlich 6y ago
There have been some attempts for localized programming languages. In fact, e.g., MS Excel Macros are localized (e.g., "SUMME()" in german instead of "SUM()"). There is even a Wikipedia page: https://en.wikipe
19.
by cptwunderlich 6y ago
Isn't the biggest issue that alternative Python implementations (pyston, pypy) have to implement all the quirks of CPython and compatibility with C-Extensions? Since there is no written standard and libraries rely on CPython behavior.
20.
by cptwunderlich 6y ago
Oh man, I'm really interested in TTS (for rarer languages). Do you have any pointers or good resources to share?
21.
by cptwunderlich 6y ago
Or this one, which I think is the exact same recipe by the same guy, but made in the oven: https://www.youtube.com/watch?v=Cq90lUQUCUo I really love his accent xD Reminds me of my semester in Naples <3
22.
by cptwunderlich 6y ago
I've tried jitsi for a group chat with friends, but the CPU usage went to the roof and we had other problems too. Apparently that's an issue with Firefox, as I've learned here. Anyway, we were using talky.io, which is also a
23.
by cptwunderlich 7y ago
And you trust a message from an unknown source? You can't simply memcpy according to some length indicator, that's just not safe. You still have to parse and validate.
24.
by cptwunderlich 7y ago
Since the author, russjones, seems to be here, I'd like to ask a question regarding writing the actual BPF programs. I've been writing a term paper about BPF verification, the in-kernel verifier and research like PREVAIL [1], so I
25.
by cptwunderlich 7y ago
I also wanted to congratualte you for your effors. I'm a daily and long time user of Duolingo and thought of libre alternatives for a while. I'd agree with some sentiments in this comment section, that you might want to find a nic
26.
by cptwunderlich 7y ago
I don't think there is anything comparable OSS wise. Creating such an alternative wouldn't only be very difficutl tech-wise, but someone would also have to create the content. Anyway, I've been using Duolingo since ca. 2014 a
27.
by cptwunderlich 7y ago
You can search for a language on Netflix though, e.g., search for "Italian" and it will show several tags next to "Explore titles related to", like "Italian-languae Movies & TV".
28.
by cptwunderlich 7y ago
FYI, this was in Austria, the BVT is an Austrian agency, this website is on an .AT domain and he writes in his about page that he is a Texan living in Austria =)
29.
by cptwunderlich 7y ago
No, this was in Austria, not Germany!
30.
by cptwunderlich 7y ago
He is very right about how many tools and sites have problems with RTL (right-to-left) text. And don't get me started on mixing LTR and RTL text.

More ›