skysight-inc/HackerNews huggingface dataset:
> Like I said, the vast majority of code optimization opportunities are not worth taking. Some are, but only after running the numbers.

Casey Muratori said it best: there are 3 philosophies of optimisation. You're talking about the first: actual optimisation where you measure and decide what to tackle. It's rarely used, and with good reason.

The second philosophy however is very different: it's non-pessimisation. That is, avoid having the CPU do useless work all the time. That one should be applied in a fairly systematic basis, and it's not. To apply it in practice you need to have an idea of how much time your algorithm requires. Count how many bytes are processed, how many operations are made… this should give a nice upper bound on performance. If you're within an order of magnitude of this theoretical maximum, you're probably good. Otherwise you probably missed something.

The third philosophy is fake optimisation: heuristics misapplied out of context. This one should never be used, but is more frequent than we care to admit.
My reactions, in order:
1. Coop. Interesting.
2. DAO. Likely scam.
3. Need a LinkedIn account to learn more. Too bad.
4. Moving on.
This is useful to me because it gives more insight. So, I think your conclusions are wrong as the FDIC was brokering the sells of failing banks for a long time, otherwise people would have actually lost their money above the insurance limit or would have had to wait an unknown amount of time for the insurance reimbursement, and the same result would have occurred with the bigger more capitalized bank getting those customers and consolidating banking anyway. The fire sales are better, but this is just them having the data and getting on the phone to make it happen, Congress never asked them to do that but its a better outcome. I also think the FDIC does too much outside of its congressional mandate, so I can see how it is annoying to deal with as an institution.
> it's not out there competing in the free market...

Um. They are. SpaceX had almost as many commercial launches as gov ones last year.
The page worked for me, but you can also try looking at the STLs their GitHub: https://github.com/ploopyco/thumb-trackball
Definitely prefer text to video for content like this, but I don't get the nsfw part. Seems perfectly acceptable to me.
No, we’re tracking ball flight (in one of our future products).
Nothing all that unusual about setting your phone down, propped up to watch something on it.
Sometimes it is done as part of a talk and hence it is natural to be a video. But that being said, I normally skip over videos when looking for information on a technical topic. I find, for me at least, my learning to time ratio is far better with a text document than a video.

Not sure why you are being down voted, it seems to be an interesting conversation of video vs written material for highly technical content.
> It's hard to believe that infants' frail bodies can handle strong pain-killers at the levels used in surgery.

Not true, we are giving them strong pain-killers now. Just we have not 30 years ago.

> There's also a long-term damage to consider.

As with every medical procedure there are pros and cons. But there is a reason why one is given painkillers for every surgical procedure. One can opt out in some cases, but its very rare. Just because a baby cant consent its not a reason not to use them. I've yet to hear a story where an adult opted not to take painkillers for an operation, just because it might be better for his health.

> This type of hyperbolic commentary is not productive discussion.

Its not hyperbolic, we have evidence that babies (even few month old fetuses in their mothers womb) can feel pain. There is nothing ambigious about this now.

https://jme.bmj.com/content/46/1/3

https://www.livescience.com/54774-fetal-pain-anesthesia.html
It doesn't claim to be able to pick which specific things will survive, it only gives an estimate of the probability that something will survive over a certain time frame.
What an unfortunate name. I don't get it, have some pride in your thing!

Looks like an awesome product though. Like sibling, as a lefty I would love to see a "mirrored" version of this product.

I do wonder about the general feel of the case. It's 3d printed yeah? Perhaps this is very dependent on the materials. But overall an open design will mean that people can iterate on this idea and share knowledge. A win-win for everyone involved!
A quick google will give you an idea of why people decide to sell their houses. It's generally got nothing to do with interest rates and everything to do with personal factors and a huge seasonality factor. People prefer to sell in the summer, and sellers make the worst returns in the winter months.
What countries dont have govt funded ID services yet?
The main issue with our grid is mostly that we lack the capacity to transport the power. In the past power generation and heavy power consumption were typically relatively co-located. Now, with wide spread energy production with solar panels the energy is coming from everywhere and this power needs to be transported to where it is consumed.

