skysight-inc/HackerNews huggingface dataset:
You have no idea how many steps, robotics, offsets, material feeds, alignments, tool setup, recipe fixing, materials troubleshooting go into a fab. These are all to run automated processes. You underestimate how difficult it is to sink heat in a vacuum and the cost of scaling volume and keeping pressure to a low exponent (high vacuum).

Robot surgery is tolerant of a much greater length scale of defect than a modern IC chip and is orders of magnitude fewer process steps.

Try to watch a youtube video or something but even then you won’t see the full picture. There are so many layers and the wafer passes through different flavors of the same processes over and over.
no one is successfully using LLMs for anything other than customer service related things and text generation(coding, writing)
a guess before having read it: corporate greed?
I've used fontforge out of curiosity before, but never kept what I made.

I am still using a custom mouse cursor I made almost 20 years ago.
Most people don't need 15GB of sensor data, so I don't think this is the best measure of HA being hands-off or suitable for the average person.
LLMs are not the right tool for the job, so even if some marginal bits can be improved, it fundamentally cannot "get better".

The job of a software engineer is to first understand the real needs of the customer/user, which requires a level of knowledge and understanding of the real world that LLMs simply don't have and will never do because that is simply not what it does.

The second part of a software engineer's job is to translate those needs into a functional program. Here the issue is that natural languages are simply not precise enough for the kind of logic that is involved. This is why we invented programming languages rather than use plain English. And since the interface of LLMs is by definition human (natural) languages, it fundamentally will always have the same flaws.

Any precise enough interface for this second part of the job will by definition just be some higher level programming language, which not only involves an expert of the tool anyway, but also is unrealistic given the amount of efforts that we already collectively invest into getting more productive languages and frameworks to replace ourselves.
It is quite famous in hn and discussed a lot.

https://news.ycombinator.com/item?id=31261533

https://news.ycombinator.com/item?id=38591084

His whole blog is a treasure trove:

https://ciechanow.ski/gps/

https://ciechanow.ski/airfoil/

https://ciechanow.ski/internal-combustion-engine/
If a law can not be properly enforced, especially without having poor consequences for the majority of people, then it's a bad law.
Miyamoto explains how Nintendo is countering rising development costs
https://robotodyssey.online
OK with some configuration a server OS can do it too. Looks like ClosedAI doesn't pay sysadmins enough if they did not configure such a standard thing.
37signals Dev – A vanilla Rails stack is plenty
At the other end of the spectrum, I just managed to split up my HA automation files and mount them into a ConfigMap on my K8s cluster

https://github.com/shepherdjerred/homelab/tree/main/cdk8s/co...
There is rarely a need for GRUB on EFI systems. Create a unified kernel image, create a fat fs gpt partition, mount on /boot/efi and put the image there, then add it to efibootmgr. Sign and use systemd-stub and Shim for Secure Boot. No GRUB, no systemd-boot, just EFI firmware -> initrd -> kernel. Tried and tested on Debian 12 and Trixie. Can also dual boot Windows if the machine has a way to select an OS on boot, something most systems have these days.

I think the work required to do the above vs just using the standard installer is what holds people back, but it's hard to mess up once it's done.
Interestingly, an Oberon successor came up here recently:

https://news.ycombinator.com/item?id=42413343

Having just watched:

https://ocw.mit.edu/courses/6-001-structure-and-interpretati...

and recalling a comparative programming language class from college, I'd be inclined to argue for Lisp and the idea of the students creating a programming language during the course of the class.

The thing I find most striking is that the book:

_How to Think Like a Computer Scientist_

(now _Think Python_)

has had many different versions for different languages, but apparently not for Lisp.
Anything aws does to their ui is only worse to already bad
Or maybe it’s Google Search usage that’s plateauing, as LLM interest is answered elsewhere?

I am only half kidding.
Previous discussion of the same article published elsewhere: https://news.ycombinator.com/item?id=41893200
Interesting, thanks! PUT is advertised at 3500/s, so with a combo load, you were at least within range of advertised limits. I have not approached that scale so didn't know, it was a real question!
This is misleading.

