HNHacker News
TopNewBestAskShowJobs

dingle_thunk

310 karma · joined June 8, 2010

submissionscomments
dingle_thunk··on LLMs are making formal software verification feasible at a much larger scale
Big fan of sel4 for this.
dingle_thunk··on EFF is leaving X
Nor on X.
dingle_thunk··on EFF is leaving X
Data backs you up https://x.com/NateSilver538/status/2040909183525048638
dingle_thunk··on EFF is leaving X
https://x.com/NateSilver538/status/2040909183525048638

The political slant in X is why.

dingle_thunk··on Norwegian fuel supplier refuses U.S. warships over Ukraine
On the contrary, the US is making the mistake of believing their own fake numbers.
dingle_thunk··on Introducing Copilot+ PCs
Microsoft has been consistently trying to give ARM a try since the surface RT. Consumers are not going to bite. marginal power saving is not meaningful.
dingle_thunk··on Apple confirms it's breaking iPhone web apps in the EU on purpose
Because of course elected officials without any expertise, representing a very small minority of humanity, are the best arbiters of reality.
dingle_thunk··on Man found guilty of child porn because he ran a Tor exit node
There's no reason to have a link with intelligence agencies when you're already run by an intelligence agency...
dingle_thunk··on Thoughts on React vs. Vue vs. Everything Else in 2023
You're welcome to that opinion, but I disagree. In my experience, Conway's Law applies directly to code, not just to networks and systems.

It is also my opinion that at all levels, motives and intent are driving dynamic forces in life. Ignoring them is a great way to waste your time, money and efforts. I can understand that not everyone feels this way, but I do. So perhaps that's where our interpretations differ.

dingle_thunk··on Mark Zuckerberg on Apple’s Vision Pro headset
They don't actually need a quick turnaround on the Quest Pro 2, as the Apple headset is launching next year. Apple has given them plenty of warning, they have runway to comprehensively respond. Such a premature announcement is reminiscent of the Osborne effect. I think it'll negatively impact sales, and it'll make the ultimate value proposition of their first product difficult. Apple are really cashing in that brand value here...
dingle_thunk··on Thoughts on React vs. Vue vs. Everything Else in 2023
I don't think there's a person I've asked who prefers the modern web over the way it was 10 years ago. All we've done is create a bunch of busywork that results in a cushion class of yes-men who are paid to protect the oligarchs from the peons they control. The specific kind of user you're talking about unfortunately includes these people.

If we stop navel-gazing at our salaries for a second, we should take a look at what developers who make a real difference do. I'm not talking about people who build stuff that leeches off consumer credit cards. I'm talking about TimBL, Matt Mullenweg, Bjarne Stroustrup, John Resig, Greg Kroah-Hartman, Linus Torvalds. They do things on principle, on values, and are self-confident enough not to care about chasing status. They're people who look at a world full of problems and want to actually help by sharing their ideas.

Those people generally build open, self-hosted solutions. They want to empower people, freeing us from the modern versions of AT&T and IBM. They make stuff that can run on a Pi or an old Celeron. Their stuff is standards-compliant, open, clean, simple, and user-auditable, so that it can be trusted and contributed to.

React was developed by Facebook, an app that steals your own family members' valuable time. Angular was developed by Google, and app that drains your own wallet. If you want to emulate their outcomes, by all means use their technologies. If you want to make a difference in the world, observe those who are making a difference and emulate them.

dingle_thunk··on Thoughts on React vs. Vue vs. Everything Else in 2023
You've been here since 2014. How much value have you derived from this code? How long would it take you to write it? https://news.ycombinator.com/hn.js
dingle_thunk··on Thoughts on React vs. Vue vs. Everything Else in 2023
GWT and Facebook’s PHP stack were both effectively server side technologies. GWT was pretty awful, but angular is probably the worst of the bunch when it comes to front end frameworks too. What I’m saying is you should run your app on the server and use HTML as a presentation layer. This is standard, it gives you visibility into bugs, it simplifies the end user payload, and it works quickly and reliably without needing huge refactoring projects and complex abstractions that your business does not need.

You probably don’t need a front end stack. You should just use the web standards as designed first, and then add improvements that customers like.

Developers wasting time on unnecessary fripperies is not a new thing: https://youtu.be/wHdHCoeUbU4

dingle_thunk··on Thoughts on React vs. Vue vs. Everything Else in 2023
With H/3, modern frameworks have become unnecessary deviations from web standards that result in high costs and lower app lifetimes. Do standard server side work, don’t use node as a server, sprinkle a bit of typescript where needed, and keep things lean.

As a recovering front end developer of 20 years, someone who has played with every damn framework and used most of them professionally; just stick to web standards and ignore the frameworks unless you specifically need them.

For example: we are using HN. It is simple. It works. It does not need to change. It does not need to be reddit or twitter or whatever, to be engaging. It’s good because it’s focused simple and well maintained. Almost every app I enjoy that has been over complicated or lost touch with its user base has done so while implementing these frameworks. They are business death. See; Facebook (react destroyed fb), Google (angular destroyed AdWords and G Suite), and so on. You lose analytics, accessibility, performance for the end user, less server side bugs is bad when clients are running the bugs, and most importantly you lose track of your customers needs.

If you want your shit to work, keep it close to the metal, conform to standards, scale only where necessary, and listen to your customers.

