skysight-inc/HackerNews huggingface dataset:
hello remove,

Of course your right, but what if absolute efficiency doesn't matter all, what if the only thing that matters is relative efficiency? If knots and folds of two bonded atoms could create units with different properties : hydrophobic, and hydrophilic (or the equivalent properties to some other non aquatic medium), forming corkscrews, forming sheets, forming cross chain links - then perhaps it doesn't matter how convoluted the solutions are, perhaps all that matters is whether it is relatively efficient compared to other competing solutions. What I think makes this more than just a hypothetical to ponder is that perhaps this is fundamental to understanding the origins of life. Perhaps early life was complex without being sophisticated, having terribly inefficient metabolic pathways, a chaos of reactions in which only a bare sliver of energy was directed towards useful activities, perhaps the activities of those early cells unfolded slowly over thousands of years and it didn't matter because there was no other life to compete with.
Microsoft Research is essentially hoarding technology that goes substantially beyond mere `rr`. Especially when async/coroutine models are involved.

It's locked behind the really expensive (like 10k or so? For I guess a seat a year?) Visual studio license and IIUC windows-only.
No, but lets say a the big traditional instances do not accept the non-forked chain. Only the forked one. How good would that chain be for your average new user that is forced to accept transactions on the new chain.
Airbus advertises a product called Skywise [0] now, which appears to offer realtime data streaming back home. In a documentary on Qantas Flight 32, they mention that Qantas had realtime data access to ECAM at least. I believe this is more-standard now, but obviously in 2001 it would've been a different ballgame.

