skysight-inc/HackerNews huggingface dataset:
I can't judge whether this is a good paper or not, and I think it's really cool that someone with only a bachelors degree (like myself) can get a paper published without first doing a PhD.

However, the anti-"woke" part of this article seems so odd to me. Given all the wacky "science" from Nazi scientists that "research" differences between races leading to genocide, it seems completely logical to me that you jump through several hoops and make sure your research is really sound before you publish a paper that explores exactly that topic.
Wow. Cosmic resonance man...
obviously the truth is what is the most popular. /s
We already have a watchdog timer. We could automatically trigger a factory reset after N bootloops following an upgrade, but it's up to the end-user to decide to flip the switch so we won't go there.

I kept the summary short and simple, partly because that product isn't out yet and also because I don't want to bury the lead with a lot of extraneous details that we do take into consideration, but are irrelevant to the big picture idea of an upgrade method that factory resets the card and restores its state with a codepath shared with the end-user save/reset and configuration mechanisms.
Ask HN: How to store KV cache efficiently on disk?
If I have a lot of precomputed KV cache values (basically just tensors), how do I store them efficiently on disk? Ideally, I would want to lookup their values by prefix quickly as well.
I think in todays world, when everything is a subscription, payment for a browser doesn't look so far-fetched.
It's not really a 'climate', but official policy that that area of research is off-limits, to the point that tax-funded genetic datasets are withheld if it is suspected one is doing said research: https://www.city-journal.org/article/dont-even-go-there
The software on mine is pretty good, but I find myself using a PS5 for media streaming these days.
Google's proprietary RCS stack seems to be pretty much what the new spec seems to be. Furthermore, their RCS server seems to be the most popular RCS server for carriers to buy.

Good on Apple for demanding the E2EE spec to be part of the official spec, but I don't think Google will need to do much different. I'm surprised they actually added it given it directly opposes the goals of the government parties that want to wiretap conversations.
I guess the people I follow either don't care about the numbers or didn't have that issue, but I'm finding more and more of the people I wanted to read from there everyday, and am enjoying it so much more after a year of engagement bait (or worse) on X. Bluesky to me is what Twitter was a few years ago, which (IMHO) is great.
I’d say 60-70% overall cpu usage, including database, ingest workers, web app and search.

> Your replies are really valuable and informative. Thank you so much.

Thank you!
> This happens more and more often, and there is a fairly easy + popular workaround (which also comes with 99% ad blocking as a bonus). Just either set up pi-hole locally OR use a hosted DNS service that does essentially the same thing.

DNS over HTTPS is going to render this method ineffectual eventually. Smart devices are going to stop trusting anything on the local network.
Trolleybusses are surprisingly expensive to operate. Battery electric busses seem to be much cheaper to operate and often good enough.
> Committing terrorism is literally the central part of their operation

That is untrue

They are far deeper than that.

They are primarily cultural, education is their main focus
Social media should never have entered the mainstream. Serious people like politicians should not be on Twitter. You should not be posting about your work drama on Facebook. Bluesky is not fundamentally better than either of those.
Perfect is the enemy of good. BlueSky is an iterative improvement on the other viable platforms.
The GoP hates the idea of anyone influencing the free market… except them.
> They only care about the potential hit to the bottom line, and if that's perceived as callous silence, they don't care.

I don't think that is true. I think people care a lot... just not about the consumers. People care about themselves - they also don't want to be fired. So the decision is punted up the chain, all the way to executives. And executives want to mitigate the damage to themselves first, their orgs second, maybe consumers third.
I refuse to believe anyone knows how cold -280F is.

When you have such extreme temperatures you think in Kelvin or at least Celsius.
The test jig should be in expected conditions. We have simulated tests, and we have tests that run on the devices on my desk, but we also have a real world setup for consumer devices in a separate building that could be mistaken for the real deployment environment. That's not feasible for every company, but it's certainly feasible for Samsung. It doesn't mean you'll catch everything, but it does address some of your points.
The transformer is a simple and general architecture. Being such a flexible model, it needs to learn "priors" from data, it makes few assumptions on its distribution from the start. The same architecture can predict protein folding and fluid dynamics. It's not specific to language.

