skysight-inc/HackerNews huggingface dataset:
I think you are not using 'proof' in the way that most people would understand it. A proof is usually considered a series of steps someone can take to verify that something is true themselves (i.e. there is no need to trust whoever produced the proof is malicious or mistaken about what they are trying to prove, if you can follow the proof you can see for yourself). Proving something to a compiler therefore is generally understood to mean giving something to the compiler which it actually checks it sound (even if it could not produce the proof on its own). This is effectively how type-checking and borrow checking works (your program is a kind of proof the compiler verifies). 'unsafe' in this case is not a proof, it is more like a promise (not in the async sense) or assertion (not in the debug sense). The compiler trusts that you have not made a mistake, it does not have any way to verify that you haven't. You may have a proof to the person reading the code that there is no mistake (or you may not, either because your proof is incorrect or the person cannot understand the proof), but it is not a proof to the compiler.

(In fact, there was much bikeshedding at one point about renaming the 'unsafe' keyword to make this explicit: suggestioned included 'assumed_safe', 'trustme', 'trusted', as well as less serious ones like 'yolo' and 'hold_my_beer_and_watch_this': https://github.com/rust-lang/rfcs/pull/117)
There is a book called neural networks from scratch at https://nnfs.io.
Technology is the only fix to climate change.
Yep, it's not Mozilla's fault many websites don't offer support for it sadly. But it's still frustrating to never be sure and always having to double check with a Chrome if it's because of Firefox or because of the website.

Do you think those optimizations are only in Chrome or also in Chromium? I'd expect only Chrome but...
As I said, this concept also applies to other asset classes inflated by QE, such as stocks. I didn't say the house was the primary house (in which case there is some capital gain exclusion complicating matters anyway).

So, no.
I dunno man, serialization in general is fraught with peril. At least the JSON grammar is short and simple. I can't believe people in here are genuinely recommending XML as an alternative. Try standardizinh XML in a 14 page RFC.

Yes some things need to be though out, but I can sit down and read the JSON RFC start to finish easily.
Neglected Factors When Building Enterprise Systems
The Fed tracks inflation using the CPI, the price of things that are consumed. Food is an example of a consumed good. Housing is not, that is an investment. The portion of housing in the CPI is of the rent of the time that is now in the past you consumed on it.

Housing is increasing in value faster than food or cars. So yes, you are better off. Housing is increasing at equal rates with housing, but you can leverage, so you are better off.

You didn't pay $250k for that house, you paid $50k and another ~100k over that 10 years. When you sell, you realize that $750k profit, which yes you will be taxed on some of that, but you can now take that $500k and put it into a $2.5M home. That $2.5M home will be better than your $250k home.

Leverage is risk, yes. But in a QE environment, not leveraging is the ultimate risk.
Nothing you just said changes the fact that no-one, not-ever, considers a needle an "invasive medical procedure". It's silly.

Good rant though. Complete with childish swearing even!
Thanks for sharing this, this is really cool! I saw you posted a lot of details on the software, but could you expand on the hardware? Do you have any reference on the stepper motor setup/components used to control the two dials?
Regarding point 2, I always let them know (if I care enough). If I don't care, I don't visit their site - if they haven't bothered to make sure it works with FF, there are likely to have other problems.
Rust also has a packed attribute; this is something different. The re-ordering still includes padding, whereas packed removes the padding.
I don't know if you are on a Mac, but you could check out Orion, based on webkit but built in support for Chrome and Firefox-extensions:
https://news.ycombinator.com/item?id=28799049
Two things about this notice;

1. “Facebook takes the protection of the user experience very seriously, and it is committed to keeping its products safe for users to interact and share information.”

Only some lawyers (not accusing the entire profession) could write this with a straight face after all the revelations about Facebook and Instagram over the years. You just be eternally high on something to use these words in this context.

2. I wish I could see an alternate reality where The Pirate Bay people respond to this notice (like how they did to various RIAA and MPAA notices). That’s the kind of response this one deserves.
What makes you think this kind of proof work hasn’t already been done for this core C code in the kernel?
Because this foreign miney is inflating the real estate buble making housing unaffordable.

Because financialisation has caused stock market and GDP to become detached from the real productive economy.

Because maybe they think the finance industry should be investing in real infrastructure or something productive.
Superman Comes Out, as DC Comics Ushers in a New Man of Steel
Has anyone used this already, and how does it compare to OneGet with the ChocolateyGet provider?
You can catch the 'invalidity' of the input with the `oninvalid` JS event, then use that to `e.preventDefault()` and show a message as to why it it failed.
That's a false claim, too. They are identical from a liability standpoint.

https://www.washingtonpost.com/politics/2021/08/30/false-cla...

> Indeed, contrary to the claims of Malone and others, the Comirnaty vaccine has the same liability protection as the vaccine approved under the EUA. That’s because of a law known as the Public Readiness and Emergency Preparedness Act (PREP Act).

> In early 2020, after the coronavirus emerged, Health and Human Services Secretary Alex Azar invoked the PREP Act to “provide liability immunity for activities related to medical countermeasures against covid-19.” So that covers all vaccines that might be produced to combat the coronavirus, whether fully authorized or not.

> “The liability protections afforded under the PREP Act are tied to the declared public health emergency and not whether the vaccine is sold under an EUA,” Castillo said. “Therefore, both Comirnaty and the Pfizer-BioNTech covid-19 vaccine receive the same liability protections as medical countermeasures against covid-19.”
The guy was asserting that inequality in the USA was the mechanism of chaos that was subsequently unleashed.
I have been using selenium with chromedriver, I mistakenly thought those were basically the same thing.

Can you tell me more?
If they were doing this with credit cards people would know since they'd be hit with a cash advance fee and no grace period on interest.
>Speaking of credit card companies: why do they exist?? Why can't my card just sign a digital request for transfer and tell the POS terminal to send it to my bank to be executed.

Because the POS terminal (or more likely, the payment processor) would have to work with thousands of individual banks. The credit card companies handle that complexity so that payment processors only have to integrate with a handful of credit card companies instead of thousands of banks.
Versions are only importable from tags (semver style)*

There is no NPM or PyPi like host, sources originate from code hosts

Modules are prefixed with a domain name (avoid dep confusion)

Hashes are calculated on the module, it will fail if it is not correct

GoProxy has a global transparency log (like a blockchain, but not) so that everyone is contributing and sharing hashes

*there are special versions (v0.0.0 and branch names). They have special meaning, and get fixed with the access date and commit hash

For the curious: https://golang.org/ref/mod and https://go.googlesource.com/proposal/+/master/design/25530-s...
"oh i have a problem, better wish someone else changes the 'system' which i think is responsible for my situation, than finding solutions for myself"

The bay area is not the only place on earth but it's the only one with such high real estate prices
The Great Yokai Battle of Akihabara – Rick and Morty – Adult Swim
And I don't think human beings pressure each other into over-eating on regular basis.
> The carbon cost of producing a car is the same as the cost of driving it

OK... and so the important bit is still the number of cars, which is directly linked to the number of people and how much they consume.

This is inescapable.
The high-level tech stack, not the memory stack.
My first job out of college I was hired on to a team and the first day I was informed the lead dev on the project was moved to a different project and I was essentially the new lead. That was the first huge red flag that I failed to recognize. Luckily I managed to get moved to another team that I really liked and learned a lot from, but I basically ate shit for the first 2 years in my career because of that.
> One person is running a CT log in their home, and it works as well as any of the logs run by big companies

But presumably not a publicly trusted CT log as that seems like a recipe for disaster?

The public CT logs are obliged to achieve 24 hours MMD (Maximum Merge Delay). If, for any reason, you aren't able to publish a new log incorporating certificates you signed SCTs for within 24 hours, your log is distrusted.

Obviously it's trivial to hit 24 hours MMD when everything works. You could probably do it in Visual BASIC for Excel for low volumes, no trouble. But, there are no exceptions, so you need to have epic disaster recovery otherwise when anything goes wrong and you can't fix it until tomorrow it's game over because you missed the 24 hour deadline.
HawkEye 360 – The Leader of Spectrum-Based RF Geoanalytics
I'd suggest Puppeteer / Playwright. Both are great. Iirc the puppeteer team largely moved to playwright.
It is all just marketing until they open source the software that allows such devices to function.
Looks awesome but the fact that updates are 1 year apart is a bit of a turn off lol.
Show HN: Exoplanet animal and plant simulator – Tray Worlds
I take it France just aren't filling in the data
To be fair selenium style scraping can take a lot of time to setup if you aren’t already familiar with the tooling, and the browser rendering apis are unintuitive and sometimes flat out broken.
Very very cool. I see a video export option, but don't see anything in the docs about animations. Can this be used to make animations as well?
Kids today are more resilient than before.

We have to try to remember how much more we understood things than the past and how much more kids will understand the future than us.

Kids or no kids we can do a lot for the children of the world, although it becomes a lot easier to prioritize this once you have a kid.

If good people stop having kids it’s kind of scary.
> However, I feel like a lot of the comments aren't just criticizing China, they seem to be outright anti-China.

> I wonder if, in the grand scheme of things, Americans/Westerners might be feeling threatened by the shift in power.

> I wonder if we here in the West are as fair and balanced as we tend to think.

All of that is unquestionably true. But what does it have to do with criticizing China's actions here? The criticism could be coming from anti-China bigots, yet still be entirely legitimate.
"the earlier development of the Soviet bomb may have had one significant benefit to the world, a balance of power; the author is convinced that this prevented the United States from using their bomb on North Korea"

The other side of the coin was the Rosenbergs were blamed for casualties in the Korean war.
It feels like this article uses 10 paragraphs to say nothing at all.
Hello, I have created a small app named Tray Worlds, which simulates plants and animals that would evolve on an exoplanet based on biological models (at the moment one plant species and one animal species). You can download it from web page https://www.trayworlds.com or view a short video of it on youtube: https://www.youtube.com/watch?v=hmRy0v9f7g4

At the moment you can change following properties of an exoplanet: temperature of its sun, gravity and atmosphere density and see how that changes organisms that would evolve on such a planet.

I have been reading HN for a decade almost on a daily basis, but this is my first post or comment. Learned a lot from this site, even information, that helped me directly with creating this app e.g.: https://news.ycombinator.com/item?id=23998793

Thank you, HN community.
Yeah, I very much don't understand OP's argument. And its trivial to write out the nodes and edges (at least for trivially sized neural networks).
I started reverse engineering web apis years ago as a more efficient way to scrape. Unfortunately there are new website builders (like salesforce lightning) that make really hard to recreate an http request due to the complexity of the parameters
Extinguishing something that has a zero competitive threat? Now that would be evil!

I think open-source community needs to decide whether their stuff comes with strings attached or not and use appropriate licences.
> recently halted Moderna vaccination

In favor of Pfizer for that age group. Not in favor of "don't get the vaccine".
Leaving stores closed for years helps grocery chains and hurts communities
I cannot stress how much I do not want a package manager on windows. If it is like chocolatey (optional) I am ok with it, but if it turns out to be like Linux where you install from repos and then you add multiple repos and then you have dependency resolution issues because that's what the package and version needs and the upstream and down stream devs need to sort it out and... ugh that is one part of Linux I hate with passion. I mean it works ok on Linux given who is using it but on windows it is normal, even a requirement for regular users to install apps (repos too in this case). And without AWL , even if you restrict this, people will install "portable" apps.

I like Macos's way best to be honest. Bu this is one practice Windows should not learn from Linux, different audience and requirements.

It looks like yet another competition to chocolatey for now.
In my country, one can perform debit card transaction with 'cash back' - if I'm in the grocery store buying $50 of groceries with my debit card, and I also want $30 of cash, they can charge my card $80 and hand me $30 from the drawer.

This was a great boon for banks a few decades ago, as it functionally gave them a huge ATM network for free.

The debit card system understands this sort of transaction, and doesn't charge the normal x% processing fee on the cash withdrawal portion of the transaction.

In other words, retailers can create transactions that are effectively ATM withdrawals - without an ATM.
The cloud is really just the centralized computing paradigm of the old days with a new coat of paint.

This fascinates me because people seem to have forgotten that the reason personal computing was such an incredible thing is that it freed people from that old paradigm. I suspect that, over time, people will lean anew why it was that being freed of it was such a great thing.
FWIW I use google meet with Firefox all the time with no issues. The only annoying thing is that it won’t let you blur the background. (They allowed this feature on FF for one glorious week but then took it away)

Even my coworkers who use chrome prefer zoom though, so we’ve been switching more and more meetings to zoom.
> I dunno man, serialization in general is fraught with peril.

I completely agree.

And I'm certain I'm using JSON in an unsafe way... somewhere. :)
Agree with this.
We have dancing grannies in chinatown, nyc.
And that is way better than thr alternative.
I suppose you could, but I'm pretty sure it would be financially ruinous. Relicensing is a multiyear process, and since it hasn't been started you'd have an enforced outage with both units for months to years. That would hemorrhage cash at an eye-watering rate.

