skysight-inc/HackerNews huggingface dataset:
The description doesn't say much (well, it's a place for memos) but the screenshot shows exactly what this is.

The lack of alt-text would make it difficult for people relying on assistive technology to understand it, though.

It's all in the title, though. It's a place to store memos.
> In 1728, James Bradley made another estimate by observing stellar aberration.. Bradley measured this angle for starlight, and knowing the speed of the Earth around the Sun, he found a value for the speed of light of 301,000 km/s.

So technically, he almost got to the official number so far which is 299,792.458 km/s. What an achievement!
a few weeks ago someone merged a small PR i made in 2016. it was pretty surprising. i had not thought about it in years and had completely forgotten about it.
Sad in a way. the classic NUC form factor is all I expect we will see going forward. I don't expect we will see anything interesting or different like the beast canyon, ghost canyon or raptor canyon form factors again
Does this also count for Proxmox?
One of those products I've always been on the verge of buying but never pulled the trigger.

I'm now looking at the System 76 Meerkat to fill the same void.
They're probably zening out on these new forms of https://en.wikipedia.org/wiki/Ko-ry%C5%AB in the tech space.
Kelly Rowland couldn't have used the =HYPERLINK() function to message Nelly
>I genuinely don't see how that would be a reasonable assumption.

It's not an assumption. It's literally based on the results of your own reference:

>LM performance generally decreases monotonically with the distance

If you can't be bothered to read your own reference, I don't think additional conversation is worthwhile because it becomes apparent that it's more dogmatic than reasoned.

Your newest link is not really supportive of your "all evidence" claim. It goes into further detail about how LLM can have high accuracy while also making simple, unpredictable mistakes. That's not good evidence of a robust causal model that can extrapolate knowledge to other contexts. If I didn't know better, I'd assume you could just as well be a chat bot who only reads abstracts and replies in an overconfident manner.
Intel nucs are fine too. The question isn’t if they’re fine, the question is if they make good business sense.

Also, apple’s crazy profitability means they may offer something like the mini that doesn’t sell as well as their laptop, while intel is ruthlessly cutting out things that aren’t part of their core business because of their monetary issues.

If Intel can’t compete with cheaper manufacturers and its not hitting their internal required rate of return then it may no longer justify having that business unit at all.
> but that they are in fact detained, in the sense that they do not feel free to leave.

And the person in question is a teenager.

In a more well-adjusted society this would not be considered legal and people wouldn't be defending it.
If we could use GPT-4 to grade prompts, we wouldn't need to talking about grading prompts to use for GPT-4, since this solution requires that the problem doesn't exist. The question then becomes, how do you grade the prompt grading, objectively? At the bottom, there has to be a ground truth.

You can't use the thing you're testing to evaluate its own performance. This applies to rulers, speedometers, and AI. It's the difference between a "subjective" and "objective" metrics. If you want an objective metric, you need to have it based on something external, based on reality, objective. Otherwise, you have metrics and ideas that have to held themselves up.

Source: My day job is test and measurement. These concepts go back centuries. You never trust your measurement system, you verify it against a standard.
I'd say that this is going to be one of the easiest surface mount (SMD) soldering jobs you'd ever do. Removing is easy, adding is hard. Fwiw, my first time doing SMD I was really nervous but then found it to be quite easy and so it opened up a lot of things for me (making and repairing). It is much easier than you think (often easier than through hole!), just when placing something you need to hold it in place (or use a heat gun, making these sometimes easier). Here's a short video if you want some guide[0]. As for soldering tips, any would be fine, but I learned that the flat tips, like this[1], tend to be my goto rather than the pencil like tips. The mass helps it keep heat and the larger surface area helps you transfer that heat.

[0a] Great demo, showing simplicity: https://www.youtube.com/watch?v=5uiroWBkdFY

[0b] A bit more detailed and Dave is just always extremely entertaining and a wealth of knowledge (notice his "go to" tip. Professionals use chisels ;) : https://www.youtube.com/watch?v=hoLf8gvvXXU

