skysight-inc/HackerNews huggingface dataset:
I consider coverage-guided fuzzing with property checks to be a degenerate form of property-based testing à la Haskell's QuickCheck.

Defining custom mutators (e.g libprotobuf-mutator) is sort of like implementing the Arbitrary typeclass if you squint.

I admit, this might be where the similarities end :)
Well, sort of.

The thing is, heat pumps aren't a particularly good deal right now.

Heat pumps generally have less heat output than a gas boiler, so it won't make your house any warmer.

Even taking government subsidies into account, the installation costs are several times higher than a gas boiler, both for the unit and often requiring new radiators and suchlike.

And typical energy prices in the UK might be 6.5p/kWh for gas, 26.0p/kWh for electricity - so even if your heat pump achieves a 3.0 CoP your running costs are still higher. In the UK, the months when you'll want the most heating are the months when domestic solar output will be at its lowest. To make savings you've got to switch to a plan where electricity costs change several times a day, such as https://octopus.energy/smart/cosy-octopus/ and not run your heating between 16:00 - 19:00. This makes a well-insulated home even more important.

And you might think you're going to save money by not paying the gas supply 'standing charge' - but gas suppliers can charge whatever they like to remove your meter. If they say it's £1500 to remove your gas meter and save you 30p/day - you're probably not going to be saving 30p/day

So it's less a case of "investing" in the house, and more a case of "investing" in good karma by helping the environment.
the people maintaining GTA online systems are probably not the same ones who developed the main game (or even the initial GTA online systems)

They are probably just adding more content, but the original dev's algorithm for loading that content didn't expect a bazillion new cosmetics
How's this different than running pypy?
They call this a “lifestyle” business apparently - and part of the issue is that those who do that kind of bootstrapping are often comfortable stopping at some small millions. Who needs more?

An example from another industry is successful restaurants - if you don’t franchise you’re basically capped, and some are quite content with that. A local bar “franchised” - each of the kids of the original owner has their own variation on the bar/restaurant.
Yeah. I thought markdown would work here.
Anamorphic lenses used in cinema compressed the light horizontally to squeeze a wider aspect ratio onto a narrower strip of film.

It's funny that we chase what amounts to an (unfortunate?) artifact that a normally round aperture becomes oval.

An actual anamorphic lens on a 35mm camera body would be interesting as you would actually also get the wider aspect ratio. I imagine they either do not exist or that they would be prohibitively expensive — thus this "hack" (and I use the term with fondness).

Edit: I see there are anamorphic lenses in the $600 to $1200 or so range on Amazon. Kind of annoying I suppose to have to stretch everything in post.
>Good founders that know they’re not the right ones to lead the next phase of the business know when to step aside.

The problem is that now we have the Facebook/Zuckerberg example, wherein the founder managed to take outside money, and even go public, while still protecting his absolutely control of the company.

As with most public firms, each Class A share owned gives you one vote. However, Meta also has Class B shares that give the owner TEN votes each -- and Zuck owns a simple majority of those Class B shares. His voting power means he can do whatever he wants regardless of what the Class A shareholders want. (Zuck is also both CEO and Chair of the board.)

https://www.morningstar.com/sustainable-investing/how-facebo...

This structure is weird, but not unique. The end result is that Zuck got to have his cake (public money) and eat it to (keep absolutely control).
Crypto shills be shilling hard on HN.
There's no local incentive that directly pushes for "more GDP". The dichotomy you present is much more about for mundane tradeoffs, like the cost of renting and maintaining such a collection of tools compared to the cost if buying them, and the preference of people towards personal ownership compared to a communal resource.
The price teams will pay to offload their ops.

People really like avoiding ops
This is quite a good intro: https://viralinstruction.com/posts/badjulia/
Everyone I know switches to sodastream for sparkling water and uses bottled water only when they have to have some non-sparkling water on the go. But sodastream still uses PET bottles, just more thick and reusable, so at least they don't have to buy so much bottled water.
Ha, playing hardball! I wonder whether you’d find pilots who are Boeing loyalists who’d take offense, or if those guys are even madder at the current management for letting them down.
The article says they are.
It supports all your existing python code and python libraries (at the cost of being significantly slower than PyPy).
> Death estimates vary by 1 order of magnitude on either side

