dirkt

27 ms·

241.
by dirkt 8y ago
There are more details in the original thread https://www.reddit.com/r/sysadmin/comments/9mk2o7/mri_disabl... on reddit: I discovered that the helium leakage occurred while the new magnet was being rampe
242.
by dirkt 8y ago
The submitted link can't be accessed from Europe: "Unfortunately, our website is currently unavailable in most European countries."
243.
by dirkt 8y ago
Test how many SSL connections go the extra mile and secure themselves against Man in the Middle attacks. You'll be surprised.
244.
by dirkt 8y ago
Though I have to say that [chain complexes]( https://en.wikipedia.org/wiki/Chain_complex ) and their [homotopy]( https://en.wikipedia.org/wiki/Homotopy_category_of_chain_com... ) are somewhat more dif
245.
by dirkt 8y ago
It needs especially committers with sufficient reputation on other stackexchange sites, which is the only thing holding it back right now. Maybe one should start a discussion on meta-stackexchange that the usual criteria are not a good fit
246.
by dirkt 8y ago
Yes, it's called [The Learning System]( https://www.ibm.com/it-infrastructure/z/education/master-the... ). I've done it twice, it's fun. You get the same tasks the students get, which is (on the
247.
by dirkt 8y ago
Wouldn't have worked back when I was TA ... First, I'd have been able to run it (or grade it even without running it). And yes. I've seen a lot of crappy Haskell code. I've written a good amount of that myself when I was
248.
by dirkt 8y ago
Haskell actually doesn't care by conscious choice: It's meant as a research language, and has "avoided success at all costs" (to use the tongue-in-cheek quote) to retain the freedom to play around with things. Which in t
249.
by dirkt 8y ago
The important point is not "hate", but "in public": You are free to believe whatever you want in private, you are free to talk with your friends about it in whatever way you like. But when you do this in public, with the
250.
by dirkt 9y ago
Monads are actually the "missing" control structure that encapsulates progression from stable state to stable state, and moreover allows you to combine etc. those progressions in a functional fashion. If you look at the type signa
251.
by dirkt 9y ago
Can someone explain to me why project Gutenberg has decided to block the COMPLETE site for German IPs instead of just blocking the books in question? Is this just a dick move to enrage people and get attention? And they could have blocked j
252.
by dirkt 9y ago
Have a look at Risc V [1], in the meantime backed by quite a few biggish companies [2] [1] https://riscv.org/ [2] http://www.tomshardware.com/news/big-tech-players-risc-v-arc...
253.
by dirkt 9y ago
> Unfortunately, I have also had to recompile some packages to remove systemd dependencies as well. And I think that's exactly what Devuan does - they recompiled/rebuild the packages with funny dependencies that caused systemd
254.
by dirkt 9y ago
I tried to run sysvinit on Debian for a long time. What happened was that often when I tried to install something, I got systemd back, and sysvinit thrown out, via some funny dependencies. Maybe I was doing something wrong. Maybe you just d
255.
by dirkt 9y ago
It's based on Debian, and the main problem with Debian and systemd is that systemd dependencies have spread everywhere, and it's really hard to install any systemd alternative without accidentally pulling in systemd, too. I know b
256.
by dirkt 9y ago
It's an interesting question, maybe ask at the Mill forum: https://millcomputing.com/forum/the-mill/ Based on my limited understanding of the Mill I'd say (1) (simple_ PHIs are implemented by the pick-ph
257.
by dirkt 9y ago
What kind of Category Theory are you talking about? [Category Theory]( https://plato.stanford.edu/entries/category-theory/ ) in the mathematical sense, and in the sense that it can be used to describe Lambda Calculi
258.
by dirkt 9y ago
No, Eugenio Moggi realized that you can use Monads to represent IO etc. in languages like Haskell, and that was in the paper "Computational lambda-calculus and monads" (1989). The first person I can think of to make a connection b
259.
by dirkt 10y ago
> I don't trust anyone, but I only want Apple to hold the keys, not all random repair stores. It is a FAR worse idea to force Apple to provide security bypasses. Each customer should hold a personalized key to his own hardware. Th
260.
by dirkt 10y ago
I've shared by real name on Usenet for decades, nobody got crazy ideas (though I've encountered quite a few crazy people). "Calling my bank and doing something silly" doesn't work in the country in live in. There&#x
261.
by dirkt 10y ago
If your USB LTE Modem is a Quectel (or maybe Sierra Wireless) MDM9615 based modem, yes. Otherwise, no.
262.
by dirkt 11y ago
There was a link to a paper giving a retrospective on Oberon on HN some days ago, and that made me want to play around with it. After trying an older now unsupoorted variant from the ETH site which segfaulted, I downloaded Oberon Linux Revi
263.
by dirkt 11y ago
The Tagesschau yesterday ( https://www.tagesschau.de/inland/maas-range-101.html ) made it very clear that the Generalbundesanwalt is a "political public official" and as such (unlike judges, who are independent
264.
by dirkt 11y ago
A tree is a natural structure, because often you respond to another post. A graph would mean responding to several posts, which doesn't happen that often. Usenet discussions have an additional structure on top of the answer-tree: You c
265.
by dirkt 11y ago
TeX (and LaTex) is pretty old, and designed to run on machines much less powerful than what we have today. Back then, I've used LaTeX on MSDOS PCs with 640 kB of memory. And the original TeX was written in 1978 for a PDP-10. Many distr
266.
by dirkt 11y ago
Continuity in the topological sense implies continuity by limits. For topological spaces with a countable (local) basis, the converse is also true. So, in general it's not equivalent. For the reals etc., it is.