Moreover, in order not to overload the grid other power generators need to scale down, even if those would be closer.
On an OS without a Python interpreter? I doubt it. This is a binary that runs anywhere. No interpreter or virtual environment needs to be installed for it to work.
I have a serious question… in elections, we need to know a person has exactly one account etc. Entering a bar, they need to know you’re 21 or over etc.

The PROPER mechanism for this would be a certificate issues by a trusted authority (or a few) that would somehow prove with a zero knowledge proof that you have one of the certificates, but every time it would be different and unlinkable to you. It wouldn’t leak an identifier that can be used to track you.

Google GROUP SIGNATURES, that is what we want to achieve. How? Is there a well-known software library in crypto, besides a mixer like Tornado.Cash or rings like in Monero? Something like openssl so we don’t have to “roll our own”?

The technical name for what I want is Group Signatures, starting with this seminal paper by Chaum in 1991: https://chaum.com/wp-content/uploads/2021/12/Group_Signature...

But what is the latest State of the Art in Group Signatures? What is used today, that can work at scale for groups of MILLIONS of people, and still be anonymous? Chaum’s conception is linear in the number of group members and the group has to be fixed in the beginning, and can’t be dynamically changed. That means issuing new certs once a year year to people who have come of age at 18, or registered to vote etc. That proves your age so they’d have to actually create larger groups by aggregating these together with previous groups (they could also remove people from the rolls if they haven’t retegistered for a while, eg for a driver’s license again).

This is the latest work I could find and it’s from 2003… why is no one making progress in this field, or implementations?

https://cseweb.ucsd.edu//~daniele/papers/BMW.pdf
What a great interview
I strongly urge you to visit Europe and see how mixed-use housing can be implemented to promote a car-free culture by largely eliminating parking lots, while keeping the greenery and shopping malls.
I had a genuine Grace Hopper nanosecond from when she visited my high school. Sadly lost now.
Not directly in this, but Alon (the author) has consistently harped on how bad US train operations are.

> * Escalators constrain the rate at which people can actually reach the platforms
> * These escalators need to switch direction when a train arrives, meaning multiple arrivals and departures are not simultaneously supported.

> * Some tracks do not support full train lengths
> * Not all tracks in the station are through tracks

Alon isn't against a station remodel. He is against this one because it is a bad plan. Platforms should be full length for the train that will use them. Platforms should be wide enough for people to wait on them. Penn station needs less platforms that are used better, not more of them that cannot be used very well.
Private is bad. Public is good.

by Paris Marx
Two hands to delete a character? No, thanks. Not to mention that your consistency argument is out the window because Apple doesn't put Fn in the same place on all its keyboards.

Also, that combo isn't marked on the keyboards, so it may as well not exist for the vast majority of people.

With the demise of the Eject key, there is no excuse for the lack of Delete on Apple laptops. Not to mention that Apple put a hardware delay on the Eject key for some reason, so you couldn't even remap it to be Delete. If accidental CD ejections were causing enough fatalities to demand a NON-DEFEATABLE DELAY, why didn't Apple simply make Eject a secondary function on a Delete key, requiring Fn (and being marked as such)? Both problems solved.
The current proposals isn't to roll it out for mature sites, but any site that might possibly allow user generated content. Think of e-commerce sites with product reviews for example.

Step 2 could conceivably happen a la boiled frog.
Won't less money will be 'printed' (i.e. created by banks via lending) as mortgages fall?
> […] having a 40 character password would quickly become a PITA.

Do you have a a favourite song/poem/nursery rhyme?

"Hey diddle diddle, the cat and the fiddle,"

* https://en.wikipedia.org/wiki/Hey_Diddle_Diddle

And you only have to unlock it perhaps once at the beginning of the work day (set auto-lock/forget to 8 hours), or twice a day (morning, after lunch; auto-lock to 4 hours). Once unlocked maybe only ask for confirmation for use.
I helped build an aquarium into the shell of a big old "console" TV, long ago.

