JohnCClarke

8 ms·

61.
by JohnCClarke 2y ago
This is very cool. Can the work involved in creating the proof-of-correctness be leveraged to create similar proofs for compilers of more modern languages?
62.
by JohnCClarke 2y ago
Seems to me that the actual, albeit unstated, goal of the Artemis program is to preserve the US's defence industrial base. In that light slow, expensive, progress is not a bug - slow and expensive are features.
63.
by JohnCClarke 2y ago
> I can't imagine Try imagining harder. (Or just google :-) Sequoia was their first VC. Got the Apple II off the ground.
64.
by JohnCClarke 2y ago
Rather than react to the clickbait how about listing what you think an ideal tax system would be.
65.
by JohnCClarke 2y ago
What do you do with the uploaded images? You could be exposed to risks that may not be immediately obvious. I have seen a team struggle for over a month to eliminate NSFW content - avatars - uploaded by a user that lead to their site being
66.
by JohnCClarke 2y ago
FWIW: My hardware designer friends find software tediously limited because only one thing happens at a time.
67.
by JohnCClarke 3y ago
I use a simplified version, that doesn't require as much care in the planning phase: 1. Delegate as much as possible. 2. Alternate urgent and important tasks. 3. Once in a while do a "fun" task - something neither urgent, nor
68.
by JohnCClarke 3y ago
Will be interesting to see if Figma open sources this as an alternative to Vitess.
69.
by JohnCClarke 3y ago
For an example of medical AI that delivers take a look at https://cydarmedical.com/ Real-time augmented reality for keyhole aortic surgery using machine vision to understand patients' individual anatomies. Full disclos
70.
by JohnCClarke 3y ago
Providing "base load" is often touted as an advantage of nuclear power plants (NPP) here on HN. The reality is actually the opposite. As the International Atomic Energy Agency says[1]: "Any unexpected sudden disconnect of the
71.
by JohnCClarke 3y ago
As a new manager I found the Chester Nimitz quote: “When you're in command, command.” I.e. it's now your job to lead. Do it, and take responsibility for doing it. Also: The Manager's Path by Camille Fournier Released March 20
72.
by JohnCClarke 3y ago
TBH: Context feels like a wart to me. It works, but it's not elegant. Golang has an aversion to thread^H^H^H^H^H^Hgoroutine local storage. Instead it provides this kludgey experience. I really feel that Golang V.2 should invent a bette
73.
by JohnCClarke 3y ago
If metallic dust from burnt up satellites can affect the magnetosphere on earth, could we do the same to create a magnetosphere on mars?
74.
by JohnCClarke 3y ago
All artists experience this: https://www.patreon.com/posts/project-impasse-97259484
75.
by JohnCClarke 3y ago
Blaming "outsourcing" sounds like passing the buck. The MCAS software debacle and penny pinching walk-back on the MCAS remediations shows that the rot has set in within Boeing.
76.
by JohnCClarke 3y ago
Silence and/or neutrality support the powerful. If the powerful are acting morally and well, then all is good. If not, silence and/or neutrality are harmful.
77.
by JohnCClarke 3y ago
Providing "base load" is often touted as an advantage of nuclear power plants (NPP) here on HN. The reality is actually the opposite. As the International Atomic Energy Agency says[1]: "Any unexpected sudden disconnect of the
78.
by JohnCClarke 3y ago
I asked GPT to describe the main rootkit code. The high level view made it a little easier to find my way around. https://chat.openai.com/share/d5f0f002-6739-4b0f-ad50-d71207... SetFastIoDispatch(): This function
79.
by JohnCClarke 3y ago
I worry that the business case for StarShip is similarly optimistic. Launching once per week, a single StarShip will carry 10,000 tons to orbit. Fully 50% of all mass launched to orbit since Sputnik 1. Given the hopes for even more frequent
80.
by JohnCClarke 3y ago
My take is that the Swedes think Trump has a realistic chance in 2024 and that would be the end of NATO. And they don't want to be the next Ukraine. "From 1945 to 1972[1] the government ran a clandestine nuclear weapons program&qu
81.
by JohnCClarke 3y ago
> Are you implying... Not at all @slap_shot. > Would pointing you to the dozens... No, no it wouldn't. There are plenty of companies that play fair staying true to their roots. And then there are those that are forced to defend t
82.
by JohnCClarke 3y ago
Am I too cynical? I got to the "Why Open Source?" part, and my brain filled in: "Because bait-and-switch needs some bait." Please prove me wrong.
83.
by JohnCClarke 3y ago
Less than 3g? Wierd.
84.
by JohnCClarke 3y ago
Economist said "by revenue". You seem to have listed by market cap, so not the same.
85.
by JohnCClarke 3y ago
Dealing with the EventLog API was when I realized how awesome Golang is. As a new golang developer it took minutes to hack the Elastic Beats code to develop a PoC. That's when it ocurred to me that if it were written in C I'd stil
86.
by JohnCClarke 3y ago
The first rule of sysadmin: Have a regular schedule for testing your offsite backups of all your systems. After that, as others have noted, create and review a threat model and use that to guide your hardening based on official guides: htt
87.
by JohnCClarke 3y ago
> You need to be good but not too good you’re a threat. Even worse for CTOs. If you make the development look too easy your CEO will wonder what you even do.
88.
by JohnCClarke 3y ago
> We could be working 15-hour weeks, enjoying our free time, and living like people of the future. France has rigorous 35 hour work weeks and a 78% labor force participation rate. The USA has 40+ hour work weeks and a 56% labor force par
89.
by JohnCClarke 3y ago
Slight twist I learned from my wife: MoSCoW lists - Must, Should, Could, Won't. The "Won't"s really tie down the boundaries of the system. If your PM is smart they probably won't call them "Won't"s, m
90.
by JohnCClarke 3y ago
Indeed we are. Escpecially since we are now starting to get serious about using that big fusion reactor that just floats in the sky every day.

More ›