skysight-inc/HackerNews huggingface dataset:
I don’t like that either. x is Dog is a boolean expression. Presumably I can write

let isDog = x is Dog;

And the value whether it is a dog or not goes into that new variable. The fact that I can’t then immediately go

if (isDog) {
x.bark()
}

shows the deficiencies of this static analysis (even if you could do some simple value tracking to make this work, it doesn’t really address the real issue I have with it, which I described above: why can’t I do this refinement for other things?) The conceptual model is one of “we special cased 2-3 cases that we can detect”, which I don’t find very elegant, especially considering that other languages seem to have better solutions that express the operation in what I feel is a better way.

(The equivalent Swift code would be something like this:

let x = Animal()
if let dog = x as? Dog {
dog.bark()
}

I see this as much superior. One, because x is still available in the scope of I want an Animal and not a Dog for whatever reason. I understand that most of the time you don’t do this but to have it available and not have to do a special case for it is nice. The second thing is that I just like the syntax, since it gives you an opportunity to give a more specific name in that branch as part of the assignment. Third, it composes, because none of the operations are special save for the “if let” binding. This code is also valid:

let x = Animal()
let dog /* : Dog? */ = x as? Dog
if let dog /* = dog */ {
}

The static analysis for undoing polymorphism is the exact same as the one for binding to optionals, because the idiomatic way to cast results in an optional.)
Ethernet is nice, but for low-level debug purposes, it is significantly harder to use than UART.

With UART, you have a single integer to guess, maybe one of the 10 options. And guessing it simple, as data flows even when nothing is connected, so you can trivially find it on the PCB and scope it.

With Ethernet, you have vastly more thing to guess. Starting with Ethernet pinout, then IP address, then port, protocol and authentication. And in most cases, you are not going to be able to passively listen and get useful debug information - while I can theoretically imagine an embedded system configured with netconsole in broadcast mode, I've never seen such configuration in practice.

Yes, Ethernet is very nice if device works, but it's pretty unusable for embedded / early boot debugging.
A non-disparagement clause is not valid under the DMA.
IMHO, it was the correct pivot for them - from hardware to the OS.

I remember the OLPC hardware was harshly criticized by industry, and even the audacity of the project was widely attacked. I considered it proof they were just ahead of the market here and industry realized it was behind the 8-ball. Meanwhile OLPC spawned a new form factor, netbooks and tablets did not exist until the OLPC project was first proposed in 2005. Netbooks wouldn't materialize until 2007, and the ipad launched in 2010. Once industry caught up though it was hard to compete against that, and at the end of the day OLPC was about the mission, not the hardware - but you can't have the mission without the hardware. So pivoting to Sugar was a smart move to achieve the mission once industry caught up.

You can certainly make other arguments against some of the ideas of the project and what it was trying to achieve though. It definitely is a Western idea being applied to problems other civilizations may not have an interest in contending with. Water and food security, let alone electricity and communication infrastructure, are still real problems in the areas OLPC was targeted at.
What problems are you running into with ROS on ARM? I've used it both on Raspberry Pis and ARM Macs with Docker (both natively and with translation) needing no modifications.
That's exactly what a honeypot would write.
In my first SWE job, I was perplexed, I never felt much impact for solving complex bugs, even if they had side effects like reducing latency for everyone in our infra. Anyways, I realized it's like you say - you get rewarded for pushing features and shipping stuff. This incentive can easily become a 'tragedy of the commons' situation.
You still have the right to bear arms if you're not in the US, it's just you've also got to obey local laws too.
Optical character recognition and audio transcription are improving at such a pace that I don't think this will be a significant barrier for future historians. Even now, on a computer with modest resources (e.g. laptop without dedicated GPU), whisper.cpp makes it practical to transcribe hours of podcast audio or other speech. And the transcription only needs to be done once.

https://github.com/ggerganov/whisper.cpp
Journalists irritate me greatly when they specify imperial units yet don't always bother to give the metric equivalents. For example 10 million pounds is about 4,500 tons, or roughly 4,500,000 kg. Metric units makes far more sense anyway.
Anything can be described dismissively. I do think prompt engineering was overhyped but I don't think that it's that obvious or that something of that nature couldn't have been a valuable skill in the future.

So many desk jobs that the professional managerial class does today can probably be described similarly. That doesn't mean that they can't still be high-paying.
I'd assume that would probably be more that "CoPilot all-the-things" took priority over "leave Outlook in maintenance-only mode".