[1] https://www.amazon.com/UY-CHAN-Original-Soldering-Replacemen...
The other theory is that they can't pay their cloud computing bill and therefore had to restrict traffic. Jives with the reports they aren't paying rent at certain offices.
Exhibit a: Haskell.
Reminds me of 2020 White House briefing where speaker put on a mask just before walking onto the podium.
E-Methanol is okay as a carbon neutral fuel and solvent. At 50-60% efficiency it makes an excellent fuel to create from electricity. But it is still a long way from competing with battery and pumped hydro. It's fuel cell efficiency is only 30% with current technology after the 40-50% losses from the creating of the fuel itself. You can buy a lot of transmission wire at that price point.

All of these technologies illustrate how obscenely difficult it will be to put the carbon genie back in the bottle and what a miracle lithium chemistry batteries really are.
> I would love a Forth with a type system. I don't know if that is heretical [...].

Jack Woehr (of the ANS Forth committee) and Mitch Bradley (of Open Firmware fame) think it’s old hat[1], so guess not. (They also think it probably won’t work though.)

In general, people have tried a lot of times; there’s a number of postfix Lisps with type systems—Kitten mentioned elsethread, ActorForth[2], etc.; a low-level Forth, as in identidally sized cells on stack and no automatic memory management, I don’t think has been done to completeness (IIRC either Forth, Inc. or MPE have a standing offer for any that’s able to process their legacy code even just for stack checking), but then C wouldn’t be complete by that standard either (and Rust far too limiting).

Honestly I’m not sure how well it would work. In C, you get a great deal of utility out of compound types, and classic cell-oriented Forth kind of sucks at even mildly complex datastructures—they are certainly possible, but being unable to manipulate them as values on the stack makes things quite unnatural. (And that’s where I draw the line between Forths proper and “postfix Lisps” like PostScript, Joy, and Factor, as such manipulation doesn’t seem feasible without some sort of automatic memory management.)

[1] https://github.com/ForthHub/discussion/issues/79#issuecommen...

[2] https://github.com/ActorForth/ActorForth
That's their profit margin, not including the administrative overhead that counts against the 20%.
Or a competing insurer takes their customers by offering lower premiums. There is a reason the health insurance business earns anemic profit margins, even though they can legally earn more.
Thank you, you are right - and I appreciate the rusty pun. I think, as a general thing, there are a few things that I would do differently if I wanted to build a production version of this code. Firstly I would find a better way of parsing the headers. :)
We're venturing into tautology territory here, I think, but I can see where we agree.

I think getting the European NATO members to pony up and develop their own defense capabilities is long overdue, because there's been a bit of a free-rider problem since the end of the Cold War. Partially this is the result of a general failure of US leadership to posit what, exactly, NATO is supposed to be absent an Iron Curtain in Europe. I also vehemently agree that, in terms of dollars spent, this has been probably the greatest return on R&D dollars spent by US defense since WWII and has exposed pretty wide gaps in procurement (in fairness many have known and been screaming about these gaps for a while, but now they can't be explained away as not important "because War on Terror").

Where I think we part ways is probably at the definition of "stop". We've basically stalemated, with Russia getting no support from abroad and Ukraine getting extensive support from NATO and the US especially. Is a stalemate a "stop"? Is it "return to pre-war borders"? Is it "Crimea is back under control of Ukraine"? Is it "Ukraine is in NATO"? No one can really say, and that's where the unknown unknowns exist. For what it's worth, I actually agree with some who say that Ukraine is a de facto member of NATO already, but making them a de jure member must, absolutely must mean that all members wish to fight WWIII over the Donbass. That's a hard sell for normal people.
I questioned if the gain from the heat pump really exceed the losses from generation and transmission.

It seems CC plants are 45-57% efficient, so let’s go with 50%. A gas furnace is from 80% to 95% depending how old it is.

