ogogmad

39 ms·

751.
by ogogmad 4y ago
The problem is they've been aware of this very serious bug for more than a year, and haven't tried informing their users. So "Protonmail" in this context refers to the business, and the issues surrounding their responsib
752.
by ogogmad 4y ago
Can Acme be made to provide code-completion / Intellisense type features, similar to what Java and C# programmers expect? Can it provide a decent REPL, like iPython?
753.
by ogogmad 4y ago
Thanks. Your comments have been helpful.
754.
by ogogmad 4y ago
This reminds me of the circuit notation used in quantum computing. They serve different purposes though: The quantum circuits serve to describe unitary matrices by direct sum and matrix multiplciation . The TND diagrams serve to describe
755.
Matrices as Tensor Network Diagrams(math3ma.com)
1 points by ogogmad 4y ago|1 comments
756.
by ogogmad 4y ago
I'm a noob to this. Basic question: Why can't you just send SQL queries to the database, instead of needing to learn an HTTP-based API with lots of verbs? Seems like needless indirection.
757.
by ogogmad 4y ago
The creeping barrage was "creeping" in some sense. This is what I don't get. Surely, it would've been enough to aim it at the opposing trench, and not have it "creep up" at all. I feel like every explanation I&
758.
by ogogmad 4y ago
> But anyone fool enough to be standing out during a barrage would be killed I already read this before I asked. Where was the artillery aimed? Was it aimed over the entire area between the advancing line of troops and the opposing trenc
759.
by ogogmad 4y ago
> The creeping barrage of artillery fire suppresses the enemy so the infantry can charge How?
760.
by ogogmad 4y ago
> Battlefield mortality was exacerbated by commanders’ fixation on 19th century tactics. This is a cliche, and it doesn't explain the tactics. If that were the case, then surely there would've been an advantage to be gained for
761.
by ogogmad 4y ago
Here's my question: I'm wondering why the shells were made to explode directly in front of the advancing troops. There were no targets there, except for barbed wire. Did the exploding shells conceal the advancing troops? But then
762.
by ogogmad 4y ago
Is there a game that helps you understand WW1 era battle tactics better? I find discussion of tactics in that era confusing - like the creeping barrage.
763.
by ogogmad 4y ago
I recommend trying out Asciidoc: https://asciidoc.org/ The spec is fairly comprehensive. It's a lightweight markup language like Markdown. It has decent editor support.
764.
Asciidoc(asciidoc.org)
3 points by ogogmad 4y ago|0 comments
765.
by ogogmad 4y ago
I just figured out how to get the Asciidoc plugin in VScode to display Latex formulas. Asciidoc might be it. It's fairly comprehensive. That, or Org-mode -- but then you have to learn Emacs.
766.
by ogogmad 4y ago
What DSLs might someone make today? And when should they be libraries instead? [edit] There was a recent example of a constant-time C-like programming language: https://news.ycombinator.com/item?id=33308037
767.
by ogogmad 4y ago
I imagine that's the right way to do it. Treating a linear map as a table of numbers is too concrete, and there are far too many conventions for how to do it. Abstractly, it's a type-(1,1) tensor, which is naturally isomorphic to
768.
by ogogmad 4y ago
In set theory, everything is a set, including functions. Weirdly enough, even there, there are reasons to consider different encodings of the same object, like Scott's trick vs Von Neumann encoding.
769.
by ogogmad 4y ago
Missed one: On a computer, everything is a binary string. It's zeros and ones all the way down. While I think it simplifies the electrical engineering in that it provides consistency*, I don't think it provides a good interface. T
770.
A London Accent from the 14th to the 21st Centuries(youtube.com)
2 points by ogogmad 4y ago|0 comments
771.
by ogogmad 4y ago
A language like this one can be used to develop cryptography libraries like OpenSSL. If two documents have the same length, but differ in the time it takes to encrypt them, then their encryption times leak information about their contents.
772.
by ogogmad 4y ago
I don't know. It seems to me Elixir requires a new and rather restrictive programming paradigm. For me, that's even worse than being overengineered.
773.
by ogogmad 4y ago
I thought Python couldn't multithread because of GIL? I understood from the article that async derives all its benefit from certain OS-level operations which don't need to run in a coroutine, like reading from a network socket or
774.
But why is proof by contradiction non-constructive?(xorshammer.com)
1 points by ogogmad 4y ago|0 comments
775.
by ogogmad 4y ago
Very interesting comment. What older software should devs know about? My problem with Make and similar tools is I don't want to learn more ad-hoc syntax to accomplish something nearly trivial. But I don't know if there's any
776.
by ogogmad 4y ago
I hope I'm not being pedantic here, so please forgive me. Didn't interest rates go to zero after 2008? So that's 14 years. I guess 8 years before that there was also Dot Com. Are you talking about interest rates? Thanks. Even
777.
by ogogmad 4y ago
This example is discontinuous, so it's not interesting. Discontinuous functions f:R->R or f:CR->CR (where CR means Computable Reals) are always not computable.
778.
by ogogmad 4y ago
This is what people here do not understand: This function is "natural" because it's a continuous function over R, which is not defined by explicitly referencing computability. Certainly you can come up with less interesting e
779.
by ogogmad 4y ago
> That may be a false pre-election leak, but the current U.S. policy of repelling every country on the planet and treating Europe as vassals will backfire eventually. I live in a European country. While I love to shit on the US as much a
780.
by ogogmad 4y ago
Default KDE does more out of the box, and is very usable. Resource usage seems OK. I recommend it over Gnome. The only thing I liked about Gnome was the appearance, which was something purely superficial. (I don't use Linux anymore.)

More ›