I could see something like that done with say an iMac G3. [1] or a Televideo 9xx [2]

[1] https://techblog.se/files/2021/03/iMac-G3-Top-2048x1973.jpg

[2] http://i.pinimg.com/736x/ed/9c/c9/ed9cc9212826f8d9ada039478f...
The latest updates break Wi-Fi hotspots in Windows 10 and 11
The platforms are not large enough to support people waiting at the same time as the train is unloading and are full of columns. There are safety concerns in not being able to evacuate passengers quickly enough in the event of an emergency via narrow escalators.

Through running NJ Transit onto LIRR is through running AC trains onto a DC network. That is billions. In addition, nobody from NJ wants to go to Long Island and vice versa, and most NJ Trains run-through the station in the same direction already to be stored at Sunnyside. The same is true of LIRR, they go into the west side yard as a straight move. The NJ trains that don’t run to SSY are usually making use of the stub end tracks at Penn where through running isn’t an option.
I noticed when reading the Amazon reviews of probiotics recently that a lot of people claim they improved their mood a lot too.
This is probably to protect the archive from the US.
And those from 6, 9 and 10 years ago

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

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

https://news.ycombinator.com/item?id=3655886
Not true. Communism is inherently inhumane.
Maybe some, but Intel would need to take steps to prove that they're trustworthy. In the event that Intel's fabs become the best in the future, there's a situation that will happen where Intel might be tempted to use it all up on their own products because that is the most profitable for them.
This is a recording of a talk Philip and I gave during the Live Embedded Event. We didn't really plan on it being posted here :)

If you are interested in our work, we regularly publish reports (weekly and monthly which would be a better starting point and contain more fun info) on our GitHub organization and on thephilbert.io

Additionally, we wrote a blogpost on the compiler which should get released soon!

I wouldn't watch that video in my office either :D
I'm sure that the solution is rather storage than cryptomining (to me it looks like the same as just burning the energy into waste heat).

For example, molten salt storage.
You underestimate the speed at which I open the app ;)
I've been hearing this for years and yet houses have already fallen 20+% in the Toronto area since the Canadian government started increasing rates. Maybe it's not just lack of supply? Maybe speculation and cheap credit has created demand for houses as investment vehicles people aren't actually occupying?
The UK legislators want to replace GDPR with a watered down version that only applies to the UK. Their claim is that this will allow businesses to save money on compliance. (Me: Companies in Brazil, Australia and the US comply with GDPR, so realistically British companies will have to abide to both regulations and so costs can only increase)

Furthermore the British government is planning to force all websites to verify their visitors’ age (allegedly using government approved providers), which is orders of magnitudes more onerous than GDPR (me: which is actually almost free unless you abuse your users’ data).
Ah, the gish gallop. A classic.

Anyway, Musk can show me his dick all he likes if I get 200k per viewing.
Chrome Extension with Next.js and Notion API
I also tried to get into F# and was turned off by really confusing type provider issues that I dont believe I ever figured out. I'll have to give it another go, but it wasn't a great first impression and C# is in a pretty good spot overall right now.
About 90% of serotonin is made in the gut [1]. This is one of those things that helps us with being happy and an unhealthy gut produces less. So, this makes sense.

[1] https://my.clevelandclinic.org/health/articles/22572-seroton...
n=40, seems a bit small. But this fits into a lot of anecdotal accounts I've heard. Gut flora is very complex and not well understood.
Chicken and the Egg, for 5-year-olds
My 5-year old daughter asked me a few days back, how the fist human came to be.

I gave the Darwinian answer: "She (aribrary gender) was born from an ape mother."

Today, she came back, after obviously having thought about this, and asked: "Who was the father of the children of the first human?"

Now this was more difficult. We could just say that anyone born to her species born after day X were human, and those before were apes. But if we chose to use genotypes or phenotypes to determine this, "she" may very well have mated with someone just short of meeting the criteria, and may also have had children that qualified as "apes".

