skysight-inc/HackerNews huggingface dataset:
Incredible how fast successful startups shut the door in front of their customers.
Netflix, Disney+, and others don’t allow better quality than 1080p on laptops. I think Disney+ doesn’t even allow more than 720p. So they are never 4K. It’s quite annoying and obvious on large monitors.

Edit: Netflix changed this sometime in the past half years: https://help.netflix.com/en/node/30081
The finals is such an impressive game. I’d love to learn how they managed it. The destruction of the entire map doesn’t slow down the game at all.

That said, the only thing stopping the finals from becoming a leading franchise is some balance and game design issues. They’ve built a wonderful casino, but the rules for the card games are rough around the edges. I hope they can drive a dump truck of cash up to riot HQ, and hire a designer passionate about esports. There is so many obviously wrong things in the game… like the recent lh-1 buff that lasted a day before being reverted. What were they thinking? That said, it’s the first game I’ve played in twenty years that makes gaming feel new, and we love so many things about it.
This isn’t true. You can do business through Safari all you want and Apple takes nothing. Indeed I have bought Kindle ebooks on my iPhone that way.
These aren't their customers. The likes of OpenAI are.
3 in 10 Companies Currently Have Fake Job Postings Listed
The part I love about paper-bases voting is the ability for anyone to visit the polling station and understand from A to Z how it works and how security is graranteed.

If you have doubts about the system, you can just come and see.
Android is the more closer to iOS example though. They have alt store and you can also download app through chrome, yet most users only use Google's play store.
Linux geeks cheer as Arm wrestles x86
You might find Viper (Verification Infrastructure for Permission- based Reasoning) from ETH-Zurich useful - https://www.pm.inf.ethz.ch/research/viper.html and https://viper.ethz.ch/tutorial/

I came across this when researching/studying Formal Methods but have not yet really sat down and tried it out.
> the country of free market

It's a common misconception, but the US actually has a mixed economy.
Ask or aks? How linguistic prejudice perpetuates inequality (2022)
This is fun! In trying to find an edge with generating based on a word, from what I can tell it also has a border of not-bombs which gives the player an edge they wouldn't have in classic minesweeper.
> That’s a laugh. Language isn’t spread by way of EU diplomats. Regular people are more likely to be “anchored” to American English.

American English is the best variant of English because we stole it. Nobody cares if somebody messes with it because, eh, it isn’t ours anyway. Let’s drive this language like a stolen car.

> this uniform blob of non-Anglos who drive scooters, eat baguettes and go to raves. And speak the same pidgin apparently.

Sounds awesome, maybe they are just envious!
National Auto Dealers Association (NADA). Once there was a large number of these independent dealers, they had the political sway to get it made into law.

https://caredge.com/guides/how-did-car-dealerships-become-so...
The article itself is a very interesting summary of the technology used.

As for the comments, there seems to be a big discussion on whether NFC or barcodes (includes QR codes) are the better technology for public transport ticket I have a completely different view: No matter what technology you are using, after having used public transport in multiple cities in Germany with the same flat rate tickets, I wonder if this could be feasible in every city or country. Just not caring about a ticket seems to be the most user friendly option.
It seems to work well, but such a system would need to prove itself in areas where public transport is already quite crowded, like London.
OpenAI transformation from research lab to typical product company is almost complete.
The article said that Engineer PA-24 is good since it has cylindrical dies! I haven't tried it since I wanted to do the full crimp in one motion. Maybe that desire was irrational.
To me this just means that apple has a lot of growth opportunity in Europe.
Titans of Tech – Unrivalled era of A.I. led innovation for European Tech
> Especially with computer proof systems growing in popularity there's an increase in the interest in constructive methods.

I think one big reason Lean is much more popular among mathematicians than Coq ever was is that Lean is pretty unabashedly classical (that, and mathlib). That said, for people who care about program verification, Coq might be the better choice. I'm not anti-constructivism where it makes sense.
We could....just define in law that corporations can do those specific things, without explicitly tying them to a notion of "personhood".

