HNHacker News
TopNewBestAskShowJobs

j16sdiz

3,666 karma · joined May 3, 2018

submissionscomments
j16sdiz··on Tesla to wind down Cybertruck production
Not worth clicking.

No added information, with a thread full of ad hominem attacks

j16sdiz··on Window Sweaters
Making this good still takes some effort. One can still tinker it like a little art project.
j16sdiz··on Tesla and SpaceX lose over $420B in combined market cap in the two days
Similar amount?

GOOG -2% in 5 days

META -4% in 5 day

INTC -6% in 5 day

NVDA -9% in 5 day

TLSA -10% in 5 days

j16sdiz··on Microsoft fixes a Windows 11 annoyance as PC revenue declines
"Always keep on this device" / "Free up space" only make sense when you understand the "Desktop" and "Document" is now backed by cloud -- the file you have on your local computer is just a cache.

The former meant it have higher priority in caching, the latter is just evicting from cache immediately.

j16sdiz··on Postgres 19 is late because so many more bugs are being found now
I don't know, but there are tons of "rust rewrite" of everything.
j16sdiz··on Binance-hacker-1029 – $5.6B stolen from Binance
You can say the same for many other industries:

> almost-unregulated except when the authority say no.

j16sdiz··on Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"
I love the clipboard warning.

before that, facebook was stealing everything on your clipboard and send back to their server.

This dialog is what it take to stop them.

and it have the pattern detect you asked.

j16sdiz··on Chained PHP2Shell exploit roots 25 servers, including US Government servers
We were talking about early 2000s.

Perl 5 was the language of choice for CGI in that era, but PHP borrowed some of perl syntax and quickly displaced Perl in web usage.

Some perl programmers migrated to Embperl, but it didn't gain much momentum.

j16sdiz··on Zero click, silent, remote Android DoS
They triaged them - that's why it gets wontfix.

False negative? I honestly don't know what we can do about it. If this is a real issue, maybe another llm will rediscover it and it eventually will get triaged right?

j16sdiz··on The case of the 9 bit AES key
just down vote it.

You can downvote anything not interesting.

If he have list some alternative or give example, it might be interesting.

j16sdiz··on The case of the 9 bit AES key
That's why we use the system RNG !
j16sdiz··on The Grid, a factory-scale robot in Massachusetts that builds PCBs on demand
Most of these work have real person to look and validate the cost. Doing that without account would be too little friction and overwhelm the team.
j16sdiz··on Ghostty 1.4
Is it? I think zig use llvm codegen. Once you got llvm for your architecture, you get 99% of modern language
j16sdiz··on Overgrown, when plants invade your abandoned tabs
It would cause more tabs to be open.

You can't use the old tab because all the plants. You open a new tab for the same page. Don't need to close any old tab for that.

j16sdiz··on IBM CEO says open weight models are now good and cheap on-prem
It's the "PC-compatible" hardware make those affordable, not PC.
j16sdiz··on Run full iOS 16.5 firmware on Android Devices
one click exploit is fun when you trying to jailbreak your phone; it is a nightmare when a random website do that
j16sdiz··on Docker is weird
Maybe. That's why i start thinking i am getting old and less curious :(
j16sdiz··on AI compute is the new oil–and needs a new market
infrastructure project big enough to affect qol in neighborhood: checked

corruption: checked

regulatory capture: in progress

Ya, the new oil.

j16sdiz··on Docker is weird
Every statement in the article make me ask: "what's weird about it?"

Everything in that list feel natural when you know how things evolves over many years. Maybe it is just me getting older and less curious.

j16sdiz··on LLMs are making formal software verification feasible at a much larger scale
Did they remember what OpenAI did with Lean and Math Proofs?

OpenAI wrote some lean that pass the validate, write a math paper that feel plausible, but the paper don't match what's in lean.

Anthropic is now translating programs into Rocq proof. The same can happen.

Don't get me wrong -- this process can help catch some bug. but this is far from a proof

j16sdiz··on eMudhra to exit global SSL/TLS certificate business
like most governance body, they check independent audit reports, not the actual operation.

This is a sample on what it looks like during covid lockdown : https://bugzilla.mozilla.org/show_bug.cgi?id=1728790

j16sdiz··on Security Disclosure
> But please name a few sites that aren't slop ecom fly by nights.

https://railway.com/customers

tripadvisor and bilt, maybe?

It's pretty common to have "toy" infrastructure in a non-tech business

j16sdiz··on Meta ordered to pay $25B penalty in New Mexico Cambridge Analytica case
The problem with fines is that they don't actually disincentivize bad behaviour by decision makers.

Corporations don't make decisions, individuals do.

You could argue if we hit the business hard enough, the individual making those decisions maybe suffers from.. maybe... less bonus? but, well....

j16sdiz··on There isn't an easy exploit for this PHP vulnerability
I guess the main takeaway is: we (humans? current methodology?) are bad at estimating how urgent a fix is or needs to be.
j16sdiz··on AI Laser Locking for Quantum Computers: How QuEra Automates It
If I read the article correctly,

- This involve multiple variable, so it is never a simple PID loop

- They didn't use LLM for the feedback loop, they use the LLM to test and fine tune their program.

j16sdiz··on Is 'Attention' the Essence of Intelligence?
Sure. but how far can we apply this logic?

--

A computer can't read a file, it is just sending electric signal, sensing the voltage, probing the magnetic field, etc.

"read" a file is anthropomorphized terms for what the machine do when processing a file.

--

Maybe we should just stop worrying and embrace the new meaning of those words?

j16sdiz··on 11 year old unsoundness bugs found in Rust borrow checker
This reminds me of Hilbert’s Program .
j16sdiz··on GLM-Legal
I don't think it can expert in all jurisdictions and all area of law.

There are lots County or state specific law. Some case law in different state can be referenced for some legal principle, even if the same law does not exist your etc.

It have to be a full harness, not just a modal.

j16sdiz··on No portable way to detect string-to-float conversion errors in standard C
yes. that's why many number crunching app ships / vendors their own math library
j16sdiz··on Fingerprints are the new cookies
IMO, data brokering is what should be illegal, not the cookie .
Page 1 of 34Next →