What do I answer the 5-year-old?
That is not true. Either A) You know for a fact all content is safe for underaged, or B) You verify.

What is safe for underaged is not defined and can change on a whim. Therefor, any sane person running a website that is not "explicitly for underageds" will verify and eject said underageds. Especially since the one in charge (hired by the company) can be personally liable for any "harm" comming to the underaged.
I think we're probably disagreeing on "immediate", I was thinking by the time of the late 90's. You're right, it would have been less obvious when it was a pile of universities communicating together. But regardless, by the time of the dotcom crash my family in rural Northern Alberta had the internet.
> Probiotics maintained microbial diversity and increased the abundance of the genus Lactobacillus, indicating the effectivity of the probiotics to increase specific taxa. The increase of the Lactobacillus was associated with decreased depressive symptoms in the probiotics group. [0]

So, yogurt everybody ? [1] [2]

[0] https://www.nature.com/articles/s41398-022-01977-z
[1] https://en.wikipedia.org/wiki/Yogurt#Health_research
[2] https://en.wikipedia.org/wiki/Probiotic
It depends on how long these sections are. We're probably of the same mind but thinking of different dimensions. If we're talking just for electrified sections of up to 2 km, alternating a dozen times or more, I'm not sure if it's worth it. For longer sections, yes, it's an absolute killer feature.

The cost of raising the panto slightly too early even once is tremendous. You would have to close the track for maintenance. So you need a safety margin of a few seconds. That's several 100 meters. Frequent changeovers would necessitate the system to be fully automated in order to factor out human error.

The changeover on London Overground is usually done while standing at a station (by the driver). According to [1] it's possible to switch while moving. The speed limit is given as 25mph, however.

[1] https://www.railforums.co.uk/threads/changing-from-dc-to-ac-...
I use multiple keys for encrypting the secrets. It's been going fine for about 5 years and at least two key rotation events.

I usually have a key for each device that requires access, sometimes they overlap for all secrets and sometimes they only have access to specific folders (think a work vs. personal separation).

It's a high friction environment for sure, but I'm happy with it.
> Banks are backed by the fed so runs don't happen. They did that after the great depression, along with a lot of those pesky regulations, when people were sick to hell of bank runs happening every few years.

Bank runs definitely still happen. Maybe not in the US, but in other countries they do. Latest example was in Russia when the announcement of the removal of Russian banks from SWIFT. Bank runs also happened in Greece, Canada, Bulgaria, Argentina and more, just in the 2000's.
>Central banks, multinational corporations, and others who can afford to marshal the resources to perform extensive audits will probably use smart contracts on a proof-of-stake chain for large, adversarial transactions

Arbitration at the highest echelons of power is done with weapons. I don’t give a shit about what your blockchain says when I can force you to the negotiating table Commodore Perry style.
>I don't use a high-end laptop and I'm not eager to upgrade is because I can relate to the average user of the software I develop.

Thank you so so much. It's insane how it feels like the speed of much of our software hasn't improved or even regressed despite the gigantic advancements made over the years. People really don't seem to care about this.

I had an argument about it with a senior colleague regarding some industry software.
He figured it wasn't worthwhile to improve the speed of some table fetching and calculations that people actually had to wait on since it would only amount to a bit more than a second or so on top of the regular slowness of it all.

A second that had been multiplied on at least 20 pc's each going trough it at least a 100 times a day of more than 260 times each year over at least 10 years so far.
Turns out more than 5 million seconds is a lot of man-hours which whilst cheaper than ours amount to manyfold what it would have taken to fix it.
I loved this!

It ties so well the another comment about the speed of computers on the front page:

> On a 3GHz CPU, one clock cycle is enough time for light to travel only 10cm.
If you hold up a sign with, say, a multiplication, a CPU will produce the result before light reaches a person a few metres away.