Even the "round all the corners" changes seemed mostly "free" from component library upgrades from changes in other Office and Windows apps and components shared with "New Outlook" (on the one side: people keep assuming New Outlook is a bloated web app, especially because it has a lot of UI consistency with Outlook.com now, but there's a lot of evidence it is more complicated that just a web app; on the other side: a lot of those painting problems especially during resizing relate to Old Outlook has been partly "a web app" for a long time; hybrids apps are hybrid).
There's no chance the DMA includes a non disparagement clause. That's totally against free speech.
App vendors aren't customers. They don't pay Apple anything more than the license fees for Xcode. The app's users are the customers, and if you start throwing out the partners you lose customers. Now, sure, the calculus might change depending on your relationship with each partner, but you absolutely cant say that Epic doesn't bring revenue to Apple. They do.
Their terms are not relevant, Apple has no authority over the DMA.
Office occupancy levels in SF beg to differ.
The story is common enough in many similar ways to things I know have happened that I'll believe it. The details may change, but lots of people cheat on their spouse, suspicions make them more likely to do that, and STDs are common enough to not be surprised if someone gets them (though multiple STDs is a little less common)

I don't know if the given story is true - it also is a urban legend feel. However it is true for a number of other people in similar situations.
Is Target actively hostile to the platform provider they have dev accounts with?
Epic isn't apple's customer. They just use their tools.
"Several years ago, NASA provided some of the data to the public in order to spur interest in the ISS and space exploration under the ISSlive project (https://isslive.com/) using the lightstreamer service (http://demos.lightstreamer.com/ISSLive/)"
This plus native web-components is an incredible advance for "the web".

Fingerprinting concerns aside (compression == timing attacks in the general case), the fact that it's nearly network-transparent and framework/webserver compatible is incredible!
Lol what's this good explanation of scanning people's eyes?
This is great! One of the best games I've seen using LLMs.
Staff engineers (in the FAANG parlance) are, generally speaking, ICs who were previously senior engineers who have proven themselves enough that they're trusted to be roughly autonomous, they're kind of "peers" to engineering managers in a way. While a senior engineer will typically not have the political capital move big politically-heavy rocks, it is typically down in the staff engineer's job description that they are expected to. It's basically shifting from a focus on code and building systems to people/the org and architecting systems that fit the org.

"Did the person get rewarded for this huge effort"
Money-wise? Haha. No. Only in the sense that they further solidified their soft power as someone you shouldn't bet against. And of course the sense of pride that comes with shipping something (that further enriches some capitalist and maybe yourself to 0.0013% of the effect, since that's how much of the company your grant commands shares of).
Show HN: My first programming project – userscripts to change forum UIs
Hi, I'm Will. I'm 24, autistic, and have OCD tendencies. I'm learning to code and this is my first public project. I’d really appreciate your feedback and encouragement!

This project lets me solve some of my OCD problems online. There are a couple of parts of the forums that I visit – Space Battles, Sufficient Velocity, and Questionable Questing – that I want to remove. Specifically, I hate seeing indicators of how much is left in a forum thread, because I keep thinking about how much content is left. It stops me from immersing myself in the story. It stressed me out. Before I learned to code, I'd use my hand to block the total chapter count so I could read the blurb and see the word count. I would do my best to ignore the page navigation bar except for the next page button, but I usually ended up failing. One of the reasons I always read in full-screen Safari is that I didn't have to see the tab name that always had the page number. I learned not to hover my cursor over the window because it would tell me the page number.

This project is a series of userscripts that hide those indicators. I coded the userscripts in JavaScript, and I used https://github.com/quoid/userscripts as the system. Despite the fact I didn't know what a userscript was until I started coding them, AI assistance allowed me to code them with minimal help from my brother, Stevie. Khanmigo helped me plan, write, and debug code. ChatGPT taught me the theory. Part of the reason I coded a lot faster with the later userscripts is I knew enough to realize when AI was talking about something irrelevant and redirect it. One cool moment was when I correctly predicted I didn't need to code different userscripts for SpaceBattles and Sufficient Velocity because Sufficient Velocity used to be part of SpaceBattles.

I find it relaxing not to have to worry about accidentally seeing the chapter count or the final page number. Maybe they’ll help one of you!
Have you ever worked with a BOFH?

BOFHs suck.

Your career lesson is correct.
Whats part two of the story? Did LinkedIn move to React? Did the initiative fail, or is it ongoing?
Not a valid reason to terminate it.
Lots of promising improvements. I'm most excited about being able to control the theme via CSS instead of having to extend via JS.
I doubt your supermarket chain has done things which rise to Phil Schiller responding to Epic with —

> We welcome all developers to the Developer Program so long as they follow the rules. Those rules, including the DPLA and the App Store Review Guidelines, are intended to protect the integrity of the ecosystem, developers large and small, and - most importantly-users. Accordingly, developers who are unable or unwilling to keep their promises can't continue to
participate in the Developer Program.

> In the past, Epic has entered into agreements with Apple and then broken them. For example, you testified that Epic Games, Inc. entered into the Developer Program with full understanding of its terms, and then chose to intentionally breach the agreement with Apple. You also testified that Epic deliberately violated Apple's rules, to make a point and for
financial gain. More recently, you have described our DMA compliance plan as "hot garbage," a "horror show," and a "devious new instance of Malicious Compliance." And you have complained about what you called "Junk Fees" and "Apple
taxes."

