learningstud

5 ms·

1.
by learningstud 12d ago
The general public is gradually catching up with NSA it seems...
2.
by learningstud 13d ago
Until special relativity kicks in to completely invalidate whatever intuition you have about this problem.
3.
You Are the Harness
6 points by learningstud 17d ago|0 comments
4.
by learningstud 23d ago
The real difficulty of systems programming in C is due to syscall/POSIX/libc semantics like the interplay between signal handling and async readv/writev resumption. These things are way beyond what the borrow checker and cove
5.
by learningstud 2mo ago
Too true. I realized that the only way to do an actual review is to have wrote it yourself in the first place. The relatively slow speed of writing code reflects the amount of subtleties and effort to think through all of them. Only when LL
6.
by learningstud 2mo ago
Yes, or to settle dispute and remove doubt once and for all, i.e. the Leibniz way.
7.
by learningstud 2mo ago
All just for Apple to sue them... A SpaceMouse is way cooler.
8.
by learningstud 4mo ago
Too true. This is why Rudin's little book, Principles of Mathematical Analysis, normally takes a whole year to cover: one has to work through the proof line by line in order gain enough understanding to do the exercises. Programming gi
9.
by learningstud 7mo ago
What DDoS mitigations are there besides the less affordable Akamai?
10.
by learningstud 7mo ago
I've come to believe that democracy doesn't work because most citizens don't want to work it. Many of the legislations passed are harmful to the majority even when the intentions are good. Milton Friedman, Thomas Sowell, and
11.
by learningstud 8mo ago
This was the sentiment for programmers well-versed in assembly languages (counting cycles, self-modifying code, story of Mel) when compilers came out, yet the advances in compiler technology enabled the creation of OCaml and Coq. What I thi
12.
by learningstud 8mo ago
If developers are not using TLA+ or Lean4 etc. They are vibe coding. Nothing wrong with that. They just have to realize that they were never in control. Thinking logically is much harder than developers imagined. As Dijkstra observed, the w
13.
by learningstud 9mo ago
No, formal specification helps from the get-go. You can iterate more reliably, thus faster. The successful development of mathematical theories depends on having rigorous definitions and proofs all the way from the start so that people can
14.
by learningstud 9mo ago
> Major flaws in a specification for one function are usually quickly picked up when the proof for another function relies on the missing specification properties Great point! In a sense, it's testing by immediate use at compile ti
15.
by learningstud 10mo ago
Yeah, that's why I mentioned Lean 4, Agda, and Rocq. Homotopy type theory is even better; see it's definition of a circle.
16.
Coding is the purest form of art
1 points by learningstud 10mo ago|4 comments
17.
by learningstud 1y ago
Architecture astronaut type of stuff indicates programmers' lack of critical thinking. People are just hopelessly dim.
18.
by learningstud 1y ago
Naive optimism, sheer ignorance, and a general inability to think. Let's face it. Can you claim that the code you wrote yesterday is free of errors? Most programmers cannot, yet everyone that studied calculus knows that the fundamental
19.
by learningstud 1y ago
LLM or not, most programmers cannot think straight. LLMs just lead to more false impressions of understanding. When LLMs become really good, they will refuse doing your work for you out of distaste.
20.
by learningstud 1y ago
This speaks volumes of why the Elixir people left in the first place. As a separate point, if a company wants the most generally applicable programming language, there is no reason to look further than C, yet few companies are like this.
21.
by learningstud 1y ago
The OCaml people probably know C/C++ better than most C/C++ programmers. Do you even know any of them?
22.
by learningstud 1y ago
Lesser pay is simply due to less demand. It simply reflects the overall needs of living people.
23.
by learningstud 1y ago
I really don't get why people would want AI to think like humans even remotely, especially when we don't even know how humans think. Most people simply cannot provide justification for whatever comes out of their mouths, e.g. try
24.
by learningstud 1y ago
Edsgar Dijkstra!
25.
by learningstud 1y ago
Exactly, most of us behave in almost the same as AI does. We finally have a mirror to reflect upon.
26.
by learningstud 1y ago
Validity is not soundness. Wonder why people are just beginning to realize what logicians have been studying for more than a century. This goes to show that most programming was never based on logic but vibes. People have been vibe coding w
27.
by learningstud 1y ago
People hallucinate all the time out of pressure or habit. We don't need AI for that. It's hard to tell most people from AI. Most people would fail Turing tests as subjects.
28.
by learningstud 1y ago
To say the least, requiring FDA to approve drugs and medical doctors get licenses actually harm citizens. These claims might seem absurd at first glance, but please give Hayek's book "The Road to Serfdom" a read before conten
29.
by learningstud 2y ago
Wittgenstein would be flabbergasted by the misguidedness of vibe coding.
30.
by learningstud 2y ago
For UML to capture the logic of the programs it describes, UML will have to become a feature-rich programming language itself. Then, we will witness how unreadable a bunch of arrows are compared to well-structured texts. Semantics is essen

More ›