You've only identified body builders specifically here. Strongmen, powerlifters, wrestlers, and other elite athletes can put in a similar amount of hours as a bodybuilder at the gym and certainly gain more "real strength" than a farmer will.

It just feels romantic for many to imagine that the farmhand is the "real" macho man.
If, sure. Do we have any reason to think the problem was a misunderstanding or a misreading?
This is the case where you buy from experts instead of doing it yourself. You tried, thought it was impossible, someone else figured it out.
> The web site says "the project does not accept patches from people who have not submitted an affidavit dedicating their contribution into the public domain."

I have been always curious about this. Is there any more public information to this? When one submits a affidavit, do all their work become public domain? Do you highlight the code and get a affidavit with each contribution?

for e.g. in my country India, I don't think it is not possible to get such Govt approved affidavit.
Doubtful that the energy spent on building muscles is significant as there are also compensating factors that stabilize our metabolic expenditure.
Don't worry, Elon will ensure you can continue to put everyone else on the road at risk. If you have the cash.
The link is superb. Thanks a lot
This is beautifully done. It's rare to see his tributes that improve on exactly the right features that made the originals loveable. This squarely falls into that category.
Yeah idk why we didnt just send binary data representation therefore eliminate entire serialize and deserialize part
I hope these gains translate to linux. I get 5 hours with web browsing on a gen 10, but it is sometimes 2.
As someone who has been involved with both, it’s substantially easier to work with high school kids from the Disney script vs Shakespeare.

A good working copy of Shakespeare is going to run some money just for copies.
+1 for HA on Proxmox
> A super missed opportunity to rebrand/completely revamp Siri, and instead an implicit acceptance of defeat that Siri is still so dumb

I don't understand how Siri is so bad. If you just hooked it up to ChatGPT then Siri would actually be incredibly useful. The only reason why Siri still exists is because iOS doesn't let you replace it.
Indeed, all humans must have been as big as Michaelangelo's David: 17 feet tall, since anyone who acquires the skill of accurate detailed sculpting automatically loses their ability to do anything but a 1:1 scale. :p
> What's scary about mirrored DNA

Exponential growth of a self-replicating cell with zero predators.

> Mirrored amino acids already exist in some organisms.

You can have an entire planet full of mirror amino acids if you want; that's not the hard part. The hard part is evolving the entire set of mirror transcription proteins.
Usually you can choose your provider. Employers typically offer health plans from only one or two payers, but each payer's health plans have many network providers. Of course some of those providers may be inconveniently located or not accepting new patients so depending on where you live the actual choices may be very limited. The other option is to go to an out-of-network provider but that typically means higher out-of-pocket charges for the patient.
Testing Some Tidbits
It's always been strange to me, given that Lovelace's program was a note in some documents that she was preparing under Babbage's directions as a scribe of sorts, that so many people assume it was her work and not Babbage's. Based on other details of her life she was clearly a very intelligent and talented woman, but the obsession with attributing the first ever computer program to her seems entirely ideologically motivated.
> LLMs are in many ways text predictors.

Actually, in every way. But LLMs don't "predict" in the sense of predicting the future. They predict from probabilities based on training data. They auto-complete based on samples of words used in similar contexts before.

Since politicians tend to deliver stock messages, using a specific kind of language, and repeat themselves, an LLM may very well successfully auto-complete something as canned and, well, predictable as a state of the union address or inauguration speech. The vocabulary and space of novel thoughts will stay small in such contexts (more or less depending on the speaker). A bot to imitate almost any president since Lincoln would only need slightly more sophistication than a word processor.

LLMs would have less success "predicting" what I might say in a conversation unless I have written something similar before and that got into the training data.

Using an LLM to predict or simulate what someone might say introduces the temptation to confuse the prediction with what someone would actually say. Imagine talking to someone who interrupts to finish your sentences. They may get it right, more or less, probably not verbatim.
> Let's async all the things IO and not pay attention to database integrity and reliably fsync'ing with storage