We on the other hand are shaped by billions of years of genetic evolution, and 200k years of cultural evolution. If you count the total number of words spoken by 110 billion people who ever lived, assuming 1B estimated words per human during their lifetime, it comes out to 10 million times the size of GPT-4's training set.

So we spent 10 million more words discovering than it takes the transformer to catch up. GPT-4 used 10 thousand people's worth of language to catch up all that evolutionary finetuning.
I frequently have the opposite problem where the algo is pushing liberal accounts tweeting $OUTRAGE_OF_THE_DAY
It’s a PhD program, not a job and also you are completely ignoring the reasons he was given for his rejection
The word used was "aemuna" or "æmunatō". The most basic translation is reliability. The other word much later was pisteōs with loyalty in its most basic translation.

The concept of faith as you describe it is a late interpretation, morphing both concepts together.
Jobs "faith" is his reliability of character, neither his believe nor faith, yet axiomatically the definition behind those words. That if you choose to believe in God and have faith your reliability of character will come or strive to have it.

Without being misleading, you may have it without any believe or faith in God.
They just crossed 33M users. Maybe your microcosm?

https://blueskyusercount.com/
Bit rude but okay
They're all YOLOing on the assumption that errors won't happen and doing the system programmer's favorite error handling scheme of calling abort(), then restarting a process. That doesn't fly on an embedded device. Nobody seriously checks errno after every library call without a separate means to indicate a failure happened in the first place.
HN never disappoints.
> The problem with LLMs is that the output is inherently stochastic

Isn't that true with humans too?

There's some leap humans make, even as stochastic parrots, that lets us generate new knowledge.
> i.e there isn't a "I don't have enough information" option.

This is true in terms of default mode for LLMs, but there's a fair amount of research dedicated to the idea of training models to signal when they need grounding.

SelfRAG is an interesting, early example of this [1]. The basic idea is that the model is trained to first decide whether retrieval/grounding is necessary and then, if so, after retrieval it outputs certain "reflection" tokens to decide whether a passage is relevant to answer a user query, whether the passage is supported (or requires further grounding), and whether the passage is useful. A score is calculated from the reflection tokens.

The model then critiques itself further by generating a tree of candidate responses, and scoring them using a weighted sum of the score and the log probabilities of the generated candidate tokens.

We can probably quibble about the loaded terms used here like "self-reflection", but the idea that models can be trained to know when they don't have enough information isn't pure fantasy today.

[1] https://arxiv.org/abs/2310.11511

EDIT: I should also note that I generally do side with Lecun's stance on this, but not due to the "not enough information" canard. I think models learning from abstraction (i.e. JEPA, energy-based models) rather than memorization is the better path forward.
> The man has no track record of previous research and applied to several Ph.D programs; of course he was rejected.

He was specifically told he was rejected for doing forbidden research. Sure he might have been rejected anyway even if he had been researching something else, but let's not overlook the reasons he was given.
I am not optimizing too much around insertion speed. I avoid GIN, GIST and hash indexes.

The schema is nicely normalized.

I had troubles with hash indexes requiring hundreds of gigabytes of memory to rebuild.

Postgres B-Trees are painless and (very) fast.

Eg. querying one table by id (redacted):

EXPLAIN ANALYZE SELECT * FROM table_name WHERE id = [ID_VALUE];

Index Scan using table_name_pkey on table_name (cost=0.71..2.93 rows=1 width=32) (actual time=0.042..0.042 rows=0 loops=1)
Index Cond: (id = '[ID_VALUE]'::bigint)
Planning Time: 0.056 ms
Execution Time: 0.052 ms

Here’s a zpool iostat 1