This is not actually true. Deaths count is pretty precise on both sides (there is some uncertainty on the number of deaths in Gaza at the moment as the situation is developing, but the overall numbers of the "conflict" are well known). You can check the data here (doesn't include the 2023/24 data): https://www.ochaopt.org/data/casualties

> where ground truth itself is unknown

This is a funny involuntary pun: the ground truth is perfectly known, as Israel is illegally occupying the ground of Palestine, and not the other way around. This is the big picture you need to keep in mind when approaching the issue.

> With Israel/Palestine, the more you know, the less you know

This is also not true, but this impression is always the end goal of denialists, who seek to question every smallest detail and, when cornered, just move to the next one. The well established facts are that Israel is engaged in illegal annexations, occupations and settlements, and (according to the major human rights organisations) has established an apartheid system in the occupied territories, through which it oppresses the native population. The goal is clearly inscribed in the platform of the party that has governed the country for the biggest part of the last three decades:

"The right of the Jewish people to the land of Israel is eternal and indisputable [...] between the Sea and the Jordan [i.e. the whole of Palestine] there will only be Israeli sovereignty."
(edit) See https://news.ycombinator.com/item?id=29965250
This is an under-rated risk of the (existing) natural gas system that I think people often ignore.

https://cks.nice.org.uk/topics/carbon-monoxide-poisoning/bac... :

"It is estimated that there are approximately 4000 attendances at accident and emergency departments in England each year for treatment of carbon monoxide poisoning.

There are approximately 440 hospital admissions per year in England due to carbon monoxide poisoning.

Approximately 51% of these admissions are due to accidental exposure, and 40% are due to intentional self-harm (undetermined in the remaining 9%).

In England and Wales, approximately 40 deaths are reported each year due to carbon monoxide poisoning."
If you have money you can get isolated from most of those problems. You can have an almost idilic life even in third world big cities if you have money enough actually.

And big liberal cities are the places where you can get money.
If you get a job that pays 3X but your cost of living is also 3X, just remember that your disposable income is 3X as well. You are still economically out competing your Texan or Midwest colleagues.

If you can’t get that kind of job in SF, but still live in SF, things are really tough, leaving is a good option.
Again, I acknowledge that citations have value and are important and desirable as a feature of how we communicate.

But citations did not begin their rise a standard until the 1900s. The idea that knowledge production was not valuable until that point is absurd.

Further, citations do not prevent statements from being incorrect. They are sometimes used to lend credence to bullshit.

We live all at once in a world full of citations and of epistemic chaos.

Do I want LLMs to cite sources? Absolutely. But it's not the fundamental path to value people seem to sometimes think.
We have a slack channel that monitors GitHub availability. There’s content there nearly 3-4 times a week. It’s amazing how awful this has become.
Also of interest is Exapunks (https://www.zachtronics.com/exapunks/), which did a better job teaching me asm than my college course did.
Because users are accustomed to grayed out items not responding to mouse clicks, so they will never click it.
PWAs already support push notifications and add to home screen on iOS.

Or by “add to home screen”, are you specifically referring to BeforeInstallPromptEvent / prompt()? That isn’t a web standard. It’s something Google alone have implemented, it’s a Chrome-only feature. Firefox hasn’t implemented it either.

> Status of This Document

> This specification was published by the Web Platform Incubator Community Group. It is not a W3C Standard nor is it on the W3C Standards Track.

https://wicg.github.io/manifest-incubations/
A minor correction: it's usually preferable to apply commits with `git am` instead of `git apply`, as it applies the commit with all its metadata, not just the diff.
Probably unless you want the entire thing to end up unmaintainable/untouchable by anything other than a hardened robot.
> it is about workers getting shit done and its optimized for the people who work the issues.

The above phrase also explains why Social Media is not a bug-tracker. ^_^
> Python's GIL inhibits parallelism within a process, and the workaround of multiprocessing and shared memory is awkward, has inconsistencies between platforms, and loses performance

Well, imho the biggest problem with this approach to paralellism is that you're stepping out of the Python world with gc'ed objects etc. and into a world of ctypes and serialization. It's like you're not even programming Python anymore, but more something closer to C with the speed of an interpreted language.
Paper: You Want My Password or a Dead Patient? (2023)
Ask HN: Cheap 5v tolerant PCI-E GPIO card?
I'm often using arduinos or even raspberry pis for simple gpio stuff when playing around with my projects. However, arduino is somewhat slow for some things, and the pi is 3 volt and still somewhat annoying..

It seems it should be fairly simple to buy a PCI-E card with some gpio channels, but they all seem laughably expensive for what is indeed a very simple piece of tech.

Can HN recommend me a card, ideally, 5 volt tolerant, and ideally with 16 or more channels ?

I don't care about isolation or stuff like that, but I'd like it to be fairly responsive, so that I can for example create and respond to pulses of about 20 us, which is fast compared to what an arduino can do, but pretty slow compared to what I can achieve with an fpga.
And if you are happy with the deal, what’s the problem? Enough people seem to be that it keeps going…
Conferences needed to die when nearly all schools became financially able to charter planes and buses, and the sport became the priority and not academics, and not for the reasons listed here.

> The sport has reached its end-stage-capitalism period

All credibility left was just lost
If it is a real anamorphic lens I assume you will need to digitally stretch the resulting images horizontally. In my admittedly brief skim of your link I saw no mention of it.

Edit: found the same lens on Amazon, read some reviews. Yep, it's the real glass. Images need to be stretched to 'normalize". One reviewer: "Yes you’ll need the moment app to desqueeze the image." (Of course can probably do the same in any image editing app.)
APEC proved that the laws on the books can be enforced, whereas for residents the powers that be elect when to enforce laws and not. They usually fret saying they don’t have the power to [clean up]. It also proved that they know the state of the city is not normal.

Basically it proves they can clean up for superficial appearances, but when it matters to everyday residents they are incapable of acting.
Rate of outages on github last few years has been orders of magnitude higher than anything I've encountered on a locally hosted VCS.

Local also means you can orchestrate maintenance windows to avoid outages at critical phases.
Or pointing it at your head, is the same as holding it up high in the air.
Most users believe the 'd' in "git" (or "github") stands for "distributed".
> If I understand you correctly, your objection to asking people out at work is that it wastes company time?

No. Why would I have any feelings towards what other people do? That doesn't make any sense.

The quote is written from an economic perspective. If 'Emily' were real and a random person the author had never met, there would be no concern or attempt to stand in. Allison is concerned because they would have 'Emily' on the clock. It impacts Allison directly.

The cost in the case in the bot, despite being the exact same act, is so small it is immeasurable. As such, we get a 'funny anecdote' instead.
One difference is that Rails and MySQL on a Github scale is rare, even when taking into account Github scale is rare.
>It's like complaning that someone can't build a factory in manhattan because real estate firms bought all the land.

People complained good and hard about not being able to open/run a bodega in Manhattan because firms 'bought up all the land' - to the point Mom and pop shops got significant legislative benefits.
To everyone's benefit(?)
HN is really good at programming language, IT, and computer science discussions. It really varies once you get outside that bubble.

Sometimes you get a topic on mathematics and a few mathematicians are on there answering questions directly and it's great. In my own field of energy markets and power grid operation, I've noticed the comments have a good mixture of informed folks and those that are way off base. I'm sure it's much worse on some topics and that I'm just as guilty at times :)

Hopefully there are enough experts in an area to drown out the noise.
I assume you’ve read wayfarers. There is more drama in that series but it’s still quite good.

I’m in other recommendations as well. Robot and monk is a quick and easy read. I’ve already read it twice.
This is why I like doing desktop dev (I imagine gamedev is simimlar). I grew up with turbopascal and similar. Doing desktop dev today is very similar. You have ONE repo. It has ONE tree of code, producing ONE project in ONE compilation. Your IDE has a play button which launches 100% of the product, on your local machine, in ONE process, exactly as it would work and look at the end user. Being able to break the entire process of the product and step, knowing that there isn't some other process somewhere else (a db, a web server) that keeps its own state is bliss. Highly recommended. Sure it's still lots of abstraction and you'll use a couple of frameworks. But a 10-20 year old framework in the desktop business is still a young one so there isn't that element of framework fatigue that you have in the web ecosystem.
My bet is that they used native code and an emulator for a lot of the effects.
I bought this game and it is a work of art. I'm a non-CS background developer, working for about 15 years. Much of what the game contains I knew "in the abstract" or had fiddled with on Arduino boards or little side projects or whatever. But this is basically THE hands on curriculum that everybody who enjoys mucking with computers craves.
I just learned that last year, too, when my last employer did not have any versioning tool whatsoever, except windows network shares (yes, there are more than enough companies that do it that way. It's the second time i encountered such a horror scenario). So I just set up a bare git repository on the network share and used this to keep my project there.
Glad they understood that git does make sense and setup a gitlab server soon after.

After all it seems kinda obvious, but hey.
Every time there's a GitHub outage of any severity one of the top comments on HN is inevitably suggesting that it's probably due to Rails. It's getting pretty tiresome.

Calling it a "legacy rails" stack is incredibly disingenuous as well. It's not like they're running a 5 year old unsupported version of Rails/MySQL. GitHub runs from the Rails main branch - the latest stable version they possibly can - and they update several times per month.[^1] They're one of the largest known Rails code bases and contributors to the framework. Outside of maybe 37 Signals and Shopify they employ more experts in the framework and Ruby itself than any other company.

It's far more likely the issue is elsewhere in their stack. Despite running a rails monolith, GitHub is still a complex distributed system with many moving parts.

I feel like it's usually configuration changes and infra/platform issues, not code changes, that cause most outages these days. We're all A/B testing, canary deployments, and using feature flags to test actual code changes...

[^1]: https://github.blog/2023-04-06-building-github-with-ruby-and...
Won't local inference cause either slow responses and/or increased battery usage? Also storage space.

I wonder if it's worth it. Some here will say privacy but in my experience most users outside HN don't really care about that.
> It's not a business that's about making $$$ (supposedly). Altman doesn't even own shares.

That doesn't pass the small test anymore. Altman must have some other angle.
Yeah. The Hacker News Guidelines say "No the website is not going downhill". But I can point to a shitton of threads from 2018 on often identical topics to threads today, where the quality of debate is quantitatively higher quality than it is today. Most of the people I know in Technology(tm) have not only stopped reading HN, but also derisively refer to it as The Orange Hellsite, because the quality of comments is often consistently worse than Reddit for comparable topics, these days.
https://nitter.net/elonmusk/status/1739365034063536598
Charters like that aren’t worth much at all because it’s down to the leader to decide what it means.

You have to have one with teeth, like all code is GPL 3 or something, that can be concretely followed.
Italics work using asterisks.
NileRed for HN, paging NileRed for a video about non conductive liquids in USBC PD
There are a lot of subreddits out there for engineering. They vary in quality and moderation.
I rarely use Pandas (just haven't come across it much in my work) but I almost want to come up with a side project just so I can fiddle with this. It's making some big promises.

By the way, that pie chart on the home page is a crime.
And yet, many people do it every year, over and over again, like magic.
Not parent, but in my experience as a consultant working with bad teams, the rank and file were 'doing the job.'

You usually had a few personality archetypes:

- The most technical dev on the team, always with a chip on their shoulder and serious personality issues, who had decided to settle for this job for (reasons)

- The vastly undertrained dev who was trying to keep up with the rest of the team, but would eventually be found out and tossed, usually to blame for a major issue

- The earnest and surprisingly competent meek dev, who presumably didn't have enough confidence to apply to a better job, but easily could have made it on merit, work ethic, and skill

- The over-confident dev who read a bit of SDLC practice, and could see every tree while missing the forest

The key is that, aside from the incompetent person, they had all always been working there for awhile. Consequently, there wasn't good or bad health and quality: there was just "the system" (at that company) and dealing with it.

And none of these folks ever worked at 5-person startups. ;) I think it was definitely more an issue of SDLC "unknown unknowns" they should be doing, than willful decisions not to.
Is it usable on its own? I only ever interacted with it in trying to hack around something I didn't like in ggplot, and it didn't seem like something I could use "by hand". In hindsight it does sound a lot like what MPL does. I can take a look!
Here in the US those communities used to be walkable, but the small grocery store either closed, or has moved to a big box on the edge of town where you can't walk to it anymore. Most other stores have closed as all the locals just plan a monthly trip to the nearest large city (1 hour drive, each way) to use the WalMart and malls there - the prices are enough better in the large city that it is worth the fuel and making a full day of it once a month. If the town is close enough to a city the downtown stores now survive as a tourist attraction for the city, selling "art" - not the type of things you might go to town to buy for daily living.

There is a high likelihood that the old town square has been taken over by local government offices. If you work there great, but otherwise not the type of place you would visit often if at all.

In short they still have the walkabel guts from the 1800s, but there is nothing to walk to.
Meta will hide suicide and eating disorder content from teens
Every scheduled maintainance that had that on the punch list, yes.

With a seperate follow through by another party to check the work.

That's SOP for US | AU | UK | EU military air mechanical crews.
Here's the direct link and I can confirm that Mixtral-8x7B-v0.1 works on M2 Ultra 128GB via MLX and is easy to setup (the longest part is just downloading the weights):

https://github.com/ml-explore/mlx-examples/tree/main/llms/mi...

We'll have a tutorial soon (next week) on combining/composing with Reexpress to add uncertainty quantification (and to use it for semantic search). A link will be here: Tutorial 6: https://re.express/guide.html
please tell me exactly and explicitly what the founders of tesla contributed
10k reward is a joke. Reminds me of the guy who found you can submit a sitemap for a different domain in Google Webmaster Tools (if the site suffers from open redirect issues). You would then get huge search traffic for a brand new domain. He first got $1337 reward which was then "upgraded" to $5000 for a bug that's worth millions.