I am not sure how does this affect database integrity or reliably fsync-ing

for e.g. TigerBeetle is another rock solid database which uses async IO. I mentioning it because it is way more mature than Limbo and does a great job at durability
You say offtopic, but I think AI video generation is the most on-topic place to bring up the subject of falsified politically charged statements. Companies showcasing these things aren't exactly lining up to include "moral" as one of the bullet point adjectives in a limitations section.
Video without the id. You pick which definition of id.
Siri has gotten better, but it's still so bad. I really hope they continue to iterate, or at least allow apps to replace Siri (never going to happen).
Practice will clearly improve your performance on puzzle questions like these. Is that really testing intelligence, or just interest and motivation for solving puzzles?
TikTok asks Supreme Court to block law that would shut down app in U.S.
keanu reeves?
> My solution was to have a central function on a timer that read and parsed the files every couple of minutes, loaded the data into a SQLite database, indexed it, and put the file in S3.

I really love using S3 as a storage backend!
https://archive.ph/QpXbS
Discussion (162 points, 3 days ago, 28 comments) https://news.ycombinator.com/item?id=42417357
Making Apple Watch functional with Android
Let's see if the no code solutions will live up to the hype this business cycle. MIT already released Scratch.
I have an account like that that simply exists but can never interact. Support requests (even when I figured out how to make them) do nothing. They just say "It will be fixed within the week"
Thus giving rise to the old joke: "GOD IS REAL, unless declared integer"
You're free to intentionally miss their point, does them no good.
What are differences ?
Who's making a fuss? I intend on taking advantage of the situation :)
Until the AI can master the art of creating "footage of someone's phone if they were in the crowd of the speech in this other video", then we can't even trust that.
Yeah, a lot of my experiences tally with yours. I'm undiagnosed. Not interested in a formal diagnosis, and I seldom mention it. The only reason I have any inkling that I have this condition is that my wife was listening to a radio programme about it and said "Come and listen to this! This is you!".

But yeah, I think of the time I spent trying and failing to do relatively difficult maths and feeling miserable about it, because I "needed" it for a programing career makes me unhappy.

I can still do logic, so programming was just fine (until the lecturer asked us to write a program to solve a quadratic equation. Fortunately, that never came up in my actual career for some reason).

Don't let anyone tell you that you need mathematics for programming, it's actually not as highly correlated as people believe. Reasoning about SQL joins or writing your own SSG or other programming tasks are step-by-step. Recursion, that makes my head hurt though.
Got sources on your claims? All the sources for the second one, that I can find, say methanol and ethanol can be separated by fractional distillation, that it is isopropyl and ethanol that is troublesome due to their close boiling points. See for instance this patent https://patents.google.com/patent/US4013521A/en on purifying methanol
Okay, but one thing you kinda miss is that trading (e.g. investing) is still one of the largest ways for people to make money. Even passively investing in ETFs is extremely lucrative.

If LLMs become so good that everyone can just let an LLM go into the world and make them money, the way we do with our investments, won't that be good?
Small discussion already (7 points, 4 comments) https://news.ycombinator.com/item?id=42436587
Top Breakthroughs of the Year in physics for 2024 revealed
They were supposedly commercial vehicles with real need for size and towing capacity.

Because no one would fork over stupid amounts of money for a f*k off big truck if they didn't have a real need. Right?
If you can demodulate the signals, they're not noise! That technique is called SIC (successive interference cancellation). Basically, you start with the strongest one, demodulate it, subtract it from the source signal (which removes it as a noise component), rinse and repeat.

Besides that, the benefit of having more satellites available in difficult geometric arrangements (urban canyons, steep valleys etc.) most likely more than makes up for the slightly decreased SNR in situations where you can view "too many" satellites at once, to say nothing of the additional operational redundancy.
Use Cases for ChDB, a Powerful In-Memory OLAP SQL Engine
Activerecord is flaw because of n+1 query issue.
Emacs, VIM, and a few others let you adjust them until you find a sastifying workflow. Other will have you bend backwards to modify the “defaults”.