# zpool iostat 1
operations bandwidth
read write read write
----- ----- ----- -----
148K 183K 1.23G 2.43G
151K 180K 1.25G 2.36G
151K 177K 1.25G 2.33G
148K 153K 1.23G 2.13G
@proberts - not sure how that works, can you clarify? I know that normal B1/B2 visa in theory allows 6 months stay in the US, so is that what you are suggesting? If you are fired from your job then just pretend to be a tourist for the next 6 months? Isn't that obviously violating the stated purpose of B1/B2 visa, and asking for a ban to enter the US in future?
Yeah, that's definitely right --- an explicit counterexample to the Riemann Hypothesis would be very surprising and interesting, and I think that would be equally true no matter whether it was found by a person or a computer! The situation that would be mostly unhelpful is a certificate that the result is true that communicates nothing about why.
There are quite a few pre-Islamic taboos some of which persist to this day. For example, can't give a child a name of a living person parents know of. This of course includes extended family, friends and even acquaintances. This restriction alone enforces creative naming.

Typically names consist of 1-5 elements which can be combined arbitrarily. There are literally thousands of such elements though.

Last name often is a first name of an ancestor a few generations deep and it is likely to be unique too.

So as a result first+last name combinations are quite unique.

Urbanization is changing all this of course but some traditions are still strong. In my entire life I've met just 3 people with the same first name as mine.
iOS vs Android is a bit like ChromeOS vs Windows/MacOS/most Linux distros.

There are benefits to more restrictive operating systems. For example, iOS not allowing apps to run in the background essentially stops any apps with malware from doing stuff in the background, but it also stops apps like Briar, Syncthing, etc, from working well.