I agree that "corporate jail" doesn't make much sense, at least not in a direct analog to human jail. I think the closest you could come to "jailing" a corporation would be for the government to take temporary control of it, go through it with a fine-toothed comb to eliminate the corruption and malfeasance, and operate it for the benefit of the nation as a whole for a specified period of time, then re-privatize it in some manner as long as it wasn't some kind of a natural monopoly or necessity of modern life.
Really near.

Also discussed 11 months ago:

https://news.ycombinator.com/item?id=36821985 (15 comments)
Yep, I've never gotten anything out of the test drive either - my mind was already made up based on price/features when I went to the dealership. I'm more-or-less just looking for something that gets me where I need to go safely, I don't care about "handling." My last car purchase (a Nissan Sentra) I didn't even bother with the test drive, I felt it would just be a waste of time.

The other thing is that some "car people" that I know will rent a car before purchasing it because the test drive is far too superficial for them.
I mean I get that people are doing that but it mostly seems like a way to poison your information stream by multitasking in-depth recitation and thereby making yourself vulnerable to what I'd call "recall exploits", where people remember some wrong information and can't even remember where they heard it, possibly misattributing it to the podcast itself, kinda like old people do to themselves constantly by just casually having cable news on in the background. Even if you assume no malice, like you're self-hosting your own fine-tuned llama or whatever, lack of accuracy is enough for this to be a problem

Like I'm aware that 80% of econ and business talk is gonna be BS anyway but turbocharging that effect seems unwise
This is what Washington DC did when I moved here. They theoretically had zones, but in reality it was arbitrary. Moving to meters was an amazing development.

Similarly, as LLMs become more and more commonplace, the pricing models will need to be more predictable. My LLM expenses are only around $100/month, but it's a bigger impediment to pushing projects to production when I can't tell the boss exactly how it'll be priced.
>We buy so many things "sight unseen" because of the quality and reliability.

Name 1 or 2 other things you buy "sight unseen" that are remotely close to the cost of a new vehicle.

>I will buy a reliable car sight unseen like I bought my big screen t.v.

If you have zero preference for the multitude of ways even similar cars can vary, you aren't an average car buyer. Most people care about these things, be it sight lines, headroom, where the chargers are, driving dynamics...
Masala Labs: The Science of Indian Cooking by Krish Ashok.
> What if desktop computers were inherently multiplayer? What if the operating system placed people on equal footing to apps? Those were the questions we explored in building Multi, and before that, Remotion.

I presume that Multi actually did something useful, perhaps some sort of virtualization. But this description doesn't tell me anything useful about the company, nor does it even make sense. Is a desktop computer a video game? Why would it "play" let alone be multiplayer? Why would the OS be on equal footing to the apps? It doesn't make sense let alone be useful.
January 1, 2000 - Some videos I took last week on a GoPro where I never set the clock
Funnily enough I tried Tuple.app literally last week for the first time and the experience was incredible. I love their "privacy veil" feature. Good job if anyone's looking for a replacement that seems like the best alternative to Multi app.
Despite the thorny nature of insurance they do already cover lots of things that don't do much good or aren't very efficient. Also medicaid/medicare are more susceptible to political considerations.
Licenses aren't for road use. They're for motor vehicle operation. You are also free to use a road without a license if you use a vehicle that doesn't require a license. Or your feet.
May I ask why you regret it?

It could be that my professors were simply not that good, so that I don't really understand this. I mostly groked the subjects by working through the books and exercises in them. The professors' lectures almost always went over some detail too quickly, so in a 3 hour lecture, I usually ended up following only the first hour or so.