The heat pump would need to be roughly 2x efficiency to break even. They can be 3x or higher (since they move heat around rather than generating it.) Your statement surprisingly checks out.

So obviously it makes zero sense to use electricity to create methane to then burn for heat. Reality is messy though, sometimes we do things inefficiently because there are other constraints. Being unable to afford to convert to a heat pump system, or being in a climate where it won’t work well.
> The user mandmandam seems to be implying that Musk has been paid by Saudi oligarchs to make Twitter fail due to its history in causing disruption to their plans, but that seems to hinge on Musk's investment in the company

No. It just means that the Saudis think that Musk is a useful idiot.

Saudis can be trying to destroy Twitter and Musk can be trying to save it at the same time. Alas, this is how Musk thinks he's saving it. He's heavy handed, narcissistic and ignorant in the ways of online culture.
Just happy to have std::format.

Can't believe I used to use a third-party library ({fmt}) to do string interpolation like some kind of caveman.
I always find it amusing what excuses people come/came up with when they hate on new ideas or inventions. Usually a few decades into the project/revolution the real issues appear. No one would have argued against computers back in the day because it will cause petabytes worth of important nonsense. It would have sounded unbelievable.
> The org maintaining this maintains

(That org being mostly Red Hat)
Thank you, happy to share. These are excellent pointers.

Regarding the batch construction, it's not immediately clear to me how to implement sorting since the order is implicit through the hash function (it seems one would need to construct a trie to build a trie?) but I might be wrong...
An insurance company can also increase the number of customers.
This made me curious whether HN collapses dashes as well. These all render the same in the text entry box:

- hyphen

– n dash [option -] or [Alt + 0150]

— m dash [option-shift -] or [Alt + 0151]

Also, these render as 3 spaces or single space wide in the text entry box:

... three periods

… ellipsis [opt ;] or [Alt + 0133]

EDIT: So the - – — work, and can visually suggest what should be happening in one's typography if you do not double space after sentence ending punctuation.
Ok, as far as I know the DPI problem starts with M1 macs, meaning the text rendering looks terrible if DPI is < 150.
Do you understand what LLMs are? Of course they're not going to have original ideas because they're not alive and they are not intelligent. They're just dead-as-a-doornail algorithms.
At least some of these allegations have been out there for awhile. Why haven't the connected universities and journals answered them definitively?

I don't like to see trials by Twitter. I also don't like to see institutions of academia shirking their responsibilities.

(Full disclosure: I met with Ariely a long time ago, and he seemed decent, but I know almost nothing about that field.)
There is a game called TIS-100 where you solve problems using a grid of networked processors that can each store one current register and a second value you can swap to. It's an extremely constrained environment as such.

There is one challenge where you receive a series of numbers, have to sort and then output them. The game provides a couple of FIFO units you can read and write from in order to facilitate this.

I, instead, decided to do it without using them. I ended up storing all of the state in branching. By passing values down and then jumping and returning literals from branches, it gave me effectively a comparatively massive amount of space based on where the instruction pointer was sitting in any given node, letting me manipulate the state, storing it as branches taken, and then dumping out literals from the lowest levels of those before resetting the nodes for the next series of values.

It made me cognizant of how state, assumptions and literal values are "stored" by which branch you choose, with no actual variables.

This is also what happens when you run a "check" on a value rather than parsing it into a more specific type related to the check [1]. After a `if( !isa_username( somestring) ){ return ; }` you will often assume that `somename` is a username without actually encoding that into its type.

Because these assumptions are not checked by the compiler, then the compiler can't stop you from inappropriately merging branches or accidentally cutting out checks later.

It's powerful, common, and generally dangerous.

[1] https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...
> Your moral judgments have no power over anyone but you.

This is a statement that closes a discussion. Instead, prefer making statements that open a discussion. For example, in this case: in which ways can moral judgments be channeled into actual power?