Even just having one unit down for an refueling outage is financially a big deal, which is why utilities bring in contract workers in droves to get as much work done as possible during the scheduled outage. If a nuke plant isn't running at 100% you're almost certainly going to lose money, which when combined with California's renewables policy is the biggest region PG&E is closing the plant.
Another thing is create a contract or promise with yourself that sets out conditions which when met would result in you quitting or finding something new. It’s really hard in the moment or while on the inside to make a good decision. But if you thought about it before it’s easier since you’ve reasoned about it before at a distance.

You can always modify the contract of course. But I think a good reason to do this prior, is that humans are resilient and we can endure and adapt to range of conditions, even when deteriorating quickly. So remembering a certain baseline you set for yourself prior comes in handy!
Cargo.lock is ignored for libraries, it is only checked for binaries.

https://doc.rust-lang.org/cargo/faq.html#why-do-binaries-hav...

> If a library ends up being used transitively by several dependencies, it’s likely that just a single copy of the library is desired (based on semver compatibility). If Cargo used all of the dependencies' Cargo.lock files, then multiple copies of the library could be used, and perhaps even a version conflict.

> In other words, libraries specify SemVer requirements for their dependencies but cannot see the full picture. Only end products like binaries have a full picture to decide what versions of dependencies should be used.
Until it is not common sense and the only way to go around it is to leave the Union and then everyone panics.
How we make WebRTC be easier?
What? It was a 3-4 sentence exchange and Steve simply piledrived through the guy in his typical bully way. ("We'll make sure the investort accept it.") The startup wanted a higher price and the guy said it so with emphasis, this triggered Steve, and that's the end of the story, the blahblah about offers and trust doesn't really matter, as at that point it was about emotion. (They just met there was no established trust anyway.) The guy folded like a house of cards - as would probably anyone who happens to be doing their first negotiation to sell their company, especially doing it with the oh so powerful Mr Jobs.