My question is maybe better put as: what quality or approach makes them great lecturers?
Would it not be a possible resolution via court order as a punishment for conviction of crimes? I mean, they killed hundreds, that's a capital crime in most places for individuals, I think collectively killing half the company, or even literally in case of executives and board members might be appropriate.
Dealerships are more entrenched, but the economics aren't that different from big box stores selling white goods, bike shops selling bikes, etc. Retailing is hard, expensive, and idiosyncratic; providing adequate after sale service is worse. A manufacturer might reasonably prefer to make and market cars, while shuffling the inventory risk and retailing cost off to someone else.
I'm sure someone is interested to know that the plane involved is a Boeing 737 Max 8.

https://nypost.com/2024/06/23/world-news/korean-air-passenge...

Airliners.net discussion: https://www.airliners.net/forum/viewtopic.php?f=3&t=1494437&...
I read a particularly disgusting book called "Competitive Strategy" by Michael E. Porter, that plainly explains how and when to carry out each of the monopoly-preserving actions you have listed
well, "best" is subjective, but IMHO the best argument against it is that some companies would skip FDA altogether and try to go direct to market, and would use marketing tactics to undermine faith in the FDA and convince people that the lack of FDA approval doesn't matter.

Personally, I do think this would happen, but I think there are better ways to combat this than to use force of law to gatekeep which molecules people are legally allowed to put into their own bodies. We could (and should) still require them to provide evidence for any claims they make, and failure to provide evidence opens them up for liability. There are situations in which paternalism seems justified, but I think in this we've gone way overboard.
The Brave browser and/or SmartTube seem to work for me. Now we just need a smooth way to transition from when clicking on a youtube link - to have an option to open one of those two (for desktop and mobile). Does anyone have any better options?

https://brave.com/

https://github.com/yuliskov/SmartTube
It might be somewhat different in that it's only for programming, but Zed is a "multiplayer code editor" with channels, notes, video chat, screen sharing etc.

https://zed.dev/
Browsers take hyphenation hints: insert &shy; in a word to tell it that it can put a hyphen there. Either combined with css ´hyphens: auto´ to tell the browser to also choose where to put hyphens, or ´hyphens: manual´ so your hints are the only thing that counts. Then just do it all server-side. Browsers still aren't the best at actually using that, but it's better than not hyphenating at all. (and of course you could write your own layout engine that uses your soft hints)

But shipping a whole dictionary wouldn't even be that unreasonable. A reasonable English dictionary is about 1.5MB compressed or 4MB uncompressed.
That's the nice thing about (hypothetical) robust anti-trust enforcement... it makes sure the best customers are actual users.
Hm, interesting. I probably knew about that sub-clause in the past, but had forgotten.

I 100% agree about numbering them.
The problem is that if the user tears the card away from the reader in the middle of an update, that card can end up with corrupted data. This makes implementing the increment-only counters more complicated. For instance, the straightforward approach might hold 00 FF in two bytes. If you increment the counter by updating the low-order byte first, but the card gets torn away before you update the high-order byte, you end up with 00 00, and the counter has gone backward.

A simple way of preventing tearing is to have two copies of each counter; if there is tearing, then the two values will be different.

Looking at an NXP patent [1], they use a much more complicated approach, using a level of indirection. They write the new value to a different memory page and then update a pointer to
the new page. There are various progress bits recorded along the way so they can roll back as needed.

[1]: https://patents.google.com/patent/EP3226141A1

Here's an article describing an attack on the anti-tearing feature: https://blog.quarkslab.com/rfid-monotonic-counter-anti-teari...
For the right amount of money, anyone is willing to walk away from an enterprise, profitable or not. There are outliers, but they are rare. We all have a price that is enough.
The paperwork to do one transaction might not be too bad, but keeping all the inventory on pencil and paper seems like a pain.
I am sympathetic to the fear that this would lead to scientists being thrown in prison for technicalities or even misunderstandings. Nobody wants that.

We also don’t want a cottage industry of performative, ladder climbing researchers siphoning funding from real ones.

