amw-zero

16 ms·

151.
The Case for Models(concerningquality.com)
5 points by amw-zero 4y ago|0 comments
152.
by amw-zero 4y ago
The article is actually good. The criticisms of DRY here are valid! For criticism 1, I had a coworker once say something that resonated with me: "Just because two things are the same right now doesn't mean they _should_ be the sam
153.
by amw-zero 5y ago
I read them in landscape, it’s mostly readable then.
154.
by amw-zero 5y ago
This is a pretty curious statement. Can you name any profession that has been replaced by AI?
155.
by amw-zero 5y ago
That’s just a different workflow for producing software. What you’re calling a logician here is what most people just call a ‘programmer.’
156.
by amw-zero 5y ago
They are a false idol in that, when people learn about them they seem like they’re the answer to all problems, and they’re not. The fact that types are equivalent to propositions doesn’t mean that making all of the propositions about your c
157.
by amw-zero 5y ago
The seL4 microkernel: https://sel4.systems/ The CompCert C compiler: https://compcert.org/ TLS implementation in Firefox: https://blog.mozilla.org/security/2020/07/06/per
158.
by amw-zero 5y ago
More specifically, Coq is based on the calculus of inductive constructions: https://en.m.wikipedia.org/wiki/Calculus_of_constructions . The key differentiating feature being dependent types, whereas Isabelle/HOL im
159.
by amw-zero 5y ago
There’s another book, Concrete Semantics, that starts off by saying something along the lines of: “Be careful - interactive theorem proving is addicting.” It’s so true. You can end up ‘accidentally’ proving things, and when the proof checke
160.
by amw-zero 5y ago
Dependent types are a false idol. It’s better to express propositions just as propositions, like in Isabelle/HOL.
161.
by amw-zero 5y ago
Almost no one practices direct democracy because yes. It’s not good.
162.
by amw-zero 5y ago
I totally agree. That’s why I’m completely pro the BDFL model. Committees don’t produce good products.
163.
by amw-zero 5y ago
Why can’t comments about new programming languages be more interesting than this?
164.
by amw-zero 5y ago
It’s a solved problem? The most difficult to navigate and extended codebase I ever saw was a medium-to-large sized Rails codebase.
165.
by amw-zero 5y ago
I always thought being able to design code itself was the main way to get productivity. That takes way longer than actually typing the code, and you can do it on a whiteboard / pen and paper. I’ve never used a window manager that affec
166.
by amw-zero 5y ago
I use a Google Doc. I’ve never really wanted anything more.
167.
by amw-zero 5y ago
Now replace |> with . And you have the previous code example. The difference is completely superficial.
168.
by amw-zero 5y ago
Ah thank you. That's slightly better then.
169.
by amw-zero 5y ago
Friend - this is a learning opportunity. Check the upvotes.
170.
by amw-zero 5y ago
Depending on code review instead of a static type system does not scale. Look at all of the memory safety security vulnerabilities that are solved by "simply making sure to manage memory correctly." Also: variableDefinedInAFar
171.
by amw-zero 5y ago
What problems did an enum cause you, and how was the enum responsible for the problem?
172.
by amw-zero 5y ago
Really not sure what you're talking about. If you use enums in a real language like Swift, Kotlin, Rust, etc., you can only construct the values of the enum. There are no ways to get around it.
173.
by amw-zero 5y ago
Swift solved this problems with [non-exhaustive enums]( https://github.com/apple/swift-evolution/blob/main/proposals... ).
174.
by amw-zero 5y ago
This compiles: type Test int const ( T1 Test = 0 T2 = 1 ) func TestSomething(t Test) {} ... TestSomething(17) So this isn't a good suggestion, because you can easily pass any int value and will not g
175.
by amw-zero 5y ago
The question was ‘why is the lambda cube useful?’ This answer was: ‘Assigning mathematical meaning.’ This is why people think these concepts aren’t useful, because this was a lot of words without any practical example of what it would be us
176.
by amw-zero 5y ago
This is not a good argument, because no matter how well you write anything, reducing its size is beneficial for everyone.
177.
by amw-zero 5y ago
If state space is your concern, I would try proofs. Here’s a live demo from Martin Kleppmann about proving something about a stateful distributed system: https://youtu.be/7w4KC6i9Yac . The tools have come a very long way, Is
178.
by amw-zero 5y ago
I understood it fine. Have you searched around for what those languages are?
179.
by amw-zero 5y ago
It’s just subtly different than anything else out there. It for the most part feels like a Python-like language, but compiles to C so is very fast. It also has one of the better macro systems out there. I was interested in developing a prog
180.
by amw-zero 5y ago
I agree with your position, I'm a big fan of the modular monolith approach. I took a look at your post. This is one thing that jumped out to me: > Because the people who design programming languages have decided that implementing lo

More ›