> Your colorful criticism of our DMA compliance plan, coupled with Epic's past practice of intentionally violating contractual provisions with which it disagrees, strongly suggest that Epic Sweden does not intend to follow the rules. Another intentional breach could threaten the integrity of the iOS
platform, as well as the security and privacy of users.

> You have stated that allowing enrollment of Epic Games Sweden in the Developer Program is "a good faith move by Apple." We invite you to provide us with written assurance that you are also acting in good faith, and that Epic Games Sweden will, despite your public actions and rhetoric, honor all of its commitments. In plain, unqualified terms, please tell us why we should trust Epic this time.
Looks like a nice printer, but the kits seems damn expensive.

Are there kits that just include all metal parts and that are cheaper?
I disagree. It works in the Nordic countries. I haven't heard anyone from there bitching about it.
There's an element of truth to this! I alluded to this (and Adam totally reasonably cut even more of it for time) but I definitely was not as effective organizationally as I could have been; that is one of the major things I learned from my time at LinkedIn. The biggest challenge for DX teams remains figuring out how to (a) communicate but more importantly (b) align their work with the key priorities of the business. I got to be okay at (a) but never particularly succeeded at (b) in my time at LinkedIn. Some of that is on me! Some of it… is on LinkedIn.

That said, in this case, the person telling me “You’re too idealistic” literally meant it in the sense of “You should not care about anything unless it directly moves the bottom line,” and I reject that to my bones. The bottom line matters. So, though, do things like user experience, developer experience, and for that matter just basic ethics about what we build (though happily the latter wasn’t in view here).
The value of, for example, the dollar is not based on your trust, at least not at the first order. It's based on the economic and military power backing it up.
It turns out I was mistaken! I haven’t done enough research to determine the actual cause of the effect I have noticed. It might be hydraulic vs electric but I don’t want to make that assumption and be wrong again - I’m going to have to research the steering in other cars I’ve noticed that issue in.
On women's anatomy and the power of paying attention
"Do you need an assistant? I understood my job here to be $X and $Y; but your need for assistance might justify further staffing or at least clarification of my job priorities"

probably with more polite wrapped around it; thats about as far as i go that way.

I'd be inclined to set them on fire when they wander in asking distracting questions. I'm not terribly social.

I like the implications of the way you ask; we're not sure what "AI" is, if we have it yet; but we have an unspoken certainty that it will be a mute, obedient servant willing to put up with being used in ways we humans will not.

So what we're after with AI isn't "intelligence", as much as "obedience?"
the article has examples of QEMU cmds ...
Daytona Announces Open Source Release
He seems like the kind of guy I'd like to work with, personally.
To oversimplify, its more like sending a block of text to an LLM and asking it to answer a query based on that block of text.
I bought a used Mac Mini for personal projects _only_ for those keyboard shortcuts. They're too ingrained in my mind from using a Mac for my day job.
Even if it wasn’t and sank uncontained to the bottom of the ocean, water makes a good radiation shield.
Your company is likely not considered a core platform service, so your analogy is not relevant.
> Incidentally, this sort of thing is why, 25 years ago, I became a theoretical rather than applied computer scientist. Even before you get to any serious software engineering, the applied part of computing involves a neverending struggle to make machines do what you need them to do—get a document to print, a website to load, a software package to install—in ways that are harrowing and not the slightest bit intellectually interesting. You learn, not about the nature of reality, but only about the terrible design decisions of other people.

That really resonates. Something random broke, for some random reason. What contortions do I have to go through to get it back to working? What random maze do I have to run? That's not software engineering; that's just masochism. It's exhausting, and it's pointless. It's just a drain.
Absolutely. There have been a lot of discussions here on HN about embedded rust in the past so you might want to search those on algolia to catch up but look at embedded_hal, embassy, or droneos as starting points.
As a date command format string:

```

$ date -u '+GMT %-j/%R:%S'
GMT 66/17:05:57

```
What evidence do you have that erroneous benefits are the only thing driving excess cost?

Do you feel that correcting the errors can be done with no cost whatsoever?

We can argue about where that break point is, but the break point absolutely exists. There is a level of verification / enforcement that will cost more than what you're getting back through reduction of erroneously distributed benefits.
Optimizing technical docs for LLMs
> I find it correct that material that is immoral and lewd for its own sake be restricted in some way.

I think freedom means that we get to decide for ourselves what is "immoral" or "lewd" and can choose to read or not read those books accordingly. I'm guessing you've never read "Forever Amber" or "Naked Lunch" or even "Howl", but you might just be surprised at what your would-be masters decided was too explicit for you to be allowed to read.