dingle_thunk··on Tell HN: We should start to add “ai.txt” as we do for “robots.txt”
Isn't an AI a robot?
dingle_thunk··on Tesla recalls 360k vehicles, says full self-driving beta may cause crashes
Recall is just the wrong word for what this is.
dingle_thunk··on Linode rebranded as Akamai’s cloud computing services
Vultr is amazing on price/performance. I use it as a lab cloud, and for my more fun (or Windows) workloads. You slightly sacrifice reliability, but you get interesting options including odd OSes, and per-hour dedicated hardware. Definitely an innovative bunch.

DigitalOcean offers solid uptime, a more professional operation, and typically better performance than Linode in benchmarks (https://www.vpsbenchmarks.com/screener). It has confusing marketing, but a good account dashboard and good docco/service. They're more in line with Linode, and will probably be the big winners if Linode/Akamai continue losing steam.

I wouldn't go with OVH, and I would use caution with cheaper providers, unless you're comfortable with the risk of hiring people who would willingly build wooden data centres with no fire safely. There is such a thing as "too cheap". (https://www.datacenterdynamics.com/en/news/ovhcloud-fire-rep...)

dingle_thunk··on Available today: The Windows 11 2022 Update
You're not wrong. Look at the like/dislike ratio on their AMA video about this topic. 29 likes, 733 dislikes JUST in the 'return youtube dislike' browser extension. What the heck guys.

https://www.youtube.com/watch?v=RbsUdFuWKuU

dingle_thunk··on USPTO to add surcharge on non-DOCX patent applications in 2023
Office Open XML (docx), to be fair, is a non-proprietary standard. Microsoft has been forced into that by the EU; and they keep messing with it, but it is actually technically "open".

https://en.wikipedia.org/wiki/Office_Open_XML

dingle_thunk··on How to fuck up an airport
I am not sure Germany really has represented that for a long time. I would never buy a German appliance, Vehicle or product made in the past 10 years. My impression of Germany can be summed up as: sold out to China, overpriced, stuffy, poor quality, and poor customer care. I’d rather buy Korean, Japanese, Swedish, but I’d even take American or Turkish over German these days.
dingle_thunk··on A Tesla vehicle using ‘Smart Summon’ appears to crash into a $3.5mm private jet
Well my Robovac cost $300 and has LIDAR. Not the same grade, but it’s not like it’s fundamentally expensive. You could use RADAR too; sensors are not always expensive and when produced in bulk costs go down.
dingle_thunk··on Apple M1 Ultra
I suppose given that this is two M1 Max glued together, assuming cooling is a solved problem, the max SOC power consumption just twice as high as usual, plus interconnect overhead. Right? Based on the thermal and power consumption characteristics of previous chips I would not be surprised if say ~120W is the max power draw of this thing.

edit: Of course the M1 max only shipped in laptops, so... who knows.

dingle_thunk··on Making the dislike count private across YouTube
There's a like button and no dislike button on the freaking blog post. Can you imagine the dislike ratio on this if they allowed it?
dingle_thunk··on Local rules instead of global censorship
I think the issue is better described as "corruption", rather than lobbying. Lobbying is a form of corruption unique to politicians, but it's just as possible that someone who has access to everyone's data via the CLOUD act uses such data in a corrupt way, or sells their access to that data to the highest bidder. Corruption is a problem that can occur anywhere down the trust stack.

A focus on individual responsibility for security and for integrity refocuses the issue on foundational Confucian principles (for every individual, be: benevolent, righteous, have propriety, build wisdom, and have fidelity), creates a culture of trust, diversity and competence. These things are much better for a thriving society, whether the label for the systems is democratic, dogmacratic, bureaucratic, or plutocratic.

(p.s. I am Australian, not Chinese. I just have an appreciation for learning from your rivals)

dingle_thunk··on Ask HN: Best books for dealing with workplace politics and dishonesty?
How to win friends and influence people
dingle_thunk··on Tasmania declares itself 100 per cent powered by renewable electricity
Um. The exports exceed the imports. They are net exporting renewable power to Victoria. The fact that Victoria exports back non-renewable power isn't in their control.

Tasmania is an exceptionally small state. Population 500K. Based on the renewable power sources available, they must rely on a network for stability. Otherwise, they would have to massively over-develop their power infrastructure. This itself would be unsustainable.

The issue is not that Tasmania needs to over-build. It's that Victoria needs more renewables. If TAS was a net importer, that would be a different story.

dingle_thunk··on Casio F-91W: The strangely ubiquitous watch (2011)
China is kinda anti-Japanese, maybe that's why?
dingle_thunk··on Frontpage: The Good, Bad and Ugly
Webflow is an interesting omission too.
dingle_thunk··on Call to arms: Sweden raises defense spending by 40% in 5 years
Defense is much cheaper than offense.

The fact that other countries appear to spend less on defense does not mean that they are unprepared.

Americans spend a lot of money on a corrupt pharmaceutical industries, and they have bad healthcare.

Americans spend a lot of money on a corrupt education systems, and have stupid people.

Americans spend a lot of money on a corrupt war industry, and they have a lot of rusting 1950s tanks, planes, and missiles.

Without being tested, who knows if anyone actually has good defense?

It requires thinking and testing, not mindlessly throwing money at charlatans.

dingle_thunk··on Call to arms: Sweden raises defense spending by 40% in 5 years
No, obviously. But everything can be commandeered and coordinated by defense during a war effort.
Page 1 of 5Next →