I assume Android isn't a problem for most Briar's users. They're likely running a deGoogled Android version (GrapheneOS, LineageOS, etc) and downloading/updating the app via F-Droid or something like that. They don't rely on Google (or Apple) to run anything.
I think it really depends on the communities you are in. I use Bluesky mostly for ML stuff and Mastodon for more Unixy stuff and my Bluesky feed is quite lively with a good signal/noise ratio. I completely nuked my X account over a month ago, it was just drowning in ragebait and Elon posts (even though I don't follow Elon).
and yet, 40+ years later, we still have them
I haven't seen adjudications of O-1 petitions becoming more difficult but my experience, like everyone's experience, is anecdotal. The regulations are unclear/inconsistent on whether a singular instance of a criterion (media, publications, awards, etc.) is enough to meet that criterion but in my experience, yes (although multiple instances is always better). Once someone has obtained one O-1 visa, it's generally very easy to get the next O-1 (and much cheaper, easier, and faster than getting the first one). That applies whether the first O-1 was a company O-1 or an agent O-1.
PromptPex: Automatic Test Generation for Language Model Prompts
PromptPex is an LLM-based tool to automatically generate and evaluate unit tests for a given AI model prompt. PromptPex extracts input and output specifications from the prompt and uses them to generate diverse, targeted, and valid unit tests. These tests are valuable in debugging and improving the prompt as well as understanding how the prompt performs when interpreted by different AI models.
If the issue is his credentials why was there so much mention of the topic of research being a problem? Your post seems disingenuous.
What Pen Does the President of the US Use?
This. Caesar made a huge fortune from the people he sold into slavery.
Agree, but they're still building great hardware.
yea it's augustus, but Zuck's "Zuck or Nothing" playing off of "Aut Caesar aut nihil" isn't even referring to a particular Caesar, but it's use as the title Emperor, and attributable to Cesare Borgia.

I think Zuck's shirt is a good joke on everyone trying to displace Facebook from the market. BlueSky wants to be the next Facebook/Twitter, so IMO by not getting the joke the Bluesky shirt is a self-own.
Philosophers Develop AI-Based Teaching Tool to Promote Constructive Disagreement
There's this: https://blueskydirectory.com/starter-packs/all
It would violate professional standards for a traffic engineer to implement a more pedestrian-safety oriented design at an intersection before the requisite number of children have been killed to justify it.
That would be an employment visa, not green card. It can lead to a green card in some cases but it's complicated (depending on the country of origin it can take an extremely long time)
How to Promote Greater Competition for Cloud Computing
> I don't think these people are stupid, and I'm not demeaning them.

Sorry if it sounded like I was implying you thought that, or called them stupid, I didn't mean it that way. That statement wasn't trying to 'refute' anything you said either - it was just expanding on my anecdote of what I saw that it worked or not, whether in a professional environment or somewhere else.

Now, replying to your recent post,

> It's the job of these companies to ensure their technology can be used safely without consideration by the end user.

I think we just hard disagree here. I believe ultimately the user is/should be on control of how their own computer is used.
Yeah but ‘racism bad’ and even suggesting that race might have any meaningful impact on anything at all is unacceptable politically, even if obviously true or impossible to disprove.
There's nothing in the article that suggests that it runs on top of Varnish; in fact, the author even says it's not intended to run Varnish in it.
iFixit: MacBook Air M4 – A Repair Win or a Locked-Down Mess? [video]
> As a result, the privately built spacecraft struck the lunar surface on a plateau, toppled over, and began to skid across the surface. As it did so, the lander rotated at least once or twice before coming to a stop in a small, shadowed crater.

Oh yeah, we've all Kerbaled it in like that at one point or another.
The talk was to the American Astronautical Society, not specifically a NASA group. But Destin talked as though he imagined everyone in the audience worked at NASA. It actually bothered me a bit - if I had been at that talk I would have been a bit pissed off, because he was basically using it as a channel to talk to people who probably weren't actually even there.

Just youtubers doing youtube things, I guess.
Yann LeCun understands this is an electrical engineering and physical statistics of machine problem and not a code problem.

The physics of human consciousness are not implemented in a leaky symbolic abstraction but the raw physics of existence.

The sort of autonomous system we imagine when thinking AGI must be built directly into substrate and exhibit autonomous behavior out of the box. Our computers are blackboxes made in a lab without centuries of evolving in the analog world, finding a balance to build on. They either can do a task or cannot. Obviously from just looking at one we know how few real world tasks it can just get up and do.

Code isn’t magic, it’s instruction to create a machine state. There’s no inherent intelligence to our symbolic logic. It’s an artifact of intelligence. It cannot imbue intelligence into a machine.
> 16TB without nothing weird is pretty impressive. Our devops team reached for Aurora way before that.

Probably depends on the usage patterns too. Our developers commit atrocities in their 'microservices' (which are not micro, or services, but that's another discussion).
The claims are poorly substantiated, it’s not enough to make assumptions about something and read about it. You must directly validate a claim by rigorously defining the traits in question, and then find some way to perform measurements—indirect evidence isn’t appropriate to make statements about psychological and personality similarities.

Note that genetic testing or evidence will be insufficient for proving the type of claim this paper is making because there are too many confounding factors which override biological similarities—that’s the whole issue with nature vs. nurture.
>kids were playing outside and a neighbor called the authorities on them

The worst part is that someone would thing this is the appropriate thing to do rather than observe the kids and in any case approach them and ask if they’re OK. The US has grown a culture of “don’t get involved” cowards hidden behind the legal system.
I wasn't saying anyone bought into it, just that it's the story Facebook now tells about itself.
Legwork of what? Companies already have done the legwork to make it easy for strangers to send you money.
Yeah and New York Post calls itself a newspaper but we all know it's some trashy shit.
"You know how hot you feel when you're running a fever? Well, it was nearly three times that cold!"
Perhaps merch is the path to successful monetisation of software products?

The Something Awful forums had a $9.95 registration fee. I'm sure markup on those $40 shirts is more than that.

Some game developers also embraced this business model:

https://www.kickstarter.com/projects/745810196/deep-rock-gal...

Personally I would not spend this much on a plastic mug, but it seems there were enough takers to fund continued development.
It kind of depends. You can broadly call any kind of search “reasoning”. But search requires 1) enumerating your possible options and 2) assigning some value to those options. Real world problem solving makes both of those extremely difficult.

Unlike in chess, there’s a functionally infinite number of actions you can take in real life. So just argmax over possible actions is going to be hard.

