skysight-inc/HackerNews huggingface dataset:
Your bio suggests you know more about the chemical details than I do, but we do have

1. A trial burn done by an independent lab to make sure that under normal operating conditions, when destroying refrigerant the levels of those + other chemicals are below certain thresholds

2. automatic monitoring and shutoff mechanisms if the kiln deviates from normal conditions
As others have said, using a combinatorial solver like Z3 (SMT solver) or MiniZinc (which is a modelling language and can interface to different types of solvers, including several constraint programming and mixed integer programming solvers, can be driven via minizicn-python) is probably the way to go. CPMpy is a new Python modelling framework that might also be of interest that interfaces to different solvers

If you have a lot of constraints that are on the bit representation, then it is more likely that an SMT solver is a better solution. If on the other hand more of your constraints are arithmetic and perhaps some structural constraints, then it might be interesting to look into other types of solvers. It all depends on the specifics of your problem instances.

There are a couple of Coursera courses for modelling with MiniZinc that are quite nice (https://www.coursera.org/learn/basic-modeling is the first one) that are useful if you want to learn more about how to think when doing combinatorial modelling. These are usefule even if you end up using some other tool or technology, as the mindset is similar.
These kinds of complexities make accurately modeling (and instrumenting) build systems incredibly annoying.

To make things even worse: linker groups can include source inputs, not just arguments passed to the linker. Both clang and GCC seem to be aware of this and will compile the inputs, treating them as if they aren't inside the linker group[1]. Real build systems rely on this!

[1]: https://github.com/SRI-CSL/gllvm/issues/48
You have no idea how painful it is to put some static content in a Kubernetes cluster somewhere. With Redbean, you can do it very easily and very resource-effectively.
Turning on email notifications for every transaction over $50 is a great way to automate this since accessing statements can be such a pain sometimes
Behind the scenes they’ve obviously got a lot of crazy to deal with, but it seems to work well from the outside (just using it for Tailscale lookups, at least).

Have you had issues with it otherwise?

EDIT actually I do have one gotcha. There’s a switch in the admin panel to override real dns. In theory if you changed that option and your machines were currently using private dns on route53 to find each other you might be in trouble (don’t ask me how I know).
My favorite part of this article is the paywall about 2 paragraphs in.
Hardening attack surfaces with formally proven binary format parsers
DISCLAIMER: I do some paid work with with Open Core Ventures[0] and I've been a GitLab fan for a while so I'm quite biased.

Just tried to use some GitLab repos I have and ran into a well specified 503 error page:

> We are splitting our database into Main and CI!
>
> For more information about what we're up to, you can check out our blog article. For progress updates, please check our status page.

https://about.gitlab.com/blog/2022/06/02/splitting-database-...

Don't know how I missed it, but it's pretty nice that the downtime is clearly specified, and the blog post (and related posts) were very informative.

Some random thoughts below:

> GitLab.com's database architecture uses a single PostgreSQL database cluster. This single cluster (let's call it main), consists of a single primary and multiple read-only replicas and stores the data generated by all GitLab features. Database reads can be scaled horizontally through read-only replicas, but writes cannot because PostgreSQL does not support active-active replication natively.

All you need is Postgres. IIRC Reddit had a similar starting story.