And this huge analysis about deceptive intent makes no sense. Of course the startup wanted a price as high as they can get.
>...you hear the "it's my child I have ultimate control over it" is much more expressed by US Americans than pretty much anywhere else...

Probably true, but technically because the sentiment is expressed in English. Non-western cultures often take some things a few steps further.
Very interesting review. Added Suzman's "Work: A Deep History:" to my reading list. I'll reread review more closely in a bit.

The notion of surplus is very interesting. I have no opinions, no hot takes. Just questions.

The very first facet I'd like explained is the observation that a surplus in one area creates a deficit elsewhere. I'm sure both author and reviewer touch on this.

Reviewer also makes a connection to Graeber's Bullshit Jobs thesis, how finance begets bureaucracy. Now I want to know if there's some kind of connection between surplus, inequity, finance, and bureaucracy. Perhaps repelling appeals to fairness, defending the hierarchy, what we now call Public Relations, begets more "justification work". (In contrast to productive work and caring work.)

This quote popped out:

"Suzman essentially argues that nature has programmed us, just as it has every other creature, to deal with surpluses of energy by working those surpluses out of our systems. With lots of available energy but little to do, we make work to release the tensions building up inside of us."

This has to be a nod towards Jeremy England's work, right?

"A New Physics Theory of Life"