Two, you have to have some value function of how good an action is in order to argmax. But many actions are impossible to know the value of in practice because of hidden information and the chaotic nature of the world (butterfly effect).
Culture can persist for millennia.

If it is genetically influenced psychology, it can still be a good predictor of performance in a short term job.
Are you referring to https://annas-archive.org/?
-280F, -173C, or 100K is not relatable to anyone except niche researchers. Maybe slap in the extra few people who happen to work with liquid helium and you are still talking about 0% of the population.
Correct. One has to file an N-400 to get naturalized after obtaining LPR ("green card") status.
Everyone knows feet and British stones is the way to measure things in space. Just ask any scientician:

https://m.youtube.com/watch?v=nRnt3TE-V-Y
So you don’t trust the vendor.
Maybe using their hardware isn’t a good idea in the first place.

I think browsers are the bigger target and they provide the much bigger attack vector given that the purpose is being connected to the internet.

Using an internet tool to access local resources is using the wrong tool for the job.
For years my HN profile has had the Meditations quote:

A cucumber is bitter. Throw it away. There are briars in the road. Turn aside from them. This is enough. Do not add, "And why were such things made in the world?"

Perhaps someday I'll try putting it into practice.
> If the Internet’s down, Briar can sync via Bluetooth, Wi-Fi or memory cards

I'd like to see more "peer to peer" projects take things this seriously.
How would it be better, unless it's widely known to be breakable? And at that point, wouldn't the hackers know that too?
> BlueSky wants to be the next Facebook/Twitter, so IMO by not getting the joke the Bluesky shirt is a self-own.

The point of the shirt seems to be that they don't want to be the next facebook. The article clarifies that. Whether they'll live up to that promise if they grow is another issue.
Shellcode Encoded in UUIDs
Not immediately apparent to me: does Briar use a double-ratchet these days?
Now that the devices are shipping in the US, they are indeed marked as being made in Vietnam.
Is it recommended or not? I've heard anecdotally that going through the Consular services to obtain EB1C is not recommended - because you can get denied easily without any protections you might get from being in the US.
Active monthly is probably a tenth of that. I've made an account 2 or 3 times over the years but never find much to make me stay, I think I delete my accounts tho so I don't know if I'm in that stat.
keming
> Does a baby require 2 years of statistical analysis to become useful?

Well yes, actually.
> any possibility of anything

How do I report you for taking the time to reply here instead of reporting that Amy, Brad, Charlie, Drake, Emily, everyone, etc.. parents all have the possibility of abusing them, that their siblings all have the possibility of abusing them, that their friends all have the possibility of abusing them, that their teachers all have the possibility abusing them, that you could be a victim of carbon monoxide poisoning and not remember that you could also be abusing them, that the police have the possibility of abusing them, that secret agents could be sneaking into their house at night and abusing them.

If that was your instructions, then your full-time job should be making reports and nothing else.

See how absurd your instructions were, or what you think your instructions were?
But peruvians are not cold and their personality/culture is not similar to east Asian?
Studying the Interplay Between the Durations and Breakages of CI Builds [pdf]
I assume you never bought Samsung again.

'Having' (paid for) a device for not having it for weeks is not that customer friendly attitude. It is almost in the same league with how UK furniture makers exploit customers. You get into the shop, see something nice, start ordering it, casually ask about the delivery date, cancelling the whole thing and run to an Ikea after learning that it will take somewhere between 4-6 months, depending on the workload of the factory. They are insane! I mean those who actually buy this way. The manufacturers are just brazen. Thinking that someone goes into the shop for leaving behind money for the honor of using a product of theirs sometime in the unspecific mid term future, instead of like NOW!? Shameless.
looks like that is a bit of blogspam, ultimate source is https://www.dailymail.co.uk/news/article-462091/How-children...
So would you agree that the main reason for your weight loss on OMAD is caloric restriction from not being allowed to eat when you're sometimes hungry, when you probably would have eaten extra at those times before OMAD?