tux1968

13 ms·

181.
Monads in Modern C++(youtube.com)
1 points by tux1968 3y ago|0 comments
182.
by tux1968 3y ago
> Private jets since they are a little minority does not count except for PR/emotions (no, I do not have one). They do count. It's incredibly important that elites/leaders have skin in the game, and live by the same rule
183.
by tux1968 3y ago
The FAQ has some interesting entries: Can I use Notcurses in my closed-source program? Notcurses is licensed under Apache2, a demonstration that I have transcended your petty world of material goods, fiat currencies, and closed sources. Imp
184.
by tux1968 3y ago
Hard disagree. There's little reason to search the text of commit messages to find out what changed. There are many git tools to find out which commits affected parts of the code you're interested in. Whereas, trying to find tha
185.
by tux1968 3y ago
I never considered the idea that it was atypical, but I read full commit message text all the time. There are many different ways to drill down into a commit, and then read the entire commit once you know it's relevant. Even doing a
186.
by tux1968 3y ago
Yes: https://github.com/equalsraf/neovim-qt There are quite a few GUI front-ends options available: https://github.com/neovim/neovim/wiki/Related-projects#gui
187.
Google's AI Makes Stunning Progress with Logical Reasoning(youtube.com)
5 points by tux1968 3y ago|0 comments
188.
by tux1968 3y ago
Christopher Hitchens yelling "fire!" in a crowded theater... https://youtu.be/zDap-K6GmL0
189.
by tux1968 3y ago
man git-config, shows that so far there aren't many conditions available for testing. The location of the .git directory (as in the article). The name of the currently checked out branch. Or a pattern match against any remote URL in
190.
How An ASML Lithography Machine Moves a Wafer [video](youtube.com)
183 points by tux1968 3y ago|47 comments
191.
by tux1968 3y ago
For whatever reason, the PDF that is linked in that email, is temporarily unavailable, so here's an archived link: https://web.archive.org/web/20160312012246/http://www.cs.mip...
192.
by tux1968 3y ago
Being "pretty" seems to be an editorial comment from the person who posted this link. At least, I don't see that claim being prominent anywhere in the Github repo. The goals of the project are rather to extricate the text f
193.
by tux1968 3y ago
Direct link to the current release of pdf, generated from his work so far: https://github.com/guidoism/tex-oberon/releases/download/v0....
194.
by tux1968 3y ago
I'm not sure why you weighed in on the subject then, other than to advance your own personal preference. At least, I mistook it as an objection to Rocky Linux's very existence. As long as what they're doing is legal, then l
195.
by tux1968 3y ago
Okay, so the source is 100% freely available. And with that source, and nothing else, you are able to regenerate RHEL binaries. Rocky Linux contends they are not doing anything illegal in the methods used to obtain the source code (ie. leg
196.
by tux1968 3y ago
But that is pretty much exactly the contention of Rocky Linux. Well actually, they don't explicitly accuse Red Hat of unjustly locking down the source code, just that there are now some extra hurdles required to legally obtain it. The
197.
by tux1968 3y ago
> They strictly want to take what Red Hat sells and rebuild and distribute it for free. I think this is an unfair framing. Rather, they want to take all the GPL source code that Red Hat is obligated to make available, and distribute it
198.
MagLev Switch MX – 3D printable hall-effect keyboard switches(github.com)
4 points by tux1968 3y ago|0 comments
199.
Std: Linalg: Linear Algebra Coming to Standard C++ – Mark Hoemmen – CppCon 2023 [video](youtube.com)
14 points by tux1968 3y ago|5 comments
200.
Interactive Shell Screencasts(oilshell.org)
3 points by tux1968 3y ago|0 comments
201.
The Rise of Unix. The Seeds of Its Fall(youtube.com)
6 points by tux1968 3y ago|0 comments
202.
Jonathan Blow on Modern Graphics Programming(youtube.com)
2 points by tux1968 3y ago|0 comments
203.
by tux1968 3y ago
For those who don't notice straight away, the date on the article is April 1st.
204.
by tux1968 3y ago
> Unfortunately it never made it into the mainline kernel. That is unfortunate, and a bit surprising given how positively both Linus Torvalds, and Jens Axboe, responded to the patch.
205.
by tux1968 3y ago
Your comment and sentiment is wildly inappropriate. You don't even bother to raise an accusation, just smear a person's character. We should all expect better from this forum.
206.
by tux1968 3y ago
What's more likely? An intermittent network issue, the logging service being momentarily down, or a local crash that only affects your buffering queue? If an OOM happens, all bets are off anyway, since it has as much likelihood of tak
207.
by tux1968 3y ago
That's unavoidable if the logging service is down when your server crashes. Having a local queue doesn't mean logging to the service is delayed, it can be sent immediately. All the local queue does is give you some resiliency, by
208.
by tux1968 3y ago
Agreed. One size does not fit all. It's just the hope that options like Khan Academy are made truly viable for those who are well served by such options.
209.
by tux1968 3y ago
> there will no video... There will likely be video. Visual presentations can be an important part of learning. Perhaps it will be generated JIT, but likely AOT compilation of video will represent a useful savings in processing power.
210.
by tux1968 3y ago
For those who prefer to read the script, of course. For those who benefit from a much more multimedia presentation, the generated video and associated generated items, will be preferable.

More ›