Excited to see how much faster gitlab.com will be and how much more reliable their CI gets (I don't have numbers on hand, but I think they've gone down less than GH Actions in recent memory at least -- maybe there's some recency bias there).

In a world where Citus is now fully open source[1], I wonder if it needs to just get pulled into contrib.

[0]: https://opencoreventures.com/

[1]: https://www.citusdata.com/blog/2022/06/17/citus-11-goes-full...
I recently cancelled my American one because the inflation price adjustment was way higher than prime is worth to me (more than two Costco memberships? No way!), process wasn’t too difficult, but maybe because I had a California billing address
If you use react to create the DOM, you can do SSR in nodejs to re-use the same code.

Not clear to me that the added complexity is worth it personally.
Iron Knife Made from Bacteria
Tell HN: Gitlab is splitting their main and ci Postgres DBs
DISCLAIMER: I do some paid work with with Open Core Ventures[0] and I've been a GitLab fan for a while so I'm quite biased.

Just tried to use some GitLab repos I have and ran into a well specified 503 error page:

> We are splitting our database into Main and CI!
>
> For more information about what we're up to, you can check out our blog article. For progress updates, please check our status page.

https://about.gitlab.com/blog/2022/06/02/splitting-database-into-main-and-ci/

Don't know how I missed it, but it's pretty nice that the downtime is clearly specified, and the blog post (and related posts) were very informative.

Some random thoughts below:

> GitLab.com's database architecture uses a single PostgreSQL database cluster. This single cluster (let's call it main), consists of a single primary and multiple read-only replicas and stores the data generated by all GitLab features. Database reads can be scaled horizontally through read-only replicas, but writes cannot because PostgreSQL does not support active-active replication natively.

All you need is Postgres. IIRC Reddit had a similar starting story.

Excited to see how much faster gitlab.com will be and how much more reliable their CI gets (I don't have numbers on hand, but I think they've gone down less than GH Actions in recent memory at least -- maybe there's some recency bias there).

In a world where Citus is now fully open source[1], I wonder if it needs to just get pulled into contrib.

[0]: https://opencoreventures.com/

[1]: https://www.citusdata.com/blog/2022/06/17/citus-11-goes-fully-open-source/
Formally Proven Binary Format Parsers:

https://www.microsoft.com/en-us/research/publication/hardeni...
Guy in the imgur said that happened after overload error and this happened after he replaced battery, giving just the benefit of the doubt that overload might have damaged the unit already. Also if anyone planning to open, I would reach out supplier rather than breaking any possible warranty. But also home safety no joke, so there is that. I got 2 x 1300, I really liked , its been half year, only the having possibility of battery leak scared the .hit out of me because new units has new iron burn smell. It goes away after few weeks.
Abandoning a sleep schedule and allowing myself to sleep as much or as little as I want whenever I want, as much as possible.
https://www.bejarano.io/sms-phishing/

HN discussion (8 days ago): https://news.ycombinator.com/item?id=31862994

I think a lot of people on this thread are forgetting just how easy it is to spoof SMS.

- SMS has a field called sender ID, which is set by the sender, requires no identity verification, and can be any arbitrary short string.
- This allows anyone to send messages to any number, identifying themselves as whoever they want to impersonate.
- And since there’s no sender phone number in the message, your phone can’t tell real and fake messages apart.
- And so it groups them into the same conversation
With respect to neonics this article by the intercept [1] gives a pretty good overview on the tactics some other of the larger pesticide makers have used. It’s incredibly long but worth the read. Plus they provide links to a lot of primary sources throughout. It’s certainly strongly opinioned but I think mostly with reason.

I’d be curious about your opinion since it sounds like you may have some first or second hand experience with pesticides and varroa mites.

There is another article here [2] which talks about the tactics used with atrazine (not a neonic).

1: https://theintercept.com/2020/01/18/bees-insecticides-pestic...

2: https://100r.org/2013/06/pest-control-syngentas-secret-campa...
Don’t use external dependencies (:D), don’t write code you don’t use, encapsulate imports in custom elements (this is a joke).

Without any runtime boilerplate like module bundling, corejs polyfills and the usual frontend/css-in-js frameworks, all code that gets downloaded is your code, so make it count. 640 kilobytes should be enough for everyone.
There has been many.
But what are you suggesting then? Not even trying and accepting the fate of YouTube drowning in spam? Keep chasing the dream of the perfect spam fighting AI that's been just around the corner for the last 5 years?

Incidentally LTT just commented on the announced changes and rants about the prior situation at 15:20, for some insight from a Creator's perspective.

https://youtu.be/hf5N2UVGp-8
Of course, there was no obligation.

But he went about it in a way that certainly looked petty.
I've never had an issue with data race conditions in go. Can I ask what you did to lose faith?

The answer, for me, is always channels. What you put around the channels is the challenging part.

Channels are built to pass information between goroutines. If you are doing this via any other signaling, just don't. You can loop over channels for long running sequential reads, you can test them to see if they're ready to read or ready to write.

Honorable mention to context as well, extremely useful structure.
Sorry all -- accidentally left the URL in the input...

Would love to delete this thread in favor of https://news.ycombinator.com/item?id=31956876

I guess deleting the other one in favor of this works as well, but feels like more discussion than a link per-say.

[EDIT] paging @dang anyway though I assume everyone is enjoying their weekend
This is the most interesting episode of Primitive Technology I have seen, I think. It is stunning to see a metal tool be made out of water, using hand-made tools only.
Why not build the web component in Django, and the rest in your language of choice?
Yeah, R600a is a so-called "natural refrigerant" with a GWP that rounds to zero. Not even close to in scope for us -- the lowest GWP gas we touch is R32, with GWP 750.
I would do that, but node puts compiled bits in there, so nothing works if you switch machines.

It's not like linux distros figured out this stuff was an issue decades ago...
> Municipalities are generally managed to dry the funds in favour of the friends of whomever is in power. Usually such considerations come last.

I think you should strike the word generally here. Even in Italy there are many municipialities with great public transport (grew up not far from the Italian border). In Europe it is generally not rare to have municipialities with nice or even exceptional public infrastructure.

Corruption is always a thing that can exist, but if your place becomes dysfunctional for it, maybe consider your might be missing some of the core ingredients that lead to good democratic decisions (education, will by common folk to participate in regional politics, a working system of law that works against corruption, etc.)
My dentist dropped my insurer (Delta Dental) because they claim they did not cover things as reliably as they should. When I saw a comparison bill of what it would be in and out of network for a recent service it looked like the 60% increase in price was purely because my dentist billed more, which they then claimed is due to the discount The insurer provides.

None of this makes sense to me. How can I leverage this new data access to my advantage?
This probably varies widely by state and even county/district. My NYC public schools had hard plastic everything; the only non-plastic surfaces were sheet-metal lockers and soapstone lab counters. And I went to a well-funded school with lots of extra alumni cash.
Hey @zhangruinan, could you show your product here? I can be your beta user :)
I built a website for my girlfriend's business using almost exactly this approach. Handwritten HTML, deploy to CloudFlare pages on git push, Stripe payment pages for ecommerce. It's great, more people should try it.
What provoked the Muslim attacks, and how did the Muslims treat the local population compared to the chaos and destruction left by the Crusades? Islam has rules of engagement, which prohibits the atrocities committed by the Crusades and the Mongols
Pads are preferred over paste for two main reasons: low assembly cost and ability to fill gaps. Both are very important. If you have an application using a pad, and it's flat enough to replace with (good) paste, you will always see a performance improvement.

