Rochus

26 ms·

571.
by Rochus 1y ago
Or could it be that the fact that LaTeX is a layer on top of TeX is a cause of additional complexity and that you still have to deal with TeX, so the abstraction is neither complete nor opaque? I assume in Typst they don't (yet) have t
572.
by Rochus 1y ago
> I've been using LaTeX for over ten years and I still wouldn't say that I "know" TeX in any meaningful way. I was not only productive but proficient in Typst in a day or two. That's an interesting insight. Do
573.
by Rochus 1y ago
> Then tried to generate interesting music, failed spectacularly. You can upload music and let suno arrange it in different styles. I'm a musician myself and am also interested in "interesting" music. I made experiments
574.
by Rochus 1y ago
Interesting article, thanks for sharing. > Niklaus Wirth uses “discriminated union” why Pascal doesn’t have sum types. In the referenced paper (Wirth, 1975, An assessment of the programming language PASCAL, ACM), Wirth refers to the &q
575.
by Rochus 1y ago
Genode looks interesting. As far as I understand it uses the sel4 kernel? Is it really in development since 2008?
576.
by Rochus 1y ago
Well. Reminds me of " Try to be nice to people, avoid eating fat, read a good book every now and then, get some walking in, and try to live together in peace and harmony with people of all creeds and nations " from Monty Python&#x
577.
by Rochus 1y ago
The CrossLine outliner ( https://github.com/rochus-keller/crossline/ ) has transclusion and backlinks as well. Very useful concept indeed.
578.
by Rochus 1y ago
Ecco Pro was yet another such extremely useful tool. It started as a 16 bit app in 1993 and I used the 32 bit version until about 2009 (and then implemented my own https://github.com/rochus-keller/crossline/ which
579.
by Rochus 1y ago
This is a great feature about the dark side of current technological developments for musicians. I was not aware of these risks and appreciate that the author has gone to great lengths to demonstrate the problems in practice.
580.
by Rochus 1y ago
Very interesting article, thanks for sharing. I'm still considering using SLJIT for my Micron interpreter ( https://github.com/rochus-keller/Micron ), which is a stack machine as well; but given the relatively low s
581.
by Rochus 1y ago
66% of Mac users are female, around 55.7% of Mac users in 2024 are aged 18-34, macOS has a 29.62% share of the U.S., but only 15.1% of the global PC market Macs still maintain strong pedigree in graphic design and visual arts (from https:&
582.
by Rochus 1y ago
You can still use Gnome 2 with e.g. the Mate desktop. I use it every day and it works good enough (though it has some bugs in the file manager).
583.
by Rochus 1y ago
Even Mate is more usable, and to do decent work on a Mac I need a Lenovo Thinkpad external keyboard, which is much better than anything Apple has to offer and it even has a trackpoint and two mouse buttons.
584.
by Rochus 1y ago
I have also implemented these and other simplifications in my languages, and I don't think it makes them any less readable. Looking forward to seeing your final design.
585.
by Rochus 1y ago
Supporting lowercase keywords and making (at least some) semicolons optional already makes Oberon much more attractive ;-)
586.
by Rochus 1y ago
> the documentation mainly consists of the language grammar :) It's a bit more than just the grammar, but I agree it's generally underspecified.
587.
by Rochus 1y ago
This design decision makes compiler implementation easier and especially enables single-pass compilation. Later Oberon versions at least supported more than one declaration section in arbitrary order, but still no in-place declarations.
588.
by Rochus 1y ago
Remarkable that Bill is interested in a version of Oberon-07. It's even more minimalistic than the previous Oberon versions. I spent a lot of time with the original Oberon language versions and experimented with extensions to make the
589.
by Rochus 1y ago
The challenges described in the article are primarily distributed systems problems, not inherent to all event-driven architectures.
590.
by Rochus 1y ago
Impressive achievements, congrats! You said that your microkernel is "influenced by Zircon". Did you also study other architectures like e.g. sel4, Minix or openQNX? What do you consider the important design choices in your microk
591.
by Rochus 1y ago
It's remarkable that they support SAL; is actually anyone using it, or do people mostly use Lisp instead?
592.
by Rochus 1y ago
Cool, but why use Clang (and not e.g. GCC 4.7 which is written in C, supports all of Orthodox C++, and is much faster than Clang with very good compilation speed and optimization capabilities) in the first place?
593.
by Rochus 1y ago
You can select the model. I very much appreciate the Claude Sonnet models which are very good and rational discussion partners, responding to arguments in detail and critically, allowing for the dialectical exploration of complex topics. I
594.
by Rochus 1y ago
Their inner demons?
595.
by Rochus 1y ago
I don't know where your confidence or assumptions come from. Do you work for Anthropic? My prompts for the code generators included an 1.2kLOC code file plus detailed instructions (as described elsewhere), with more details during the
596.
by Rochus 1y ago
I'm pretty good at prompting and I successfully use Perplexity (mostly with Claude Sonnet 4) to develop concepts, sometimes with the same session expanded over several days. I think the user interface is much superior over Claude.ai. M
597.
by Rochus 1y ago
> it saves me time in looking up the documentation I have a Perplexity subscription which I heavily use for such purpose, just asking how something works or should be used, with a response just on the point and with examples. Very usef
598.
by Rochus 1y ago
I just tried to use it for something I consider it to provide the most benefit (for my case). Being able to fully delegate a complicated (and boring) part to a machine would give me more time for the things I'm really interested in. I
599.
by Rochus 1y ago
In what specific programming language/toolchain/technology is your experience? Why do you think that "everybody can tell that chat gpt wrote your code"? Meanwhile I looked at a lot of LLM generated code in different lang
600.
by Rochus 1y ago
Do you mean Claude code should fail? Why?

More ›