Almost everything can be converted to a text workflow and emacs has a lot of features for text based interfaces.
> One of the nice things about sqlite is that there is a very extensive test suite that extensively tests it.

Yes, that sets a high bar for us. We plan to use Deterministic Simulation Testing and Antithesis to reach the rigorous testing standards of SQLite.

Limbo comes with a simulator too
Article title: A vanilla Rails stack is plenty

Submitted thrice before https://news.ycombinator.com/item?id=42411173 https://news.ycombinator.com/item?id=42405317 https://news.ycombinator.com/item?id=42400598
Really? No legislation needed because people (that is, techies with network skills) can just set up piehole? (Until of course that stops working as well because the smart TVs use DoH, eSNI, certificate pinning, etc)
I have always disliked any kind of speed tests, because that parameter becomes the trivial and over-ruling influence on the outcome ... knee-jerk versus mulling. It discriminates against multiple sub-populations, e.g. the very learned, the aged, the ill, and those who hadn't enjoyed a good night's sleep.
Sure, I don't take him at his word as to WHY he would support this legislation. And I think there's likely a reason why he might suggest legislation at all: something more "broadly accepted" like paying more taxes suggests "we are a good company," while supporting legislation normalizes the idea of legislation that doesn't yet broadly exist.

Regardless, I think that it's likely that any legislation will be influenced by big players who act as "experts" so that the resulting laws are more easily followed by them than their (presumably smaller) competitors. And the evidence is in the results. If I were starting an online community in the UK, I'd feel much safer legally using Facebook (or Reddit or Discord) than I would starting my own forum.

Looks like people who already run online communities agree: https://news.ycombinator.com/item?id=42433044
Too lazy to math, but I asked chatgpt/claude to guestimate TSMC TFR given numbers in article and it returns something absurd like 6. Which has to be wrong.

Regardless, article acknowledges TSMC accounts for 20% of Taiwans GDP for 0.3% of population, that kind resources per capita for family friendly policies can't scale. I'd be curious to know actual TFR of this cohort i.e. most affluent famillies I know below 2. Including most religious/conservative who has all the resources (maids etc) to have big families but don't. IMO short of god mandating at least 3 kids, TFR settles belows 2 because most don't want to handle more than 1-2 kids, no matter how wealthy they are. I guess people don't want to drive minivans.

Also does this pattern hold for Samsung who accounts for 20% of SKR GDP and employs 0.5% of population?
Pekka already experimented with MVCC and I expect it to make it to Limbo at some point to enable multiple concurrent writers
Thank you for the thoughtful answer! I’d never heard that history.
a bit more info: https://www.msn.com/en-in/health/other/danish-scientists-cre...
That's not a flip side: it's the prisoner's dilemma.

Doing good things on principle is in dire need of being reinvented, perhaps on first principles again.

Eventually the doing for yourself ruins the whole world. We keep sliding down these chutes, ever more convinced to do for ourselves first, as things get worse & worse socially. Even Ford understood he needed to not just create workers for his factory, but a society affluent enough & well paid enough to buy cars. We no longer have that basic sense.
Diagramming out what needs to be built is often what some of the highest paid programmers do all day
Completely agree. What is a "stable life" for some is complete chaos for others. What is "taking risks" for some is too safe and boring for others...
The high profit margins, if those figures are correct, are a much more compelling argument than merely having similar prices. Those can be deceptive too, but I haven't looked into it...
My understanding was that th3 mainly does correctness tests. Other test suites are open source and can be used to ensure compatibility
> 1. Governments sit together in a room and design rules. This isn't happening and isn't happening anytime soon.

Huh? The ITU has been assigning slots in GEO for decades. There's defined minimum distances based on the application parameters (the more directed the ground-side antennas are, the less separation you need to hit a particular signal-to-interference target) etc.