I do not ever re-use pads. I have a used pad on my desk at work that shows an indent of the chip that was pressed into its other side... and you can read the part number and lot code laser marked into the chip. If the pad conforms to that but then can't relax back... it's never going to make good contact again. Full stop. (Granted, this was an extremely expensive thick gap-filler pad [TG-A9000, I think] for a particular application, and performance will vary.)
The import statement returns a promise, so you can lazily load modules as required (i.e. don't load everything up front, only load on-demand as users are using your app).

You don't need to complicate things - just use vanilla JavaScript features as they were intended.

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guid...
Yes, the problem with going cashless is that it's not yet convenient, and not the centralized control and surveillance it enables. Another insightful article from the Guardian.
- Channels are woefully inefficient. I usually use the stdlib as a good reference for performant code, and I don’t see any use of channels in there.

- If you’re not using channels because they are slow, now you’re letting some nebulous “context” bleed into every function to handle closure and cancellation. This is basically provided implicitly by the nursery concept, but stapled on to every function in go because it was an afterthought, then google started using it, so it’s everywhere.

- The Unscoped nature of go routines does make the program more complex to reason about.
I am reporting facts, not making any judgement on the legitimacy of their claim.

As far as practical consequences are concerned: if their fair use claim is struck down, Copilot is dead, unequivocally, because the only kind of license they can satisfy is a public-domain-equivalent one, and there’s not all that much such code. This is why I said “depends entirely on”.

See also https://news.ycombinator.com/item?id=31849107 where I said much the same thing, and pointed out that any mentions of the GPL specifically are a red herring.
It's 2000x worse on a per-pound basis, using the Global Warming Potential (GWP), and 6% of total emissions on a CO2e basis. They are separate facts which are mentioned to serve different purposes: 6% is to emphasize the scale of the overall problem, and 2000x is to understand the leverage of this approach (small amount of material to handle for the impact).
>you find yourself for which this tool is the solution

This "tool" is called a operating-system, it can be used in the situation when you have hardware but no software, the finished solution is hardware with an installed OS, plus additional software for the meatball in front of the screen.
In a Honda? Yes.
fully get the grumpy old man mode, but also

> They feel naked without docker. 'But mah complexity!' they yell when they see plain old binary nowadays. Grr.

That's because they kind of are naked -- containers bring namespace and cgroup based isolation.

If they weren't doing that, then they'd be juggling systemd slices...

If they weren't doing that they'd be setting up per-app users and fussing with ulimit...

And if they weren't doing that, they really would be naked.

I'm very much (as you might be able to tell) pro-containers -- they're a great tool, and they actually do kind of deserve to go most places.

Containers shouldn’t be absolutely everywhere, but they should be the default these days as a layer between the OS and a possibly clueless app developer.
Vladimir Zelenko, 48, Dies; Promoted an Unfounded Covid Treatment
> One can say that stomp boxes follow UNIX philosophy.

I suppose it's the other way around as nix is much newer technology. :)
When I was a kid we got one of these new-fangled microwave things; my mum put a potato in it, scoffed at the idea that it could possibly be done in the 8 mins or whatever stated in the instructions, so dialled in a more 'realistic' time and went out to see the neighbours. I was upstairs doing homework oblivious to this drama, but was soon drawn down to the kitchen by the burning smell.

Well, the thing was still gamely running, albeit with smoke pouring out of the back, and the potato itself was a glowing meteorite slowly rotating on its dish, honestly a fascinating sight. The scorch mark on the wall behind is still visible these many decades later.

In a happy corollary, my mum, who has more than a touch of the Beverley Goldbergs about her in this regard, was somehow able to return the ruined 'wave back to the shop and get her money back !
I remember when I went to High School in France, I lived in the country side so it took an hour by bus to go there which means that I left home at 7:05am and would come back home at 7:10pm 4 days a week and, on Wednesday, I'd do 7:05am to 1:10pm

Between this + homework and the stress in the last year to get in the grande école I wanted lest I miss my one shot at it, it was the second most grueling work schedule I've had. The only time I worked longer hours was when I worked for a tiny Japanese company and we slept at the company in order to meet a project deadline (the contract we had with our customer meant we had to meet the deadline but it didn't matter if it was a buggy mess since bug fixing came after).
Maybe because nobody on iOS/macOS/Windows cares if there's closed source code running on their machine.
I read the Uber article linked in parent.

