csb6

7 ms·

91.
by csb6 11mo ago
There is no harm in building a compiler and designing a language as a hobby. It is gratifying to build something and see it work, and it is often interesting to hear about other people’s projects. The problem comes when designers have delus
92.
by csb6 11mo ago
The Ada programming language has documentation about its design rationale that discusses the tradeoffs/options considered and why they made certain decisions. Really interesting even if you don’t use Ada since a lot of these decisions
93.
by csb6 11mo ago
I don’t think you could call it reasonably successful. For example, much of European history consisted of war and succession disputes. The entire system of aristocracy was prone to instability and shifting alliances. It turns out hereditary
94.
by csb6 1y ago
I found this to be a pretty vapid article. Spending multiple paragraphs talking about Argentina’s invulnerability to invasion from Africa and Australia (and Antarctica? Come on now) makes me think the author has spent too much time playing
95.
by csb6 1y ago
An example of the imperial boomerang [0]. People who salivate over the latest military tech in the same way as the new iPhone are blind to the fact that these weapons/surveillance platforms could be used on them as well. [0] https:&#x
96.
by csb6 1y ago
Running a YouTube channel is not a viable way to make a living unless you have an existing audience or get blessed by the algorithm. There is an oversupply of people making video content, and only a small portion of them succeed. Plus you a
97.
by csb6 1y ago
This is true but it is pedantic. When people say “emulator” they usually mean “software that lets me run a program on platforms other than the original intended platform”. They don’t care about the implementation details. At some point we n
98.
by csb6 1y ago
Yes, airdrops are only done with permission from Israel since they control Gaza airspace (they have for decades). But airdrops are not an efficient way to feed millions of people (and the pallets have killed multiple people by landing on th
99.
by csb6 1y ago
What is it with Microsoft and confusing product naming schemes? There was Xbox One X/Xbox One S/Xbox Series S/Xbox Series X. Or .NET (previously .NET Core) vs. .NET Framework (which everyone used to just call “.NET”).
100.
by csb6 1y ago
Automatic memory management isn’t necessary for closures, but if you don’t have it then it is easy to have dangling pointers (e.g. you capture a local variable by reference, return the closure object, and then call the closure and use the r
101.
Why the idea that the English have a common Anglo-Saxon origin is a myth (2017)(theconversation.com)
5 points by csb6 1y ago|1 comments
102.
by csb6 1y ago
An LLM isn’t going to provide a high quality translation because it doesn’t understand the context of what the string means in the UI, cultural conventions/writing styles, etc. You might as well run every string through Google Translat
103.
by csb6 1y ago
It shouldn’t surprise me that people are unfazed by the fact that the UAE is built on labor by indentured servants with few rights and is rife with human rights abuses, but I suppose being “business friendly” trumps all if your top priority
104.
by csb6 1y ago
Ada doesn’t have pattern matching, so there is no way for it to enforce that only the valid fields are accessed except at runtime (beyond warnings if the discriminant is known at compile time). Most people would just use a case statement th
105.
by csb6 1y ago
It says this is a project of Mozilla, but it seems like something that would make sense under IANA. Is there a reason why it is not maintained by a standards organization? Maybe the definition of what is/isn't a public suffix is t
106.
by csb6 1y ago
Has anyone had experience using Crashpad or Breakpad? When I looked into them there seemed to be a lot of boilerplate needed and I wasn’t sure which one to use. Are there other cross-platform (i.e. macOS, Linux, Windows) crash reporting lib
107.
The key to getting MVC correct is understanding what models are(stlab.cc)
195 points by csb6 1y ago|189 comments
108.
by csb6 1y ago
GNAT Community was just a version of the GNAT toolchain/IDE provided by AdaCore. GNAT is still open source and still updated as part of GCC, it is now just recommended to install it using the Alire package manager. Builds of GNAT are a
109.
by csb6 1y ago
> I would love to get a list of language features that are "free to use with GNAT" and those that are "AdaCore license required." All Ada language features are present in the free/open source version of the compi
110.
by csb6 1y ago
The employees knew that they would probably get fired for protesting/breaking/entering at work. The idea is to make what they perceive as Microsoft’s involvement in the Gaza crisis a topic of national discussion and criticism. The
111.
by csb6 1y ago
Incredibly stupid even if you deny climate change (which a rational person would not given the strong evidence for it). The scientific equivalent of cutting off one's nose to spite one's face.
112.
by csb6 1y ago
Sounds like a petulant child. Wholly unnecessary to get his point across.
113.
by csb6 1y ago
> The major problem of both human-readable and binary formats is not the serialized form, but the understanding of the schema (structure) of the data, which more often than not, is completely undocumented. Human-readable formats are wors
114.
by csb6 1y ago
Typically ships need to be certified by a classification society (an organization that inspects ships and makes sure they meet technical safety standards) in order to operate commercially. The Oceangate sub was not certified by any of these
115.
by csb6 1y ago
Because the law requires them to release reports on certain dates, so they do so and then make corrections as more data comes in.
116.
by csb6 1y ago
Do you believe people living in Gaza are “pampered”?
117.
by csb6 1y ago
> TLA+ doesn't require simulating anything I was referring to way the Python REPL examples/tree diagrams and sections on execution histories were used to explain things in the article, not to TLA+. I was contrasting how the aut
118.
by csb6 1y ago
The most developed one I know of is Atelier B [0], which uses the B-Method and has a C code generator. I believe this was the tool used to develop several driverless train control systems in the Paris Metro and other subways. There is a fre
119.
by csb6 1y ago
> A model checker doesn't imply anything about the kind of the formal specification used. That is true; I was just contrasting the way TFA explained specifications as being definitions of groups of acceptable execution traces (perha
120.
by csb6 1y ago
As a counterpoint, Dijkstra [0] makes a distinction between what he calls “postulational” and “operational” (more like what TFA is describing) formal methods. (Sidenote: I think people nowadays would use “denotational” instead of “postulati

More ›