At a minimum, the public could stop funding researchers with faked data or images. It’s unacceptable that the NIH keeps funding known frauds. If you doctor images, you’re done.
The Dawn Chorus Map of Birds
Ah, you're correct. However, the linked litigation doc argues that the two have an agreement not to compete with each other. It also explains that it's very disruptive for a dealership business to transition to a new data management system.
Whether or not either of these is user-hostile is up to interpretation and preference, but you're stating it as if it is objective fact.

You see user-hostile shrinking of the scrollbar, someone else sees more room for content and hiding something that isn't necessary until you need it. You see loading content piecemeal as hostile, someone else sees blocking that 1kb of text from being displayed while you do more network-intensive work as hostile.
Any normality that is not backed by violence is respectable.
w2 employee. They'd have to get in line in small claims court because they weren't out of pocket enough to really sue.
> Money is rarely a limiting factor as much as the desire for more money.
reply

Posted by someone whose apparently always had enough.
Support running in a pendantic mode requiring and enforcing type declarations.

https://stackoverflow.com/questions/63838471/possible-to-enf...

Also, simplify the whole str / byte / utf-8 encoding decoding process. Python is the only language where these errors are so prevalent.
>My last car purchase (a Nissan Sentra) I didn't even bother with the test drive, I felt it would just be a waste of time.

Something led you to buy a Sentra, though, a car that is middling in its class. Why?
I would suggest iced if you're ok with Rust https://github.com/iced-rs/iced

It's amazing, but I should warn documentation right now is not quite thorough
about 1/3 way through the video and I'm getting the impression this is an elaborate joke.
Sort of. An insider build that was never fully released. Does that even get updates anymore?
> Yeah it won’t compete with LCDs on price for a while, maybe ever. But the high end of the market would love it.

The problem is that it is hard for them to compete with OLED, not LCD, because the price difference is much higher than the difference in quality.
Future of Scientific Problem Solving? Sharing Pre-Built AI Solvers Like Recipes
An interesting find.
In scientific computing, I've learned to accept the performance/accuracy as it, slow and iterative, many runs being similar - Would pre-built solver templates with AI models reduce repetitive compute?

There are commercial software to solve domain-specific problems, but seeing how AI is starting to show significant performances in domains such as weather forecasting, one wonders what value can AI bring for other domains?
Are there other scientific domains where this concept could be applied?

I've yet to see established open-source solvers working to incorporate AI.

What are your pain points in scientific computing?

I would definite like to see a future where solving these is as easy and ubiquitous as LLM are now.
You have to realize that it's you who is the oddball, not the rest of us.

It's not useless information - I get to track what I ate when, I get to figure out the recipe if I like something etc etc. Imagine going "What you had for breakfast is useful information" as if your brain isn't already full of useless information.

> at least until their brain fills up.

(X) That's not how it works.

>If I don't, it's gone.

As I said, for the rest of us, it isn't an issue. We just remember. You don't - so you just go "it's useless information." It's not for us.
Seems like outsourcing to a lab to verify would have equal chances of fraud as the supplier ?
Yes but here you have an unattended and scalable setup
Multiplayer is a SAAS term for collaborative. So in the same way google docs is collaborative, I guess the OS would be too?
Broadly speaking, I agree with the article. This has the potential to leapfrog mass transit as well as Uber. But how the Waymo model develops is probably unknowable right now. Will there be a variety of Waymo vehicle purpose-built for Waymo? Will Waymo become a bus service on heavily traveled routes? Or will iit becomme a kind of franchise where the transit agency is responsible for the vehicles and Waymo becomes a white-label enabling technology or are bus routes going to be obsoleted by right-sized privately owned Waymo "mini busses" with dynamic capacity and pick up/drop off on demand?

My guess is that Google will try to get out of the business of owning the vehicles and make Waymo an enabling technology. But there is a lot of experimentation to be done before anything other than how Waymo has evolved to become part of what Waymo does.
Plastic particles in bottled water
Left leaning red black trees enforce extra constraints, which remove symmetries. This actually adds an edge case when instead you can just treat left/right rotations and comparisons as symmetric operations.

