skysight-inc/HackerNews huggingface dataset:
> Why not live eccentrically and take risks?

Maybe because there are dependents that needed that money for school, shelter, clothing, or food.

There was a story in the news recently about a guy who spontaneously gave away $200k by throwing bills out of his car window. Seemed like a feel-good story, at first. It turns out that he gave away his family's life-savings and they're now destitute.[1]

Money can absolutely be wasted and spent foolishly.

[1] https://www.nbc15.com/2023/04/13/man-throws-200k-cash-out-ca...
(opinions are my own)

> Its goal is simple (at least, in principle): automatically identify dead code, and send code review requests ('changelists') to delete it.

It sends CLs (pull requests) and shows up as a commit. You get a chance to approve or deny the deletion
Have you never argued over colors before? I wouldn't trust eyes to be that accurate or objective.
I mean... it's a power outage, those happen and sometimes last a long time.

In my country, we had a strange mix of humid air hitting a cold air front, so one side of the country had rain, the other had snowfall, and in between you had frozen rain...

The result? This: https://www.youtube.com/watch?v=A2Gr_RKN4Os (ignore the weird music).

This is what the power lines looked like: https://www.postojna.si/Datoteke/Slike/Novice/123958/l_12395...

Was it a problem? Sure. But not a huge once, since everyone in the rural area was familiar with power issues even from the yugoslav era, wood furnaces are still common, even in houses with central heating (most nowadays), and well.. the country of ~2mio pop. has ~162k voulonteer firefighters, and fallen trees were removed, roads were cleared, and due to a lot of shitty wood, the toilet paper was cheap :)

Now we're looking at this (article here), and germany banning gas, oil and wood heating, and many other countries following, and even a localized event or just some operator fuckup can cause a huge catastrophy. (also, I might have a slight bias, since I know how the infrastructure works and many people who operate it, and it's a miracly we don't have more outages.... same for the internet itself... the core of the internet is based on routers saying "This is me, i own this IP block, just send me the traffic" and all the other routers believing it and doing what it's said... so yeah)
https://github.com/musabgultekin/youtube-tldw/blob/main/main...
> Regarding heat pumps phasing out gas heat, in NY it isn’t feasible. It gets too cold.

Not true, heat pumps are widely used as primary heat sources in environments as cold or colder than NY, like in Montreal and other parts of Canada. The take that heat pump tech only works in very moderate temperatures is stale at this point.
I've never lost power in NY. Lived all over the state. This isn't California.
Probably typos for sum and sentinel.
Haha, I know, I was feeling the same way sometimes in other countries where I traveled. I was working on this problem for referrals! I built a chatbot on whatsapp that right now connects to a real doctor to recommend to local clinics if someone doesn't have one yet.
The author is not interested in writing proxy code, their interest is to allow other to use their classes together with libraries that happen to use proxies.
Not at the moment, but it would be easy to add.

If your parents use iPhone or iPad, I am happy to add an intensity label and/or a filter for them so it would display/read out those that are over certain thresholds.
The poorest do because they have little education in terms of contraception and safe sex, they have low standards for QoL for their kids and just hump away like mammals without thinking about the future and the conditions their kids will have to live in, and sometimes hold conservative religious views which usually shun contraception and abortions and promote endless breeding, but the educated middle class, or what's left of it anyway, practice safe sex and want good living conditions and a bright future for their kids, both of which are vanishing.
I suspect a lot of readers here will not understand what's hilarious about this.
Income tax when I lived in Germany ('17-'19) was 42%. The Soli tax was another 5%. Transit was relatively expensive compared to Boston, where I live now, but in much better shape. Transit coverage in the suburbs seemed much better too.
We had a group from, I'd guess, 1997 to summer 1998, who played Carmageddon on a LAN in a student house more or less whenever possible. We whittled it down to a single mode of the game that we hadn't found a game breaking exploit in, and we played so tight to the bounds of what was possible that if you screwed up you were invariably dead - e.g. you take the correct short cut, you car is repairable, you win, you go a little early, car is destroyed, you lose, you go a little late, your car is less damaged but you've lost far too much time to compete with people who went earlier. We'd play in teams, one driver, one co-pilot giving directions, like rally driving.

