johnnyjeans

15 ms·

61.
by johnnyjeans 1y ago
My priorities are indeed different. Apologies for the inflammatory language. My remark WRT constructive proofs is more an observation I've made that most proofs which deal with non-finite values seem to be non-constructive. Not necessa
62.
by johnnyjeans 1y ago
My problems start long before the special APIs come into play. When we supported Mac, I just wrapped the APIs like you do for any other system. The problem is I don't use Mac, so building software for Macs is inherently troublesome. I
63.
by johnnyjeans 1y ago
Trillion dollar market caps don't come for free. The Apple Tree must be watered with the blood of third party developers so our gracious overlords can Do Computing Different.
64.
by johnnyjeans 1y ago
I'd argue you can see the hostility if you compare shipping to Windows vs shipping to Apple. Microsoft doesn't care if you copy over your MSVC suite into a Wine environment to build your software for their platform. Even SignTool
65.
by johnnyjeans 1y ago
Because they explain nothing and aren't useful for building new insights. It's not a direct verification of the existence or lack-of-existence of a thing with given properties. It relies on rules lawyering in a very specific logic
66.
by johnnyjeans 1y ago
Intuitionism in this context just means the proofs have to be constructive. (no proof-by-contradiction, or other half-assed academic hacks)
67.
by johnnyjeans 1y ago
> Same for macOS compared to Windows. This hasn't ever been my experience. Maybe if you're in a really specific market niche where most of the userbase is on Mac. Only 5% of users on Windows paying for the software still abso
68.
by johnnyjeans 1y ago
> You go where the users are and the majority of the market (by revenue) are Mac users. One of the worst things about Apple is how much time and effort they spend trying to lock you into their platform if you want to support it. There&#x
69.
by johnnyjeans 1y ago
> sel4 is very limited in scope and extending that to a semi-usable OS (that uses ""proven"" C) is expensive time and money wise. Everything that has to meet a high criteria of safety is like this, yes. For the exact
70.
by johnnyjeans 1y ago
absolutely, i don't even consider that a flaw. i dont like EOL comments stylistically.
71.
by johnnyjeans 1y ago
it's a language that's trivial to implement because it's well designed and simple, it embeds very nicely, and it's fantastic for use as a debug shell and to implement guis. it's a great technician's language, i
72.
by johnnyjeans 1y ago
I'm not sure what you're even trying to say. Do you think that formally verified C isn't a thing? Because it's not used in Linux? Linux isn't designed to be formally verifiable. For all of the manpower and resources
73.
by johnnyjeans 1y ago
In my view, it was won because the Elder Council underestimated the threat. Had they known how the defense of Sicily was going to go, they could have easily afforded to hire 50,000 more celts and turned them out onto the Italic peninsula to
74.
by johnnyjeans 1y ago
a subset of C is provable, and is the de-facto standard in the industry. what is it with rust people and thinking robust, automatic correctness checking was invented in the last 20 years?
75.
by johnnyjeans 1y ago
> I certainly understand the design of the language used to expose a PDP-11 in a portable way. It depends on what you mean by that. The PDP-11's dialect of B's major changes were more ergonomic handling of strings to no longer
76.
by johnnyjeans 1y ago
I envision an inflected grammar. That sounds crazy I know, but x64 is an inflected language already. The pointer arithmetic you can attach to a register isn't an expression or a distinct group of words, it's a suffix. Part of the
77.
by johnnyjeans 1y ago
Only if you don't understand the history of C. B was a LCD grouping of assembler macros for a typical register machine, C just added a type system and a couple extra bits of syntax. C isn't novel in the slightest, you're stru
78.
by johnnyjeans 1y ago
a prolog wizard crossing the path is an exceedingly rare and brilliant event, im compelled to make a wish upon this shooting star :3 > I remember a guy telling me the simplest exercise in some or other of the classic functional programmi
79.
by johnnyjeans 1y ago
The comparisons they're making don't make sense to me. I don't think I've ever even seen a logic language without nested expressions. Also VERY weird they give non-determinism as a feature of logic programming. Prolog is
80.
by johnnyjeans 1y ago
violating a corporation's terms of service isn't unlawful. outside of that corporation, at least.
81.
by johnnyjeans 2y ago
Grok becoming an artificial nepobaby running the entire CVE program with zero oversight sounds so fucking funny I don't even care, PLEASE god make this real holy shit I can't breathe at the thought
82.
by johnnyjeans 2y ago
important to note: the US's food safety is already really bad. salmonella isn't a thing you have to worry about in first world countries. can't wait to see what plague demon spawns out of a food industry running amok after th
83.
by johnnyjeans 2y ago
> it feels like once that kind of stuff isn't punished, it starts to snowball a change in the attitudes of the site as a whole. Considering the site has been around for over 20 years and people still call out and flame racism, I th
84.
by johnnyjeans 2y ago
Nah I disagree. It's the best one. All of the extra shit other boards have just feels like needless bloat. Honestly the JS extension they added like 10 years ago is a bit much.
85.
by johnnyjeans 2y ago
Incredibly spot-on and well-put.
86.
by johnnyjeans 2y ago
What was bad about the interview? Can you share any details?
87.
by johnnyjeans 2y ago
There is no counter-culture anymore, not really. Society is virtually balkanized.
88.
by johnnyjeans 2y ago
Nah, the board culture really did change in the last 7 years. In a past that's not too distant nobody was obsessed with trans folk. That's not to say there weren't vulgarities and unpleasantries, but there was definitely a su
89.
by johnnyjeans 2y ago
/g/ genuinely was one of the worst boards on the website, but there were a handful of lurkers who made good posts in some of the general threads. the site as a whole was still was a diverse place up until yesterday, with only a fe
90.
by johnnyjeans 2y ago
It is not very niche at all. 4chan served a gigantic volume of traffic.

More ›