A physicist has proposed the provocative idea that life exists because the law of increasing entropy drives matter to acquire life-like physical properties

https://www.scientificamerican.com/article/a-new-physics-the...

I also want to contrast Suzman's Work thesis with Clay Shirky's Cognitive Surplus [2011]. https://www.amazon.com/Cognitive-Surplus-Technology-Consumer... It's been too long, so I'll have to actually reread.

Meanwhile...

Shirky's observation about widespread drunkenness in the 1700s really stuck with me. https://en.wikipedia.org/wiki/Gin_Craze All that extra gin and idle labor with nothing to do. Of course everyone got drunk. Eventually, new demand for labor, the industrial revolution, absorbed all that supply. Problem solved. Begetting new problems, of course.

At the time, I saw the similarity between gin and online gaming. Today it'd be doom scrolling.

Any way. Great review. Exciting ideas. Will definitely lean into this topic.
I'm not currently aware of a book on the subject, but would also like to read a compilation of the cutting edge. I am relaying what I know from tangentially following advances my peers participate in filtered through my former chemistry+bioinformatics background.

Here is some more info on considerations to be had for near-future breakthroughs in the oral administration route. The key is in preserving the biologic structure long enough for it to reach the intestine where, in contrast to the stomach, it would be able to enter the bloodstream with the aid of agents that enhance permeability.
https://otd.harvard.edu/explore-innovation/technologies/oral...