One answer to this question is "the law". The EU has already taken action in this regard.
Great let’s add another merger on top of a merger that was already horrible for consumers and creates even less competition.
I actually like operator overloading, but overloading the shift operators for I/O was still a mistake IMO. It's a mistake even if you ignore that it's a theoretical misuse (I/O and binary shifting have nothing to do with each other semantically). The operator precedence of the binary shift operators is just wrong for I/O.
But we can just not sandbox the programs that break inside a sandbox. We don't lose anything we currently have. Meanwhile, more and more programs will start supporting running in a sandbox.
> Capitalism is being redefined to mean private (non-government) Communism

i've heard this called super-capitalism, yeah.
> That'd be problematic, as in many cases the vendor doesn't even have the full source code (think: all of the embedded chips that run their own RTOS), let alone the legal right of relicensing it.

I consider making closed-source more legally difficult to be an additional benefit, not a downside.

> Regardless of the actual physical condition of the item?

Yes. The idea is that it'd be better for things to continue to be safely usable rather than to have to become e-waste, so if the manufacturer chooses the option that requires the latter, the deal should be as one-sided as possible against them.

> Also, consider the smaller companies, that don't have the resources to effectively give you a 10-year warranty on their product.

Software updates are a lot cheaper than full warranties, and if they make all of their stuff open-source then there'd be nothing else they have to do at all.
I do not think health insurance company shareholders are interested in paying employees extra for no reason and earning less profit for themselves.
The incentive is probably to get their profit margin up to the maximum 15-20% https://www.propublica.org/article/cigna-pxdx-medical-health...
I'm very much seeing this at work.

We have a few dev-teams who are very responsive and cooperative. You see postgres complaining about queries from their application, you inform them, they realize the danger behind it and fix it. For these teams, we're perfectly fine providing prod analytics, adjusting parameters or sizing for a bit. Shitty queries happen, we compensate with some compute resources, you fix, we rescale. Entirely great, dev can move fast, we can be lean.

And then we have other teams. Some query executed twice for every user transaction has a high chance of resulting in unique key violations, which are logged as important errors. Fixes would be not too hard and have been communicated, but deemed "Not customer visible" and thus prioritized to death.

I'll let it up to guesses by the readers which project had sev-0 issues caught early by us and fixed by dev with almost no impact to customers, and which project ended up with a .3% increase in query error rates, which ended up as a sev-0 issue, with SLA discussions involved, and we were entirely blamed for being unable to do shit or at least detect it early.

I dislike growing into the operations team I don't want to be, but some teams demand doing so very, very hard.
The physical continuing expansion of the universe eventually causes any photon to be so far redshifted as to be unobservable, so it actually goes the opposite way. One day long from now, an alien civilization might look out into their night sky and only see their galaxy, and be completely unable to tell the previous history of the universe from observing the sky.
I've been daily driving it on my Thinkpad T580 with 16gb of ram for the past two years. I really enjoy it. Very occasionally it tells me that it's running out of RAM, but when that happens it's usually because I forgot to shutdown some VMs. Besides for that everything works great. I'd recommend using an SSD though with at least 512GB of storage, but better with 1TB.
Just the UK CMA standing in the way then, with its flimsy decision resting almost entirely on speculation about the "cloud gaming" market.

Microsoft should be offering to to swear off cloud gaming entirely, they should be delighted. Game streaming is a lousy solution that requires enormous investment in specific infrastructure, it would be smart to ignore it and focus on their great subscription service that only requires a $500 Xbox.
Impossible quantum drive scheduled for “do or die” October space flight
I'm from Argentina where wine is relatively cheap and I think many can distinguish a Malbec from a Cauvernet Sauvignon, but it's really difficult to distinguish in the same varietal
I was admiring my old Intel atom passive cooled boards and an now non-working Motorola Smartphone with also an Intel atom. I still think fondly about those x86 initiatives.
> … ellipsis