<https://news.ycombinator.com/item?id=31769936>
I personally enjoy regulated banking very much :-)
With boring central banks and banks that are heavily stress-tested and regulated.
fwiw - Certain chipsets, such as Mediatek, make cloning IMEI, WiFi and BT MAC addresses quite easy. There's plenty of tutorials out there.
Ah yes game engine development, where we herd all the lazy folks who hate efficient solutions to problems.
I deeply suspect it's got a lot to do with interest rates pushing investors into the residential housing market who never would be there outside of these conditions. When a market is entered by participants with vastly more resources than previous market players valuations change vastly.
Realistically, the only real power they have to decrease house prices is to massively increase interest rates.

Unless you've saved enough to buy a house outright, you'll probably end up paying in interest what you would have paid in principle. Whether it ends up being better or worse for the average buyer remains to be seen.
You can't depend on shared libraries outside the wheel, but you can include the library inside the wheel. The applications all expect the shared library they depend on to be in a path relative the location of the application, which prevents putting the shared library in a separate package anyway. So how would you handle this situation with wheels if you don't have the option of forcing users into a specific python distribution?
I think they meant to write “electric recloser” and the author didn’t know what they were talking about. They’re very common and not noteworthy at all.
Thanks! IMO it is very important effects have an easy syntax to read/understand since they will be both used pervasively and be foreign to most new users. I do have an idea for "traits as types" which would cover static and dynamic dispatch: https://antelang.org/docs/ideas/#traits-as-types. So a use like `print (x: Show) : unit = ...` would be usable with static or dynamic dispatch and more complex cases like `print_all (x: Vec Show) : unit = ...` would use dynamic dispatch always. Perhaps this may be too confusing though, and there are other considerations as well which is why its only an idea for now.

Your concern on refinement types is definitely valid and is something I've been thinking about. They are certainly useful in some cases like array indices or passing around certain predicates but whether these are useful enough to offset the implementation cost and brain tax is an open question.
Even if it were 80% it would not be socialism
Haven’t had any major issues since switching. Still easily able to get on with my day job and toy around as I always would.

Glad that the world is catching up a little but it’ll take time like anything else.

Biggest issue for me early on was android emulator, once an M1 version was released it was all easy going.
True but I think the crypto companies should be able to buy the same insurance as gambling casinos, since... they are gambling casinos
Something like the Doomsday Vault in Svalbard:

https://en.wikipedia.org/wiki/Svalbard_Global_Seed_Vault
And if you don't have legal ID, the website will need to access your Webcam and measure the size of your head(!) to determine your age.
It's important to note that mrustc is not intended for everyday use and instead as a bootstrap compiler for rustc (at least originally).

We would like to develop an alternative that is suitable as a daily rust compiler and that integrates into the existing Rust ecosystem (and makes use of it!)
Yeah it's kind of weird that people want things to work as well as they do in Xorg. While I completely understand that it works very well for you, the "for you" doesn't actually make it so for me.

While I understand that it's probably my fault for not discovering the same combination of software components and configuration that you did through brute force... Xorg no longer makes me do these sorts of things. Probably because it's not in a hurricane of development where every wheel is reimplemented monthly. You want people to switch to Wayland? Restart development on Xorg and introduce lots of breakage until it's just as much of a pain in the ass as Wayland.

I've tried it as recently as this year. The deal breaker? Toolbar popups in LibreOffice would not show. While I could submit bug reports to hundreds of different projects wait for them to be a duplicate of a closed won't-fix-not-our-bug-good-luck-figuring-out-who's-bug-it-is-becasue-they-sent-you-back-here, I just don't have the patience I used to have for that. I got to get something done. So, back to xorg until some update discards my preference and loads Wayland again.

Yeah, why should I be mad? Just be patient another 13 years for the pain points (which simultaneously don't exist) to get worked out.
A trillion dollar industry doesn't necessarily have to depend on the federal government to fund training.
for reference, the online safety bill is in the committee stage:

https://bills.parliament.uk/bills/3137

so, a long way to go.

the new Data Reform Bill has not even been submitted yet.