waterTanuki

10 ms·

151.
by waterTanuki 1y ago
considering how cheap storage is nowadays nitpicking about binary size is a very weird take. Are you editing code on an esp32?
152.
by waterTanuki 1y ago
I can't imagine how frustrating it must be to be making some of the best hardware out there only to have it completely wasted on useless "liquid glass" UIs and locked down to a half-baked OS (looking at you iPadOS).
153.
by waterTanuki 1y ago
Given the common retort for why not try X project in Y new language is "it's barely used in other things. Let's wait and see it get industry adoption before trying it out" it's hard to see it as anything OTHER than
154.
by waterTanuki 1y ago
> The SPARK prover correctly notices that there's nothing stopping us from entering a value outside the array bounds. It also points out that the Get call we're using to read the integer from stdin can raise an unexpected Const
155.
by waterTanuki 1y ago
But isn't the entire point of rust's verbose type system to declare valid states at compile time? I don't exactly see how this can't be proved in rust.
156.
by waterTanuki 1y ago
This is the smoking gun for me: procedure Overflow_This_Buffer with SPARK_Mode => On is type Integer_Array is array (Positive range <>) of Integer; Int_Array : Integer_Array (1 .. 10) := [others =>
157.
by waterTanuki 1y ago
> If you’re prepared to look at alternative programming languages to avoid the costs and risks of C/C++, SPARK offers an opportunity to go much further than Ada or Rust. SPARK, which is based on Ada, offers industrial-strength forma
158.
by waterTanuki 1y ago
I don't see how this is any different than countries putting significant portions of their gold & currency reserves in the NY Federal Reserve Bank. If for some reason the U.S. just decided to declare "Your monies are all mine
159.
by waterTanuki 1y ago
I understand data sovereignty in the case where a foreign entity might cut off access to your data, but this paranoia that storing info under your bed is the safest bet is straight up false. We have post-quantum encryption widely availabl
160.
by waterTanuki 1y ago
Given the topic of the thread is DARPA it's unlikely they're going to benefit from the type of overlap C++ and C# have in game engines or DBMSes.
161.
by waterTanuki 1y ago
Every time this subject comes up there is always a "well MY C code is safe so Rust is a stupid language! You're just using the <language wrong/wrong tools>". I find it funny how much folks foam at the mouth about
162.
by waterTanuki 1y ago
C++ and C# share a letter only. They operate in entirely different domains. You can certainly try to write PLC logic or a an IMU Sensor in C#, but that's probably not going to be a fun task.
163.
by waterTanuki 1y ago
Something somewhere needs to change because the status quo just isn't working. Yes, we can cheer on the benefit of OIDC tokens and zero-trust solutions in CI pipelines on HN all we want, but the fact is there's a significant numbe
164.
by waterTanuki 1y ago
I switch between gpt-oss:20b/qwen3:30b. Good for green fielding projects, setting up bash scripts, simple CRUD apis using express, and the occasional error in a React or Vue app.
165.
by waterTanuki 1y ago
That's really underselling it. Gaokao determines where you can live, where you can work, who your friends are, occasionally how much your family values you. They shut down airspace and conduct military/police patrols during examin
166.
by waterTanuki 1y ago
I regularly use local LLMs at work (full stack dev) due to restrictions and occasionally I get some results comparable to gpt-5 or opus 4
167.
by waterTanuki 1y ago
Then why does AWS charge less for the same compute workloads on ARM?
168.
by waterTanuki 1y ago
anything involving the medical industry (HIPAA laws), national security (FedRAMP is such a pita to get that some military contractors are bypassing it to get quicker access to cloud tools) etc. Besides that, we are moving towards an era whe
169.
by waterTanuki 1y ago
much of the new swift libraries/apis don't have the legacy "NS" prefixes you're thinking of
170.
by waterTanuki 1y ago
The most important question remains unanswered: would Rust have prevented this?
171.
by waterTanuki 1y ago
The fact they have to be reviewed by bsky before verification? It's in the article if you actually read it.
172.
by waterTanuki 2y ago
Aside from the what the modal actually says (mine doesn't say anything about "sending" info, and I have a 2023 M2 MBP) I don't really think it's fair to put Apple in the same category as Amazon when it comes to send
173.
by waterTanuki 2y ago
what's the advantage of this over something like btop?
174.
by waterTanuki 2y ago
FWIW the good thing to come out of apple intelligence is their private cloud compute, which should open up the doors to more safe and secure processing of data on the cloud. I know there's a push to make everything run on the edge nowa
175.
by waterTanuki 2y ago
I am still to this day gobsmacked how a company the size of Microsoft doesn't do all of it's security in-house like Apple, which locked down kernel access to macos some time ago. The blame is mostly on CrowdStrike, but Microsoft d
176.
by waterTanuki 2y ago
There is an alternate universe where you comment how insane it is engineers waste time on trying to understand the nuances of every single bespoke byte encoding/decoding technique used between services. JSON is just fine for most tasks
177.
by waterTanuki 2y ago
> There were a handful of shops that catered for foreigners. All transactions had to be in Euros as possession of local currency by foreigners was forbidden This stood out to me in the article, as most countries incentivize foreign visit
178.
by waterTanuki 3y ago
> ...tells me WHAT IT IS. Tailwind is a styling library, not label system. You want to know what something is? use the id attribute, it's not rocket science > I can also easily see what structure the DOM has. Really? Because even
179.
by waterTanuki 3y ago
> A huge number of the people in those cities wanted automobiles. No. A huge number of people wanted an easy way to get from point A to B. Many people don't really care about cars, but when you design a city to accommodate only th