One slight annoyance I have on my Mac(s) is that if you have an ellipsis following by a period, you can tell the difference between the two. I would think it's more proper (?) that all the dots transparently flow together: ….
unordered_dense: A Fast, Densely Stored Hashmap Based On Backward Shift Deletion
Making it rank multiple attributes on a scale of 1-10 also works decent in my experience. Then one can simply k-means cluster (or similar) and evaluate the grouping to see how accurate its estimations are
It's easy for it to devolve into an unhealthy distraction from real life. I know a few people who are out of school and unemployed and spend their days grinding in MMOs or collecting achievements. At least with GitHub you're presumably doing something productive to earn them.
Correct.

Insurance companies must pay 80% of all premiums directly to reimbursement. The remaining 20% is for administration, marketing, and profit.

But that's a control for premium prices...it doesn't really say anything about the costs that doctors charge.
These codes were originally developed by the World Health Organisation to collect public health statistics, and statistics on causes of death - that’s their original purpose, not insurance billing. A lot of codes which seem silly or pointless for insurance have more validity when keeping their original purpose in mind.

There’s an ICD-10 code for executions - Y35.5 - can you bill an execution to health insurance? I hope not, but as a possible value for a cause of death field in a death certificate database, it makes sense.
You've just committed the same offense you're rebuking someone for. It's not evident that person is republican, it's only evident that they blame the democrats for a problem.
The Evolution of Fighting Game
Yes, which C++ is.
I personally daily drove QubesOS for about half a year when in school, and personally, I loved it. When I first tried it out, I fully expected it to be a nightmare to use, given that's how it's usually advertised by non-users. But in using it, I really enjoyed its workflow and the seamless compartmentalization of applications on a computer.

Program isolation is honestly a feature that other distros should use more often. The idea that programs can only access networks, USB devices, files, and X windows of programs that it's been explicitly let to access is an extremely useful tool that isn't just for people who are worried about government surveillance.

I personally enjoyed having about 5 different Firefox apps that each led to their own VM with its own files, browser history, cookies, and extensions, and even networks that automatically put traffic through a VPN at times. Chrooting and Firefox profiles only help so much, if you can even set them up to be as seamless as Qubes.

I'm of course not getting into the security benefits and all that of Qubes, but its where I feel a lot of people don't realize the benefits of an OS like this. The workflow improvement is just as inspiring as the security improvement from the system.
Yes, health insurance as expected by people has never made sense as "insurance".

Once an event goes from unlikely to likely, buying insurance for it turns into simply prepaying an amortized amount for future expenses. Not dissimilar to paying taxes for road maintenance.
> then your editor of choice would replace it

I realize this is a minority opinion, but I don't want my editor to replace anything unless I've deliberately told it to.
Is there any legal precedent for intent to violate a contract? How do you prove that?
or Microsoft document formats.
Install a clean version of Windows and upgrade to the Professional SKU. Please don't follow any of the rest of the advice in this post about installing IoT/LTSC versions or running shady debloater scripts.
The form factor is way bigger than a NUC that fits on a vga mount!
> In comparison to {C,P}ouchDB, I think the question is around offline-first availability.

Got it, thanks! Yeah that is indeed not how TigerBeetle works. If you ever cannot connect to the cluster, you keep retry messages (idempotently) until you connect and the message succeeds.
> Operator overloading is critical for building ergonomic frameworks.
The modern web is built on overloading the . operator (e.g. ORMs like Rails and Django). We will never see a Tier-1 ORM in Golang simply because it lacks it.

Not true. It can be replaced with codegen.

See Ent (spun out of Facebook I believe)

https://entgo.io/docs/getting-started
I keep my Netflix Experience constant another way: I canceled it!
But there's nothing dishonest with Canada trying to block the purchase on the shoe factory on the grounds that they don't believe you'll actually sell to them considering they legitimately don't believe you.

Perhaps you may feel that Canadians can be responsible for making their own shoe companies that sell to Canada. Then bring up that as your argument instead of having "oh yeah, I'll totally sell to you" as your argument.
But then there’s an incentive to be slow