Edit: The field of cheminformatics is currently utilizing machine learning to help discover novel drugs in the various search spaces, such as that of kinase inhibitors. They have the ability to function in a multi-target regime. That is, there exist drugs that can be effective for several pathologies.
Package managers are wonderful if you stick with what your distribution packages.

But once you step outside of that it can get fun real fast.

And many things now basically do what Apple does anyway and bundle all libraries, etc with each app - Go does this explicitly I think. Space is cheap.
Minimum Version Selection (https://research.swtch.com/vgo-mvs)

tl;dr, Go does a BFS of the dep tree, selecting the maximum version found. There are no ranges, so you can only use a version which has been listed.

"minimum" comes for a minimal implementation which can create reproducible results without a lockfile
You can use whatever you want :).

I personally would rather still go with Protobuf if I'm going to put in the effort to add a schema and codegen. It gives me other nice-to-have features (faster [de]serialization, smaller messages, field numbers and schema evolution, nicer IDL [not JSON!], gRPC, ...) and does away with some problems intrinsic to JSON that no schema system will fix (terrible number type, lack of binary type, slow parsing). It also has some interop with JSON in the rare case you absolutely positively need to convert to/from it (which is IMO the only upside of using JSON Schema in case you need that interop).
They have a data structure that will do reference counting just like what most garbage collection systems use.

You see it used every so often.
+1 Compiz is one of the things which originally inspired me to try Linux back in the mid 2000s.
If you are interested in both CNC and Etch-a-Sketches, Youtuber This Old Tony has a great introduction to CNC hardware and software where he build a computer controlled E-a-S with pro-grade hardware and software (Mach 4). It is very entry level, 60 minutes in two parts.

https://www.youtube.com/watch?v=K0XfRPi_h2M (part 1)

https://www.youtube.com/watch?v=eLdlV3-JaH8 (part 2)
Apple II Programming from a Cabin in the Woods
Looks like the licks were too devious.