[0]: https://aircraft.airbus.com/en/services/enhance/skywise/skyw...
I started out with yadm but ended up symlinking its .git directory to ~/.git to be able to browse/stage/commit in Fork (https://fork.dev).

To make this manageable, I added this .gitignore:

\*
!.\*
!.hammerspoon/\*/\*
!.config/\*/\*
!.ssh/config
.DS_Store
.bash_history
.tig_history
.lesshst
.python_history
.wget-hsts
.zsh_history
.CFUserTextEncoding
.Xauthority
/.config/mcd/.cache/
/.config/mcd/.local/
/.config/legendary/

This makes use of the fact that .gitignore patterns are evaluated in order. It basically makes git only care about dotfiles in the home directory, files under .config, .ssh and .hammerspoon. Specific files/dirs that match that filter can still be ignored (e.g. .bash_history).

This is very straightforward and works quite well, so I don't see the need for yadm anymore. The one issue I have with it, is that in the terminal I'm always in a git context (shown in the shell prompt) in any directory under $HOME.
> I've not had to go pick up a package in basically ever,

Back In The Day, couriers treated every parcel as if it contained a high-end laptop worth several weeks' wages - it either gets signed for by someone in the right building or it goes back to the depot. And if you want to collect from the depot, you'd better have government-issued photo ID matching the name on the package.

Leaving such a valuable item just sitting on someone's porch? Without a signature? Unthinkable!

And as the deliveries were conducted 9-5 Monday-Friday, if you were in work those hours every parcel would end up at the depot, no matter how many redelivery attempts they made.

Of course in the modern age, where a courier knows they might be delivering a $2 tube of toothpaste instead of a $2000 laptop, things are different.
I am using it for my side project and it's very easy to configure and manage.
Forestry.io End of Life
...on a separate note, wouldn't `date +%s` from coreutils do?
When Frederick the Great repeatedly ordered Seydlitz to attack at Zorndorf, eventually threatening that he would pay with his head for insubordination, Seydlitz replied:

> Tell the King my head will be at his disposal after the battle. During the battle, I hope he will allow me to employ it, to gain victory for him.

https://upload.wikimedia.org/wikipedia/commons/thumb/2/26/Le...

(I've been RIF'd before, and it's nothing like decapitation)
Fortunately this functionality is now in place in all Airbus aircraft thanks to this incident. I suspect the same is true on most commercial aircraft.
Which is why your contract should have protection against layoffs just before vesting cliffs so that companies don't have these incentives.

From what I've seen, it's normal to have vest-immediately terms for anything except voluntary departure or at-fault termination.
>> you are in a very small minority of the world population

Really? So EU, UK, USA, China, Australia, with stable currencies, are a small minority..?

Sorry but countries with wild instability are the minority and frankly gold would seem to be a better store of value if that's anyone's concern. Crypto remains speculation i.e. a gamble not a store of value.
Uh no. I'm not talking about updates. I'm talking about the game medium literally not containing the entire game because the publisher is too fucking cheap to spring for extra discs or a bigger cart. Some examples include L.A Noire, Spyro Trilogy, GTA trilogy, Tony Hawk 1+2 on Switch, PC games like Doom 2016 or MGSV or CoD:MW II on Series X.
Hmmm ok what’s your evaluation criteria?
YOLOv8: Real-time, SOTA, object detection and segmentation models
In UK it was the other way around, limited c-sections because of misguided view that it's less healthy.

https://www.theguardian.com/society/2020/dec/10/key-points-s...
Tetris: the author's childhood playing pentominoes[0]

Angry Birds: "a sketch of stylized wingless birds[1]", apparently, and games using that basic physics go back ages, and are inspired by cannon warfare[2]

Snake: all Snake games are based on Blockade, published by Gremlin industries, where I found this[3] on an interesting site HN might like

"[Lane Hauck] While we were designing wall games, I was tinkering in the back room with a video circuit that became our Blockade game board. I kept showing my work to Frank Fogleman and Jerry, pestering them with the “can we get into video now?” question. I made a 32x24 cell frame buffer with graphical characters. I was intrigued by the random walk in Physics…which said a drunk taking steps in random directions around a lamppost would gravitate to the lamppost. I decided to program an arrow to be the drunk, and watched it flit around the screen for about a minute before getting bored. Then I thought, what if the drunk can’t visit the same square twice? I made that adjustment, and watched the arrow move a bit and then get trapped. The step from there to Blockade was a small one. (Hauck 2012)"

[0] https://en.wikipedia.org/wiki/Tetris#Conception

[1] https://www.cleverism.com/why-angry-birds-got-successful/

[2] https://en.wikipedia.org/wiki/Artillery_game

[3] http://allincolorforaquarter.blogspot.com/2015/09/the-ultima...
Pity that in some platforms, e.g. Windows, what DevDiv incrementally upgrades with .NET, WinDev undoes it with COM and C++.

One of the reasons why we have all this mess with UWP, WinRT, WinUI and WinAppSDK.

They could have followed Android's approach where everyone works together for that incremental upgrade, but alas.
I know nothing of Buddhism as it has never interest me much.

> Jewish historian Josephus

In general we have a history in this field where early on almost everything was accepted and for decades more things have been stripped. Once upon a time it was consensuses that there was an empty tomb and that wasn't that long ago.

This is a field absolutely dominated by fundamentalist scholars and a historiography that mostly made by strongly believing Christians.

The history of the field is basically one of attempting to prove that Jesus existed, that Gospels are historical and so on. It took decades to remove and change the field an some things are still in flux, such a Q.

Even if Josephus did write those things (or there were earlier things later changed) it would most likely have been writing based of reports from Christians so even if he the reference are real and refer to the actual Jesus as we understand it, its not great evidence because of course Christians tell him that. There is no evidence Josephus did any independent study or had any source other then Christians or maybe some of the Gospels like Mark.

As I said, Jesus most likely did exist but the evidence isn't that great.

> Also, the majority of secular scholars believe we can work out roughly what Jesus taught – although it seems likely that what he actually taught was much closer to 1st century Judaism than what Christianity later evolved into

Even scholars don't have a unified agreement on what he taught. Most likely some for of Apocalyptic Judaism as you said. There were many of those kinds of Jewish cults during that time. And there is also evidence that these were partially overlapping and so on.

The issue is that after his death and supposed resurrection he apparently appeared in vision to the Apostles and gave them knowledge (that is what they believed). And its very likely that they all at different kinds of visions that likely changed what he would have taught in live.

So basically the very reason there is a Christianity (the believe in supposed resurrection) basically implies changes to the theology.
Nah, reading is hard, particularly when nuance is distilled into 280 characters. Only way we'll ever know is to ask Carmack himself I guess
Agree what’s the heuristic for “value”?
> […] they are a huge life-disrupting procedure.

Giving birth by any means is though. My wife had a caesarian delivery (as a medical intervention when the natural way turned out to be impossible), but recovered as fast as you would from giving birth the natural way (the scar is pretty much invisible too by now).

So no, not everyone who has had one will assert that they are huge life disrupting procedures. They are medical procedures, and generally should not be performed if not needed because of a slightly higher risk of complications, but they are not normally life disrupting (the baby on the other hand is).
Yup, that was my immediate takeaway.

It wouldn't surprise me if that narration trend was reversed for fanfic though, and that the AI has been trained on a lot more fanfic

(For similar reasons, when I asked ChatGPT to write a story about Draco Malfoy and Harry Potter it tells me about how they began to notice each other and it blossomed into a beautiful friendship [ChatGPT is far too prudish to take it as far as the fanfic...]. When I asked for it in the style of JK Rowling it told essentially the same story, minus the "once upon a time" opening...)
For my desktop, I value 30% faster compilation far more than I care about the CPU using more watts. It depends on what you do, and it's not all benchmarks.
More expensive burr grinder. Non-burr grinders are bad regardless of price.
Just thinking - are there any security implications to this? Could sensitive data accidentally get added to the URL and then get intercepted?
I don't mean that the brain is materially a computer in the sense we're used to computers in our day-to-day. That would be demonstrably false. Just as we can show humans are not formed from clay we can show humans are not formed of transistors.

Instead I mean that humans are logically computers. Physical entities operating on inputs and producing outputs. They share this property with any other physical system. Now there may be some supernatural layer that exists beyond the physics and chemistry operating within the skull that would lead to that position being undermined, but in the absense of that my point is purely that the human brain is just computer in the sense that it's a physcical system producing output.
How would it destroy the judicial system? If anything, it would strengthen it, and expose injustices in either the justice system itself or in law.

Does media coverage on criminal cases destroy the fabric of criminal proceedings?
I read more than ever overall - both articles and books. I also dislike fluff-stuffed books and I adjust by skimming over such parts. Although I am never sure if I miss important points, I think it is better than wasting time on non-content. The same is true for online articles.

To me, it feels like we have reached a point where information gathering and learning is getting slower and harder due to filler bloat and other distractions. I recognize this most when I go back to a new book or online text after having read in an old book.
Boring Data Tool
Text rendering is very expensive. That's why you need hardware acceleration.
> Learning more about a tool that can filter and aggregate two billion rows on a laptop in two seconds

If someone has a code example to this effect, I'd be greatful.

I was once engaged in a salesy pitch by a cloud advocate that BigQuery (et al.) can "process a billion rows a second".

I tried to create an SQLite example with a billion rows to show that this isn't impressive, but I gave up after some obstacles to generating the data.

It would be nice to have an example like this to show developers (, engineers) who have become accustomed to the extreme levels of CPU abuse today, to show that modern laptops really are supercomputers.

It should be obvious that a laptop can rival a data centre at 90% of ordinary tasks, that it isn't in my view, has a lot to do with the state of OS/Browser/App/etc. design & performance.
Supercomputers, alas, dedicated to drawing pixels by way of a dozen layers of indirection.
I have a Dutch neighbor who married a Turkish woman. They run a couple of successful companies, and their goal is to relocate to Rotterdam where his family is from. He wanted to incorporate a company in NL, and transfer his current business there. Because he lives abroad, despite being a Dutch citizen, he was not able to open a business bank account, so he was not able to open a company on his own. His options were to move home or get everything executed in his brother's name until he's ready to move (which he choose).

Of course, he also complains heavily about the bureaucracy here, which is equally broken but in a different way.
a key difference between bad art and good art is that good art contains something conceptually new, and chatgpt struggles to come up with new things.
Indeed! And the end is just the right amount of icing on the cake! :D
Low-Temperature Polycrystalline Silicon
In the paper is says:
"Each diagnosis was based on the same x-ray and the same oral condition of the test patient."
Sorry for the dumb question... but what does "historical average" mean, which years? Is it all years? A subset? If CA has been in a drought for so long, why is the historical average often higher?
NASA unveils plan for multibillion-dollar telescope to find life on alien worlds
>Random story but I just wanted to share that you can prepare all you want and sometimes life still tries to kick you in the butt.

Probably the most useful mantra from the prepping community that gets burned into your brain is "two is one, and one is none".
US schools sue Meta, Google and friends over 'youth mental health crisis'
With the competition not being able to update its web browser without a full system upgrade, I'd say Android is actually ahead in this respect.

You can't just upgrade libraries willy nilly on Android devices for good reason. First it all, Google has no way to know what versions of what libraries are actually modified by the vendor or requires by vendor software. Second, the system image is read only for security and stability reasons, just like it is on many other consumer facing Linux devices. Lastly, these modular upgrades have already been implemented for years for a select subset of the Android API that can safely be updated without causing conflicts.

Having Google update a library on a Samsung phone is like installing an Arch package on Ubuntu. In theory it'll work out fine it's just a newer version, right? In practice you have no idea what's about to happen to the stability of your system.

There's a reason Linux software is actually moving towards the Android way of doing things, packaging all of its dependencies by itself into Flatpaks or AppImages or even Snaps. Externally updated code causes issues across the board, especially in a fragmented space like Linux or Android distributions.
I think that creators everywhere across the globe are feeling that their craft may soon be roboticized or in some way automated. From storytellers to designers to programmers.

So if the machines take care of all the building / making / doing work, then what's left is coming up with the ideas, no?
As a non-USA citizen, that would be probably good for me.

But I know the USA would manufacture some bogus claims about dangerous weapons and go to war rather than letting it happen.
Strongly agree. I don't understand the excitement around ChatGPT. It's a bullshit machine, unreliable and inconsistent. It just adds noise to the world, to the point where it could actually drown all form of signal.
This makes sense but also seems very annoying to do? E.g let's say you are storing state in the URL, and now the user wants to save it to their profile. You need to upgrade the state from "encoded into the URL" to "stored in my database", which seems annoying.
Genetics has to play a role. I'm 30 and I've never had a single cavity. I was a slob for the first ~18 years of my life and barely brushed at all because I knew I didn't really need to. Now I brush once a day, but never before bed, only before leaving the house. I've flossed at most ten times in my life and pay no particular heed to my diet (although I am not unhealthy or overweight). Meanwhile my sisters and parents are far more attentive and all of them have had multiple cavities. We all go to the same dentist, and have done for 30+ years.
> if it was all about the money, you'd see people getting laid off right before their vesting cliffs

Except it sorta does. You can’t casually lay people off but companies absolutely optimize around payouts.

Amazon, for example, famously had an average tenure of less than two years for outgoing employees, with a vesting schedule that heavily increased after 24 mo.

Conversely, Google famous link doesn’t like to cull underperforming employees. They have a front-weighted vesting schedule so underperforming employees get an effective pay cut.
I would take 1900s to mean close to the turn of last century in vernacular usage.

But yes I think 19th century is probably closer to what is meant.
I thought that was unnecessary, too, until I saw many women that had lasting issues due to natural births where things broke that do not fully heal anymore and permanently reduce their quality of life.

In some countries, an involuntary C-section (because of complications) becomes also prohibitively expensive, so people opt for the voluntary one to risk-manage.

It’s less black and white for me now.
It feels like Play Services is for Google to own valuable features privately over an open source OS.

Not about version support.
It's a way to show that the legal system is too complex. In the 80s the Justice Department tried to count the total number of criminal laws and they failed.[0] If the government can't even keep track of the number of them, then how is it reasonable to expect regular people to follow all of them?

[0] https://blogs.loc.gov/law/2013/03/frequent-reference-questio...
Just a heads up - Budibase was always open source.
Yes, I am. They weren't ruined immediately, but the addiction quickly ruined them.

Questionasble. There's a good asrticle in the spectator asbout this I can't find now, am at work. It suggests a very different interpretation.
Those support libraries are the reason half the apps on my device still function because I haven't gotten the latest incremental Android upgrade.

I don't see the problem here. As a developer you can implement support for older versions yourself if you want to, all you need to do is write stubs for every API and platform feature to mske them work somewhat consistently on older platforms. I don't see why you'd waste the time if Google has already done so for your, but you can.
This looks great. It's nearly impossible for me to leave Neovim at this point, but I do miss a good git-aware minimap, and I miss the VS Code git diff / integration.

I'd love to find an editor that has those features while being as light and snappy as Neovim with the same ability to split, navigate, and do all the things without leaving the keyboard.
Gaming performance will be dominated by watts of your GPU tbh.
The worst is when cute meets descriptive.

I've worked at a place where we had dozens of microservices, all named after random mythology. And all names must had some relevance to the actual function of the service.

The shopping cart service was named Freyja[0].

The content management service was called Metis[1].

Every single service had a 'cute but descriptive' name, and it was hell.

If you didn't know that tale, the names don't mean anything. And if you do know you still have to guess what the the service does.

[0] - https://en.wikipedia.org/wiki/Freyja

[1] - https://en.wikipedia.org/wiki/Metis_(mythology)
The meme that cryptocurrency is good for people in countries without modern banking is long-dead at this point. First, and most importantly, many supposed not-modern countries actually have more robust banking than America: mobile money is more popular and has far greater penetration in large parts of Africa than it does America, for example. Secondly, for every cryptocurrency project that has provided value to places without modern banking, there’s a cryptocurrency project that has more effectively exploited people.

The fundamental problem with your position is that cryptocurrency does not offer a stable store of value and so while there may be short term examples where people have found value by using a non-government currency, these examples are often short lived. Just look at platforms like the YC-backed Stablegains, which are a great alternative to government-backed currencies… until they blow up and financially-insecure people are thrown into a dire situation.
Why not just have a shell script that you run with ./serve? Even simpler.
This is a great find; some designs are really good and fit today's themes while other remind me of that wild times of the Web from 20 years ago. There are also some that are completely bananas.

I think it's also a nice sample gallery from designs across various countries

Neolux user works seem to be used now in Wikimedia branding - the red, green and blue [1]

[1] - https://meta.wikimedia.org/wiki/Red,_green,_and_blue
The problem with this is "how do you assure the AI isn't bold face lying to the defendant".

For a natural text generation/chat system like ChatGPT, at the moment this is effectively impossible and frankly I don't see it being sufficiently fixed for something as complex as teaching law to a non-law-student any time in the near future.
Ah, I'm sorry about that. Didn't mean it to make it misleading. I've edited the title. Thanks!
I apologize. I misread the context of the thread. I mistakenly though you were commenting on Wildberger's reasoning for promoting rational trigonometry, rather than on Cook's decision to use that approach.

If "formal verification" involves using a software-based proof assistant or automatic theorem prover then perhaps that easier to encode for those tools via rational trigonometry?

Why not ask him directly?
If the AI gives bad advice, you can then sue this stupid company, right?
Could’ve gotten wet in transit, in a station, their contents (I had a package that was wet cat food that was on top of everything else at the station, it leaked..). A ton of reasons. I did preload at UPS two years ago during peak season, station sorting can do crazy things to packages heh.
The Universe 25 Experiment
You might want to visit the dentistry department of a university hospital. In my opinion they aren't eager to do unnecessary things like regular dentists.