> I don't see any actual book banning or burning.

You must have missed the parts where books were banned by states and even where in the 60s the federal government forced a publisher to pull all copies of a book from the shelves of bookstores and to stop publication of it entirely just to appease a foreign country that was embarrassed by the truths the book exposed about them.
I disagree that people only want to be affirmed -- people are constantly getting into debates and arguments on the internet
This talk makes a really important point for multiplayer app implementations!

But I don't love how he separates the global order approach from operational transform. Those two approaches go very well together in my experience:
- Global ordering eliminates much of the complexity of OT
- OT enables optimistic, offline edits and fine-grained merging on top of global ordering

Most SaaS editors are not truly peer-to-peer: edits are sent to a central server before being broadcast back to clients. The service can define the global ordering then - the point of this talk.

But you need the server to be able to reconcile and merge concurrent edits from clients that haven't fully sync'ed yet, and you want clients to be able to locally apply edits before receiving the latest state from the server, so you need some way to undo and replay edits on top of newly discovered edits that happened before (like a Git rebase). This is the basic operational transform function.

The knock on OT has been complexity - the claim that you need n^2 merge functions for n operations. But... most operations in a real app don't collide in ways that require merges so in reality you need far fewer than than n^2. You generally need text and collection merges.

Marijn Haverbeke, the author of ProseMirror and CodeMirror, has a great blog post on a lot of this here: https://marijnhaverbeke.nl/blog/collaborative-editing-cm.htm...
Because (in this case) the EU will punish Apple in the EU for taking away your rights, even though you are not in the EU. Your rights still apply.

You very much do have those rights in a practical sense.
I had a discussion on HN with someone extolling the virtues of ChatGPT extracting data from PDF's. It took me forever to get them to start acknowledging the infamous 3rd step (correct prompting). And apparently I'm just unskilled for saying it wasn't magic but required correct input.

Not that ChatGPT can't do it, just that a lot of people seem to think it's going to be like talking to the star trek computer.
Yeah, I think part of the reason that true facts may cause people to double down on their incorrect priors is because the presentation of the true facts is inadequate. (So it's not just a knee-jerk over-reaction due to emotional attachment, as the situation might seemingly be summarized; instead, IMO it's truly because either the presenter did not fully do their job of information gathering and presentation, or the listener was not able to fully do their job of paying attention with an open mind. This is the table stakes if we're having the discussion, and it's hard to even get there.)

Most people do not have the time, energy, resources, background, or will to prepare adequate presentations of factual material. This is one huge deficit.

Then, when such material is available or presented: most people do not have the time, energy, resources, background, or will to honestly analyze such adequate presentations of factual material. This is a second huge deficit.

So, I think it's "back to basics" before worrying about some psychological mumbo-jumbo. And it turns out, people are really, really ill-equipped for the basics, on a huge scale. (This might sound just plain negative at first, but, on the contrary, I see this as a huge opportunity, since it seems tractable.)
A slight variation of that is even in colloquial English, with "no." As in "we should probably get going, no?"
I just recently was a victim to "check washing," where a former tenant took an outgoing letter and then "washed" the check, adding his employer into the "pay to" field... original (and fake) check were for thousands of dollars (same amount).

Listening to my banker describe the [essentially lack of] features securing modern US checking, I decided then and there to remove most of the money from my checking account — all future checks will be cashier's cheque (which apparently offers much more security, including "pay to" verification before funds x-fer).

I've also stopped using credit cards, and instead use a random CC # for each transaction service (the cost is minimal for the protection).
Yes. Facts are often used as propaganda and in fact can serve as the most potent form of propaganda because they often lack context and humanity. The rise of science and statistics in the 20th century was accompanied by the most racist and evil regimes for a reason.

Most of the genocides, eugenics, racism, etc of the US, Britain and Germany in the 20th century was pushed by progressives wielding facts and science as blunt instruments.
All of these exist for json, and since yaml has the same object structure as json these tools can mostly be reused

1. Plain old hash maps and arrays. No special stuff required
2. JSON schema exists and works pretty well
3. JSON path and json patch cover this. Though because json follows a plain object model there just isn’t as much need.

Contrary to xml having clean object structure and not having to worry about using nested data or props makes all of the above easier and require fewer special tools. Additionally in the qemu example you can see problems with xml right away look at this extra “qemu:” structures, yay more stuff to parse. Then the args come in as repeated elements, are those an array or not?
As long as new people are growing up, they're going to need their own phones, so there will always be a market. The same of course with many other consumer goods.
This framing is a concession to people who are terrorists. Many people who are optimistically working towards a better future (and here I mean broadly almost anyone) are not arguing for "infinite growth in closed systems." Everyone is and has been trying to optimize things as well as it is in their capability to improve the situation.
Maybe consider deadlifts to strengthen your trunk if that fatigues you