I remember playing Carmageddon for a couple of hours after handing in my final undergraduate project, I hadn't slept for at least 24 hours, but the adrenaline meant I couldn't sleep after I finished either so we played Carmageddon. After a few matches I fell asleep on the stairs and woke up the next day, but being so young I was actually just fine.
If I read the criticisms correctly another 34% is homeless. But that 1% who owns can afford battery backups! :P
In similar vein: my local recycling collection is different from week to week (i.e. paper one week, plastic the next, etc). It's supposed to be on a fixed yearly schedule, but during COVID lockdowns the schedule changed dramatically, often day by day. There is a website that will tell you the most recent plan, but you can't just bookmark it - every time you have to specify the address and the date, which is annoying.

So I built a scraping script in python that runs once a day and sends me an email the evening before a collection is due, telling me what I should place outside that day. It's been working great for three years now, with zero maintenance.

I considered turning it into a public service, but i don't want any pressure from neighbors when things eventually break (as they will, inevitably, sooner or later). And really this should be a basic feature offered by the local authority website, so I hope they'll implement it one day on their own.
Did the conditions change? Just a week ago a German comedy show similar to the US daily show showed how much of a mess the system is and that this ticket isn't valid everywhere. One place you can take your dog for free and another you pay etc. Germany has a very heterogeneous public transport system from my understanding.
Additional note, the L4 inferencing board is also still on PCIe-4 (like the L40, very sadly), so NVIDIA doesn't seem to foresee the need for more bandwidth on inferencing workloads in the next 3 years (until they maybe get a H30 out, with the binned not-fully-functional H100s? Maybe? Hopefully?) and/or will make you pay for a full H100.
Great move, but as someone using it, it's also one of the most unreliable for its size. DB/German railway is infamous for large delays and breakdowns. There was an effort to make the lines more punctual within a decade or so, which was then, almost satirically, moved to 2070[1]. Suburban lines often come to standstill on rain or snow. Germany has a huge network of quality free highways, car ownership is cheap, so public transport has little respect even within cities.

1 https://www.tagesschau.de/wirtschaft/unternehmen/bahn-deutsc...
In the old days of PCs (maybe even now) there was a way to click the speaker at a specific frequency- I wrote a simple x86 code to click, delay, click, delay and proudly told my office mate that I could make my computer play A440.

He listened for a bit and said, nope that's 441 or so. I checked, and my program had a tiny bug where it wasn't delaying long enough. Fixed that, he verified it was now A440. He said he had perfect pitch and it was really annoying because almost everything was out of tune.
> Daily Limit Reached

> You've reached the daily limit of summaries allowed.