Left Leaning Red Black Trees Considerer Harmful: https://www.read.seas.harvard.edu/~kohler/notes/llrb.html
Major Labels Sue AI Firms Suno and Udio for Alleged Copyright Infringement
Caring about internet points is pathetic.
these are phenomenal
If you know of a developer who would've done responsible security, but was pushed to ship instead, against their protest, I'd be happy to hear that.
hug

> So I drift from one interest to the next, because the only reward I get is from novelty, as long as things are interesting I can stay focused, but as soon as I loose interest my brain stops giving me a reward signal and I move on.

That hits so hard as a fellow ADHDer. I read that then turned around to look at my disastrously messy home office filled with hundreds of partly done projects and abandoned hobbies. I often wish I wasn't highly compensated since being broke would meter me. ADHD is a vicious cycle.
No love for jetbrains pairing solution inside idea?
Maybe self-operated is better terminology -- that's fair. (Though I think one of the key points is that there is almost nothing to operate.)

For me, the fundamental issue is whether I am controlling what code is out there, I'm paying the pure infrastructure costs, etc. So whether it's self-hosted or self-operated doesn't matter.

For some it sounds like if you aren't managing it at the operating system level then it isn't self-hosted.
WWDC 2024: Apple Intelligence
I was thinking more about all the computation to decide what the properties should be of hidden elements, not the actual render state as in "pixels on a screen." (It is unfortunate that React kind of disrupted the terminology around this!).

IIUC unless I'm missing something, if I'm using Vue to drive, say, a list of thirty elements on the page from a JavaScript array somewhere, then when I update the array I'm still going to want to do all the text slicing, splicing, element creation, &c even if the entire list of thirty elements is hidden (and this won't be as expensive as it'd be if the list were visible - cost deferred until the object is actually visible and needs layout and render - but the JavaScript to set up its state is still running). Whereas in React, the fact the component that's parent to the list isn't in the DOM at all means the update logic for the list state wouldn't fire at all, no matter how many change events occurred.

(I'm sure you can do something similar in Vue, by detaching listeners when a given element is hidden).
> not sure why it’s several multiples of a cache line - maybe to help the prefetcher or to minimize cache line bouncing?

The AMD64 cache line is only 64 bytes, that would make for very low branching factors given interior nodes need a pointer per child, plus key, plus record pointer if b-tree (as opposed to b+tree).
This is a really great list (well, maybe not link previews, but everything else).

Sidenotes in particular are something I want to see basically everywhere, not just blogs. Modern screens have tons of horizontal space, text is most readable in pretty fairly narrow columns anyway, and scrolling to the bottom just to read a footnote (or, worse, having it pop up in some janky pop-over) is really unpleasant. Happy to see them catch on the blog world at least.
Second Life's loyal users embrace its decaying software and no-fun imperfections
I stand by my claim.

I point you to https://breckyunits.com/pcri.html

Further background:

- https://breckyunits.com/intelligence.html

- https://github.com/breck7/breckyunits.com/blob/main/research...

- https://github.com/breck7/breckyunits.com/blob/main/research...

- https://github.com/breck7/breckyunits.com/blob/main/research...
> there is an abundance of other theorem provers that can model C very closely

Can you list some/all of them please? Would be helpful to others here.
I disagree with your assessment in all cases. You simply do not know what you were talking about.

Standardization efforts and backward compatibility assumes a well-behaved application. If you explicitly depend on really weird hacky stuff like abusing corner cases in the object file format, you risk breakage and you will break.

In the Unix world, firstly, platforms that aren't Linux typically say that if you don't do syscalls through system libc, all bets are off. Second, if they standardized a few things here and there, they are likely standardizing stuff that will formed applications linked with typical libraries will exercise. Standardization does not imply explicitly listing all possible corner cases of your object file format.

On Windows, I happen to be a former Microsoft dev who worked on Windows in 2008-2011. If an app were trying to push the limits of the PE format, I don't think it would get fixed on the platform side... I've seen popular applications do much less bad things and get broken.