"Data Race Patterns in Go", posted 21 days ago: https://news.ycombinator.com/item?id=31698503

Even though I'm extremely careful, I'm sure I've done one or more of the anti-patterns they outline where the outcome is completely incorrect program behavior compared to my intentions as the architect of the program.

A good language wouldn't encourage or even compile with such nonsense.

---

Isn't it funny how Go offers channels but the stdlib never uses them at all?
nodejs is still in bad shape in my opinion in this regard. There are many frameworks, but most of them are things that do not work stable or their features are not fully settled. maybe the problem is directly related to javascript, i don't know.
Wulu a Social Network
Wulu was created in the middle of may 2022,it got its first five users in that same month,the hoster freewha terminated wulu due to some terms,so the company chatbox the present owner of wulu create a new copy the next month
they called it wulu 2.0 but it had no users to now so come to wulu due to the termination chatbox lost all hope and codes of wulu so create a new wulu but it isnt going to be the same
This whole thing seems more like frustration with Russia than any concerning claims. I get it, Russia’s not a friendly nation to much of the audience here, but better to just focus on that specially.

Telegram is currently domiciled in Dubai not Russia ¯\_(ツ)_/¯. Even if Russia is collecting information at this scale, what are they going to do with it? The amount of normal people in the world with Russian interests (trade, secrets, etc) isn’t significant and Russia’s intel services apparently couldn’t inform the gov how badly they’d fail trying to take over entirety of Ukraine. If a gov really wanted intel on a person, they’d go with Pegasus or whatever the RU equiv is since it wouldn’t allow location to be disabled.
Bitcoin has no concept of ownership. "Not your keys, not your coins" means exactly that. If you lose your car keys, you still own your car. This is not true of bitcoin.
Hah, there’s a Seinfeld episode about this, where Kramer is one digit off from a movie showtimes hotline, and he fully plays the role and starts answering everyone’s questions about which movies are showing!
Are you being facetious or did you just not read the post? (I need to ask, because it's not at all obvious!)
Tradewater is great, they are one of the original inspirations for this approach. The key differences are geography (they are mostly US-focused) and that they pursue stockpiles of gas where we go after the emissions from end-of-life equipment. So their counterfactual is slow leakage over time, and our counterfactual is immediate venting.
I remember learning in Freshman economics 101 that printing money causes inflation. Why do our leaders deny that? They have to know this, too, but buying votes is more important than ruining the nation, and they expect that their loyal party followers will blame the inflation on their opponents.
I've found most Lua libraries don't have any other dependencies.

Perhaps this is the reason I've found this approach work well with Lua. I've never tried it with other languages that I use, like Swift, Objective-C, C#.

I did work in a company in the past that used Nexus [0] for their dependencies across various platforms. Perhaps Nexus has some tooling build in to deal with transitive dependencies, not sure.

---

[0]: https://www.sonatype.com/products/nexus-repository
Agree, or could be OAF just like the way GNAP named itself.

Btw, I'm relatively new to this field. Didn't the terms like authn/authz exist at the time they named OAuth? Or any other reason not to use them?
So if we suddenly had no GPUs what part of "modern civilization" would fail? Crypto markets, so what? Gaming, ok, I play card games on my year 2015 low end phone. And I could continue. Some startup that claims to do AI. (Actually I work for one, but not on the AI side).

Appears to me the effects would be less than the pandemic or the Russian war.
This is a very interesting point actually. Apple used to mean just any fruit in general as well. Deer used to just mean animal too.

But I guess arguably the question of whether confusion is being intentionally sowed has more to do with the how the the commonly understood meaning of words today than their historical meanings.

Maybe a better statistic is: how often to people buy vegan/meat products mistakenly when trying to but meat/vegan products. It's obviously not an easy statistic to gather, but it is probably a bit more tractable than focusing so much on language in particular. I've certainly made this mistake myself.
I did that once while I was driving for an hour. They had already interrupted my podcast with the call and I didn't have anything better to do, so I engaged.

They eventually caught me when I didn't give the same fake SSN twice.
Well, I only use git submodules in private projects. From what I read most devs hate it :)

In the past I did came into contact with git submodules through freelancing for another company, and I agree it was quite a hassle it times using it in a team setting.
We help people create an amazing signature and teach them how to write it in 30 minutes, even if their handwriting is bad
> "Darn!, I was tricked into eating something that is healthier and better for the planet.". -nobody

Actually I'm pretty sure basically _everyone_ gets irritated when they think they're buying one thing, but instead get another.
How a Worker-Owned Business Model in Spain Is Keeping Inequality in Check
https://www.mindfactory.de/product_info.php/24GB-MSI-GeForce...

1800€ and a very good one. Ofc not yet at 1400 but it is getting there.