On the first successful video (the first video I tried didn't have subtitles)
There are some downsides of perfect pitch. For one, choral singers with perfect pitch sometimes have a hard time re-tuning if the rest of the choir shifts pitch. (This can happen naturally over a long piece that has no accompaniment.)

Another downside is that almost all people with perfect pitch lose it when they hit a certain age. Imagine being an accomplished painter. One day, you wake up and see leaves as blue-ish green instead of green. It might be difficult to adjust to no longer being able to see the world in color.

https://www.youtube.com/watch?v=QRaACa1Mrd4
how interesting/stimulating is the work?

Subjective.

what is a typical salary for a formal verification engineer?

It will depend on the application field. At a minimum I could see three potential fields: provable security (OS level eg. SEL4, application level, distributed system level TLA+, etc.), analysis (reversing/verification of compiled artifacts), and specification (industrial control and safety systems).

how do you value this field?

I don't see it a specific field at all. More like a group of approaches. Clearly they are most valuable when there is an end-user / application domain requirement for extreme clarity. This is usually associated with high cost development and assets such as aerospace, industrial, military, nuclear, space.

Is it going to grow in the coming years?

Can't crystal ball but I believe there is untapped potential for formal specification and resulting verification in the industrial space, particularly as reshoring of automation-heavy production accelerates.

Is there demand for these roles?

If you'd enjoy the industrial stuff, shoot me an email and I will introduce you to a founder I've been advising in the space.
I was starting to build this! Great idea, all we need is a flawless talking head to read it to us before every video to see if we should watch it!
I don't have a view either way, but we can measure pollution from different cooking methods under controlled conditions so we know which is better or worse independent of ventilation.

Ventilation depends partly on individual behaviour, eg I open windows in good weather and close them in winter.
Not to mention one of my most memorable travel meals was from a German rail station - just a sandwich of bread + meat but it was sooo good (note: I was living in France at the time).

German rail travel was a great experience.

Considering how most trains are electric/hybrid diesel it's clear the petroleum industry never allowed new (and even dismantled existing) rail networks. Just more profits for them.
Saying that dynamic languages are prone to make a mess is a kind of groupthink in itself.
Mats3 with Spring on JBang: Messaging-Based Multi-Stage RPC Endpoints
How to feel less lonely as you get older
Sheltering away from home is extremely expensive, disrupts anything resembling normal life - which a power outage does not - and may not even be possible if a large fraction of the local population all tries to find a hotel outside of the outage area at the same time.
One might or might not like 37 Signals and their products. Some of their ideas are fantastic, others not so much.

But claiming their text editor to be best in class when it is literal dogshit is brave.
I can't see anything there, it asks me to log in.
Everybody should listen to The Dollop's episodes on PG&E. It's pretty nuts. https://www.reddit.com/r/TheDollop/comments/11e1c8u/the_doll... https://www.reddit.com/r/TheDollop/comments/11kmmsk/the_doll...

Amazingly this is not the worst US utility company. They are all pretty horrible.
If you want to be a serious cook work in a commercial kitchen.

Induction is a far better choice for residential use.
Thank you for a good and very playable game.

It took me several tries with many different seeds, but I made it at last. 8000 points on seed 5706121. I like the simple but cool rotating cubes at the end.

I also like the non-minimized source code. It makes it instantly discoverable without having to find your repository (https://github.com/Kiryhas/memechain).

Looks like you did it without any external libraries which is cool! It looks clean and readable, and proves that developers don't need to download huge dependencies to create these types of games.

I have one minor suggestion. It would be great if you made the highlight a bit clearer when you are hovering over a matching cube. Sometimes it can ba a bit difficult to hit the correct spot. Maybe you could highlight the hovering cube as well in addition to the outline?
Funny enough, I'm actually developing an AI-powered biomedical technological breakthrough that's about to disrupt the medical industry. It uses wearables to enable a blockchain-enabled data management system that also functions as a cloud based SaaS provider, linking with ChatGPT and NFTs to create value for those who are underprivileged, all with only 1 drop of blood. If you want to further this please give me a few billion dollars and I promise something might come :)
Functional or delicious ≠ accurate to the source material.

Because it's a layer of abstraction, mate. One known to get things wrong, because it's an LLM. If I write a post about Richard Stallman's opinions on paedophilia and Jeffrey Epstein (https://en.wikipedia.org/wiki/Richard_Stallman#Controversies), and it incorrectly tells you that Stallman associated directly with Epstein, or is a paedophile himself, that would not be accurate to the source.

At least with a Google search result you can go more directly to the source. If the scientific method is getting to the truth, why on Earth would you put an obstacle in front of it?

If someone tells me x, am I going to believe them? No. So, why would I believe an LLM if it isn't presenting sources to me that are 1:1 in accuracy to the information it presents to me?
It is not too cold in New York for heat pumps. With 20 year old technology yes, it would have required supplemental heat. Not anymore though, not until you get down around -25/-30f, at that point a resistive heater kicks in to assist.
SVGOMG – Optimize and minify SVG images
> There’s a real feeling of satisfaction that comes from working together at a whiteboard on a problem.

Always the same argument used as cornerstone for RTO — it feels good. I’m sure it feels good to be a CEO in an office where the power dynamics make everyone your friend.

But what about the huge senior talent shift from RTO companies to remote ones? It’s getting more and more tough to compete for senior remote roles because the supply of serious talent is tremendous, it seems like every engineer bringing top skills and expertise to the table is now looking for remote work. So many new start-ups are building all-star teams just from this. In the big games industry, for example, there isn’t a week without 3+ articles how ex-AAA heavyweights are starting their own studios and staffing it with only long-term AAA talent.

And where is all this brain drain coming from? From companies where the CEO felt good about RTO, so they did it against the interests of their people.
> And not to mention, gas is still the first choice for most serious cooks, so the small benefit comes at relatively large cost to lifestyle.

Induction is fantastic and even superior to gas in some ways (even faster for boiling water, for example). While some may still prefer gas, given that induction gives instant power and is more powerful, I have a hard time believing that it results in a "large cost to lifestyle".

Besides, gas stoves actually cause a significant amount of indoor air pollution, which may be more relevant than the climate change impact. They are quite literally bad for you: https://www.health.harvard.edu/blog/have-a-gas-stove-how-to-...

> Children living in households that use gas stoves for cooking are 42% more likely to have asthma
We’re in the Boston area (west suburban town) and there are outages about every 4-5 months (Eversource). It’s quite annoying and I’m contemplating getting a whole house generator. My solar panels do nothing during an outage. Would love to get a couple of Tesla Powerwalls but too expensive and long waiting list.
I think his criticism is warranted when you think of 37signals without Ruby on Rails or the open source angle. Judging them just on their products.

I don't really see people refer to them as the cream of the crop. Basecamp's UX is opinionated but still complicated: I get lost on it even though it's a simple product. It seems to work well for a team more similar to 37signals'.

Hey.com I haven't seen take the world by storm, even though it does seem better than most e-mail software (and I do appreciate their technological solutions on it). I guess most people don't have that problem with e-mail that the Basecamp founders do.

That's a bit of a trend for them: they often claim people should do one thing and everything else is worse, even though that one thing really works for them and might not work for anyone else. Their agile methodology, their team size, their tech stack, etc. they often pose themselves as the "sane" ones doing it simple and easy, while everyone else is chasing the wrong thing.

So in that sense I can see why OP said they're reactionary. I would disagree, however, as they've been revolutionary on many fronts, but it's usually as part of a contrarian view that sometimes is more of a miss than a hit.
XTS-210 25hp rotary engine; 1/5th size/weight of diesel piston engines
isn't Luxembourg a notorious tax haven?

more like people there get a lot in return for other people taxes...
I’ve made the exact same website for myself. It’s just a little PHP static webapp but I can write reviews for posts and it’s got a simple SQLite/PHP ^8 backend.

https://artsie.red/

I could have used something like Safari’s reading list, but that wouldn’t scale to all of my devices. And I don’t like the idea of putting control of those links into a service I can’t delete.

This site literally solves one problem perfectly and beyond the occasional functionality upgrades (auto-fetching post metadata, a refresh button, and a little CMS behind authentication) it’s super light and useful for me!
> The problem with your model is all orbits at a given altitude intersect.

> In practice this is not be a significant problem

Which is really why I didn't bring it up. We didn't even talk about eccentricity. My model is simple but this is HN, so I added magnitudes of error.
Kinda envy that level of organisation!
9€ or 49€ makes a huge difference.

1. For unemployed people and people in low wage jobs, 40€/month is a lot of money, and many will not be able to afford this ticket. Meaning they have to stick to single tickets, whenever it is unavoidable or use other means of transportation.

2. During the 3 month of the 9€ ticket, we saw a huge increase in travels to surrounding areas of cities. Anecdotally, there are stories of bakeries, cafes, bars at the edge of the city who saw an significant increase in customers because the barrier to visit them was lower to virtually zero. People just visited different parts of their city, or other cities because it was now affordable for them.

3. 9€ is a price where you don't think about buying anything else. The first trip you take, you buy this ticket (even on the last day of the month). This massively simplifies traveling by bus and train. 49€ is something you only spend if you know that there will be multiple trips in the month. This combined with the subscription based model, makes the current ticket far less attractive than the previous 9€ ticket.
> I imagine it's quite simple once you actually know what it means.

The first part isn't notable. Olympian athletes, for example, do the most baffling of intricate movements in grace and simplicity. Instead it's the amount of effort and context to get to the understanding that's at play.

Maybe this syntax is intuitive for a mathematician, formal logician or some other specialist, but as just a mere every day programmer, it looks like nothing I'm familiar with.

This is fine. Just let's not pretend that it's low effort to get onboard
it's pretty sad to have such a powerful computers in our pockets and not being able to use as we want, even to be forced to discard them just because it wont get any updates.
Shrinking body size and climate warming: Many freshwater salmonids are different
I wish I could be him. I want a family tree that suddenly goes horizontal at my level
One of the most unfortunate things in the US is locked bootloaders. AT&T has even started whitelisting phones for Wifi Calling and VoLTE. And with 3g shutting down, it means international phone variants won't work at all on the network, regardless of the underlying band support. Many companies, including Samsung don't allow you to unlock your bootloader to root your phone even if you bought it outright. I found that midrange phones are now the best option if you want things like AOSP. The only true flagship left, that I know of, with a headphone jack and sd card and good rooting support is the Sony Xperia phones.
Does this kind of sysadmin still exists? (or do they even still have the freedom to be so kind?)

I cannot really imagine that happening today, at least not in "professional" context.
Check out Bunnie Huang's post from Covid lockdown:

https://www.bunniestudios.com/blog/?p=6481
I just read the Wikipedia. It's not about extra-terrestrials. The 'alien' aspect suggests that the god that sent Jesus was a different god than that of the Old Testament, and was previously unknown to the people.

Interesting stuff that somehow eluded me all these years.
> the married student housing computer labs.

This is a good garden-path sentence.
Climate change puts a different spin on fly fishing for once skeptical anglers
It was originally a PDF, archive.org to the rescue:
https://web.archive.org/web/20120216164427/http://www.azulsy...
Maybe we also underestimate how many people know Ada… doubtful but not impossible
archive unpaywall link : https://archive.is/20230429135233/https://www.bloomberg.com/...
At least Togo got a proper burial...
Five Places Where You Can Still Find Gold in the United States
Hah that meme collection is awesome. Wish we can see them all at once though, I had to refresh a lot.
yeah but even if you approve it the code is still there in the code history, right?
It can change. The regulator could start doing positive examples of temporary grounding and supporting the pilot. There are all kind of active actions the regulator could take that would change things over a few decades.

But first the regulator need to take action and keep doing it.
You don’t need cargo to write software in Rust
An Experiment in Live Collaborative Programming on the Croquet ... Platform
I recall reading that even those gas stoves that have acceptable performance in certification tests do not perform to spec in the real world. I think it may have been consumer reports in conjunction with a university - they just stopped testing because not a single one in a single setting performed as advertised.

The performative governance was creating standards with no repercussions for not meeting the standards in the real world. The result is horrible indoor air quality linked to a range of health issues, particularly for children.
If this is the crux of the matter you took away from this, you probably missed the point by a lot...

Can i recommend a rereading of the last 3 part, the one about medical conditions killing pilots careers and how it incentivise them to hide a lot of conditions?
This crosses into religious flamewar. Please don't do that on HN.

https://news.ycombinator.com/newsguidelines.html

Also, please edit swipes (e.g, like leading a comment with "Hoooh boy") out of your comments here. That's also in the guidelines.
Elon Musk statements about Tesla Autopilot could be 'deepfakes', lawyers claim