While there are currently no physical "slots" in LEO to my knowledge, the frequency assignments used by LEO constellations are absolutely coordinated by the ITU, and implemented by participating countries, as well.
Cloud FinOps: Collaborative, Real-Time Cloud Value Decision (2nd Edition)
mere trillian dollar industries. so far.
I think 260kg is small for a satellite. For comparison, GPS satellites weigh around 1000kg. Google's AI results told me that there are standard classifications for satellites, with 10-100kg being "micro" and 100-500kg being "small". I wasn't able to verify that elsewhere though.

But in any case, what I really meant was lower capacity per satellite. Until we can get numbers to compare the capabilities of each satellite, comparing launch costs doesn't mean anything. It's almost certain that Starlink will have lower costs, but probably not as much lower as people are trying to imply here, given that I also found some claims that the entire Starlink fleet of satellites is expected to run 100-200 billion USD.
This quote cracked me up:

“I HAVE NO TOOLS BECAUSE I’VE DESTROYED MY TOOLS WITH MY TOOLS”
Like I said, 3D printers have gotten incrementally better. Buddy of mine makes high-quality prints on one that’s way cheaper than what I owned back in the day.

And yet nothing has really changed because he’s still using it to print dumb tchotchkes like every other hobbyist 10 years ago.

I can foresee them getting better but never getting good enough to where they actually fundamentally change society or live up to past promises
But the article doesn't give a single site or name a single community; it provides zero evidence of its claims.

> Camille, a 20-year-old who has struggled with an eating disorder since middle school, described her community as initially intended to be a safe space but ultimately spiraling out of control due to algorithmic influence

If these claims are true, why not simply demonstrate it; at least state the name of the community so readers can cross reference (to ensure it's not 'boogyman' | typical alarmist-bait), or show us screenshots, or create a dummy twitter account and scroll down the feed as evidence of 'algorithmic influence'. That's 15 minutes work. Why doesn't the journalist do that? Is it possible these things aren't nearly as bad as they claim?

Algorithms will promote what the user clicks on and engages with. Simply: three dots -> Not interested in this post. That retrains the algorithm. And if people are seeking harmful content, they'll find it with or without algorithms, with or without twitter, with or without the internet! Are we banning books next? And conversation? What about reasoning in one's own mind, that too?
Show HN: Fight Jet Lag with Science-Based Travel Protocols
I built FightJetLag.fyi to help travelers reduce jet lag and feel functional faster.

Huge fan of the sleep research and functional performance research and wanted to ensure everyone has the opportunity to understand Jet lag and plan for it!

You enter your travel details (current location, destination, date/time of travel), and it generates a tailored protocol to minimize jet lag. The suggestions are split into:

-Before Travel
-During Travel
-After Travel

The advice is based on sleep, nutrition, light exposure, and other science-backed strategies. You can also choose different levels of aggressiveness: mild, medium, or aggressive approaches depending on how seriously you want to tackle jet lag.

It's designed for anyone: frequent flyers, business travelers, athletes, or casual vacationers.

I’d love feedback on the site, the protocols, or any ideas to improve it. Does this solve a problem you've faced?

Try it out https://www.fightjetlag.fyi/ — and let me know what you think!

Cheers!
The SFC think the GPL is a contract (as well as a license), and that is being tested in court at the moment:

https://sfconservancy.org/copyleft-compliance/vizio.html
Ruby on Rails – The official Rails merch store is live
Same with social events. All my life, I always get this last second resistance to going, yet I'm always glad I went.

The reasons my brain comes up with for why I shouldn't go are just lies.

Just go. And take what you can get while the opportunities are still coming.
More of lossy compression
Best Breakfast Around? That's not one I've heard touted before. Expand plz. The stereotypical british breakfast in my head is undercooked bacon, beans, hard cooked eggs.
>Become hyper-aware of how a business measure your value as a SWE. How? Ask pointed, uncomfortable questions that force the people paying you to think and be transparent.

Why would you want to increase the odds of them noticing your job is no longer necessary?
Comp.programming.threads FAQ [last mod 97/5/24]