skysight-inc/HackerNews huggingface dataset:
I think the problem with FPGAs and systolic arrays is the same... heterogeneity of the hardware. You always end up with lumpy hardware that you have to optimize for.

I favor a radically stupid approach... just make a huge array of 4 bit in, 4 bit out, LUTs in a cartesian grid, clocked 2 to phases like the colors of a chess board. This results in cells that are NOT Turing complete, but an array that clearly is.

The delays going across this "bitgrid" are huge, but each and every cell is computing, unlike any existing system. You can trivially map things, you can route around bad cells, flip the programs in any direction, actually wall off bits to ensure only certain I/O for a given area of computation.
Democracy of descendant models that have been trained separately by partitioning the identified clusters with strong capabilities from an ancestor model, so, in effect, they are modular, and can be learned to be combined competitively.
Ask HN: Why are most Startups asking for US Remote instead of just Remote?
Does it matter which country the employee is located in if the job is remote?

I understand that timezones may mismatch but employees generally accomodate to the timezone everyone wants.

The different countries payroll can be handled by a decent Saas itself.

So, why are companies hellbent on getting US Remote Employees instead of Remote anywhere?
I wonder if they might be talking about `go vet`?
Attested Audio with ZKP
You are absolutely right! Its definitely one of the most requested features and will be shipped soon. Can you give an example so we can make sure it fits your needs?
I disagree.

If I see someone in poverty or homeless, I want them to live the same life I have been lucky to have. So my thoughts are how can I help lift them out of their situation, not put an end to them.

Homelessness is terrible, but allowing people to kill themselves when falling on rough times is a terrible idea. It sweeps the problem under the carpet and tries to allow it to solve itself, in the worst way possible.
Edit: Especially if you're not considered a C-level voice...

I'm assuming people have been extracting it, but alas, I'm out of the edit window.
Even if what you are saying is interesting, they might have had other agendas for the night. I’ve certainly been on the opposite side of that a few times. Trying to network, talking about science or something instead.
Provocative title but practically no content behind the link, just a pre-order pitch.
benefits. govt subsidies
thanks :) posted it on HN but got no traction, definitely underperformed my expectations. my only explanation is i think i screwed up the title :/

i somewhat knew that people were going to obsess over the gpt4 tidbit, but hey ultimately George is just relaying secondhand info, and I wish more people focused on the tinycorp/tinybox/tinygrad story. I'm going to try again tomorrow to tell the story better.
Barely better, the replication crisis and other problems in academia have shown that peer review doesn’t work well.

It is a band-aid solution to the demarcation problem that simply doesn’t work. I wish more people would read Lakatos and do reviews using his research programme paradigm. It’s the most reasonable solution we have. Alternatives like peer review are just window dressing.
Come on, it's not reddit here..
> I personally strongly avoid sleeping on or wearing anything containing synthetic fibres unless absolutely necessary.

What's your pillow stuffed with? You mattress? What's your carpet made of? Have anything plastic in the house that might off-gas? You know what aluminum cans are coated with? What's your furniture made of? Is there epoxy in that? What it finished with polyurethane?

Things like lead, benzene, and DDT proved themselves to be dangerous pretty quickly. Your polyester suit should be the least of your worries.
I think the government would only allow NACS only if it becomes an open standard. The government can't mandate a connector that only one manufacturer can make when alternatives exist.
The government is the "Eve" of this protocol. What happens in practice is that the government is controlled by political parties, and these have enough leverage to put their confidants into sensitive positions.

And the challenge of observability is that your adversary here, Eve, or the government, is the one providing the information. Therefore you can't rely on that information in the verification.

Human error hardly matters. And normal elections shouldn't have razor thin margins, razor thin margins are already evidence of tampering.

The irony is that instead they use the razor thin margins to justify ridiculous methods of counting.

Several people are used to counting to prevent malicious opportunities, not innocent errors. Innocent errors have zero probability of changing anything.
The only thing that matters here is: did you understand what the phrase was intended to mean? I think it's pretty clear from your comment that you did. And thus it was a successful turn of phrase.

Agree with your other point though :)
As of someone who discovered Plan 9 far too late to do anything about it: everything is a poor man's Plan 9 something. Everything. All of it.

Plan 9 lived in the goddamned future.
Homosexual literally means "of or relating to the same sex," but—despite being in a same-sex relationship—I don't think I'm wrong in being offended when someone calls me a homo.

The etymological denotation of a word has very little to do with the current connotation of a word.
>> ... one definition of loneliness is the difference between the amount (and depth) of social connection desired and the amount obtained.

> Only on HN do I expect a formalization of loneliness. I'm not complaining.

I'm inclined to see this as a model, not a definition nor formalization. For me, the definition would be rooted in a subjective experience and would also include considerable formalization.

I don't do this lightly, but I think ChatGPT 4.0's comparison is quite lucid: "... formalization is more about defining and structuring the components or rules of a system or concept, while a model is about representing that system or concept in a simpler or more understandable way."

I enjoy this kind of pedantry. I don't see you complaining. :)
Surrogation
There are two podcast episodes where David Pogue explains in a lot of detail how the whole system works. Kind of interesting. https://unsungscience.com/news/back-to-titanic-part-1/
Google Cloud Platform has its own domains product called Cloud Domains. https://cloud.google.com/domains/docs/overview

Google has had a big problem for over a decade with having multiple overlapping products, leading to wasted effort and customer confusion. It also leads to a bunch of extra work when one product is rolled into another or shut down.

It's unclear to me why they didn't migrate everyone over to GCP Cloud Domains. I'm also not sure that most customers really care if they're using Google Domains vs another registrar vs GCP Cloud Domains.
No. If people are seeding a file that you care about on bittorent today, there's really no mechanism to ensure that it will be available tomorrow besides seeding it yourself.
Also the same GUI code translates (kind of) to more platforms easier than writing it all from scratch. Web, desktop, mobile. Almost one codebase can be used for all three.

Could you do the same with say, Java (and maybe soon with .NET)? Maybe. But web has a lower barrier for entry and faster speed of development cycle. Not to mention larger pool of developers available.

All of this translates to two pretty much essential features for any startup: speedy entry to market (MVP) and low cost. And once you get going, it is really hard to pivot your technology stack to something else.
> If someone does not want to stay alive, why should they have to remain living?

Indeed. It's quite surprising that someone can be 50 years old, perfectly capable of making their own decisions, and they're free to do whatever they want with their own life (eat until you're medically obese, smoke until your lungs turn black, get into an alcoholic coma and end up in the hospital, it's all legal), but we draw the line at ending it.
Vercel kv is optional and there is no need to use it. Dorf just works fine if you don’t. We choose this option due to simplicity, maybe we will replace it later on.
So if this is true - which is a big if since this looks like speculation rather than real information - could this work with even smaller models?

For example, what about 20 x 65B = 1.3T params? Or 100 x 13B = 1.3T params?

Hell, what about 5000 x 13B params? Thousands of small highly specialized models, with maybe one small "categorization" model as the first pass?
A kid walks up and wants one
Hillbilly Ozempic
This has always been my suspicion, considering older videos (or just videos with not a lot of views in general) tend to take noticeably longer to load.

My immediate assumption is these videos are not edge cached, so naturally they want their platform to avoid delivering these types of videos. They would rather stick to the well-cached, proven popular videos that are currently circulating.
Correct, but that is necessary in order to get a relatively lightweight and flexible cable to carry huge loads. It’s not nearly as important for an adapter which is, for the DC pins at least, a solid bus bar encased in heat resistant plastics.
> risks are nearly impossible to assess

We have subs that have been touring the oceans for several decades, so we have a pretty good idea of what is unsafe and what works.
The article says prices went up 50% during the pandemic and now have fallen 18%.

This sounds more like a mild correction not a crash.

I feel bad for people that overpaid at the peak though.
Well, I am carrying a parachute and getting out halfway, so if they can land is not my concern…
Off topic, how do they create these nice gifs of screen recording?
2x0=0
Well, not in a jar ... Right?
> I believe that the GP’s point is that there’s no omniscient agency that can preemptively stop people from doing stupid things. There’s not enough resources to watch everything that everybody is doing all the time.

I didn’t suggest that this is necessary. It seems like there should be enough resources to look into the construction standards of a tourism company based in the U.S. that has received international press coverage for several years. It is possible to stop a tourism company from operating. This wasn’t a secret deep sea dive that no one could halt - it was the latest in a series of commercial voyages that were covered in the press (a BBC reporter went on one a few years ago, and there is a video tour of the vehicle). This dive was publicly announced.

No one needs to be surveilled 24/7 for regulations to work.
Federation takes quite a toll.

The way I read the article is that they didn't upgrade every time the load was (almost) too high, but instead opted immediately for the beefy dedicated server (considering the price it makes sense – it's on par with beefy VMs that have less power). They probably have resources to spare right now, but no need to go through the hassle of an upgrade soon (although 4 mins downtime sounds like they have things under control).

Having said that, I'm sure there's plenty to improve in Lemmy, given it's used at a bigger scale now.
It many companies are going places NASA fears to tread. 12000 feet is pretty fucking deep. That’s why the wreck took so long to find in the first place.
Reducing Gun Violence in America: Evidence for Change <https://www.coursera.org/learn/gun-violence>
Innovation in education is hard because real people become part of uour experiment, and usually there's no way for them to (realistically) do-over if it turns out the innovation made things else.

That's why it's especially pleasing to read about success stories, where the trend is bucked and the results are positive.

For me, success is determined by the graduates. Did they graduate? Did they go on to be successful? Are they functioning as valuable members of society? Are they happy with the outcomes?

The article suggests that this is the case. More graduates, lower costs, good outcomes.

I'm sure there are exceptions, and I'm sure there are complaints, but overall it seems positive.

Call it a degree-mill all you like, but if it's serving the masses and those folks are finding their degree useful, then grind away...
> The machine I'm using to type this comment is also a finite state machine, as due to having non-infinite memory, it also cannot count arbitrarily high.

Right. And if you really want to push that argument further then there are numbers for which your machine can't decide whether they are prime or not. Most of them, in fact, i.e., for all but a finite number of primes and non-primes, your machine can't tell.

For the theory of computability, this is not a useful model. Neither for complexity theory. Statements like "My machine can sort in constant time" which is arguably true but not useful either. It only holds up to a certain collection size which in a sense makes it both nonsensical and useless. Even concepts like the Chomsky hierarchy with context free languages being one of the prominent components make little sense as long as your computational model is finite state.

Instead, we model them as unbounded, to be able to differentiate between classes of computation problems as well as reason about complexity. The Turing Machine is one of the simple and elegant models, but there are others for other purposes.

I wish that basic education about the theory of computation would stress more why theory treats things like this, to avoid this kind of confusion. (And then people would need to take those classes as well, and not just claim they can write React apps just fine without a degree.)
How would you track your location underwater? What's your reference?

They don't have any GPS signal down there...
Sounds like a false equivalence
Exactly.

The False Promise of Imitating Proprietary LLMs (UC Berkeley, 25/May/2023)

https://arxiv.org/abs/2305.15717
No, they are not debates but diatribes. They are usually one sided and have shitty ‘experts’ because the best experts refuse to go on them or are scared of being taken out of context

The best solution is long form debates where the whole thing is available, so each party cannot be taken out of context. If you don’t have these kind of debates people looking for heterodox views will find them anyway and an ‘entertainment’ industry spouting bullshit is created.

You don’t need to put all heterodox views in textbooks, but they shouldn’t be generally shunned because it is counterproductive.
Complexity Very Very Bad with Carson Gross
> Even given infinite space, there still wouldn't exist a Regular Expression (the CS kind) you could write down in finite time that would match only primes.

The point is, neither would there exist a non-(Regular Expression) method that could do such, if you're running it on a finite state machine (your computer).
There is a whole subspecies aka neuro divergent behavior out there adapted to heinous muder in bad times and bribed into good behavior with economic surplus. Once the situational loop goes over the top, all sorts of wild things crawl out of the woodwork. Including large parts of the population on the schizoid spectre under stress, ready to saw the bread factory into nuts and bolts, to satisfy some loop deformed instincts.

The ideal human of the enlightenment era is dead for a while now, but that spectre of a interest rational being refuses to follow. Let's find out if our "new" social implants hold up under pressure.
Pour out a Big Juan with cheese for me, will ya?
That's 20% of total energy consumption.
I thought this was going to be some quasi-hyperbolic claim about forced monkey labor (which is also not great) but nope, straight up sadistic monkey torture.

At some point messaging platforms (in this case, Telegram) will have to start banning accounts/groups that are blatantly disgusting. It's not some perfect strategy but it adds friction to these activities.
No, it's very much a taste thing and not about portability.

I sometimes work backline for festivals, and we usually will have an acrolite and whatever snare came with the shells (which are usually mid-line pro kits). The company has a black beauty and some other nicer stuff as well.

We also bring a fairly complete set of Zildgian A and a set of K.

Rarely do we pull that stuff out. Drummers almost bring their own cymbals, snare, and pedal. If they are flying in, usually they will still bring their brass.
Im looking forward to make the builder accessible without signing in for demo purposes. But at some point we definitely want you to register before the form could be published. This is due to privacy reasons because otherwise everybody could see the submissions.
If it's similar to the switch transformer architecture [1], which I suspect it is, then the models are all trained on the same corpus and the routing model learns automatically which experts to route to.

It's orthogonal to beam search - the benefit of the architecture is that it allows sparse inference.

[1] https://arxiv.org/pdf/2101.03961.pdf
The N900 was everything a portable device should be. Really sad that it was a dead end
I never had the N900, but I used the N9 as my primary phone until the SIM holder broke and I had to hold the SIM in to make a call.

Looking at the comparison[1], it looks like the N9 was a bit more advanced, but it lacked the keyboard the N900 had. At least I also had a N97 :)

[1] https://www.gsmarena.com/compare.php3?idPhone1=3398&idPhone2...
LoxiLB – an open source cloud native load balancer
Hello Everyone,

I would like to introduce LoxiLB: https://github.com/loxilb-io/loxilb

LoxiLB is a modern open source cloud-native load-balancer which uses goLang and eBPF tech provided by the Linux kernel. It's architecture and offerings makes it fast and flexible compared to others.

Feel free to explore and give it a try !!!
It’s funny that this post is trending on HN right next to the post about a paper showing how to build a model 1000x smaller than 1.7T that can code better than LLMs 10x larger.
I mean, there’s more egregious flaws, but I believe this thread was about the controllers?

If we’re talking worst mistake I think the lack of any form of communications equipment is it.

Hell, have a 4km long cable. Even if you can’t communicate because the sub is on fire or imploded you can drag them back up.

Of course it’s not nice if your sub implodes, but that’s kind of a requirement for using it in the first place.
AI-Led User Interviews
Humans are complex, research doesn't need to be. Meet Validly! An AI tool that conducts user interviews on your behalf, so you can focus on making informed decisions.
For android BlockerHero [1]

[1] https://play.google.com/store/apps/details?id=com.blockerher...
Yes, there are negative social impacts to assisted suicide in cases such as this. But the moral question here is: why do the societal impacts trump the personal pain and suffering?

I don't want people to take their life because society made their future prospects bleak. But I certainly don't want to force them to keep living because it might improve society in the long term.
Titanic sub search: ‘underwater noises’ picked up by Canadian plane
Doesn't mean it's bad, it might just mean other steering systems are massively over engineered and expensive.
Even Uncle Bumblefuck alone in his garage need some regulation. Imagine him deciding to build a solid fuel rocket, he might send shrapnel all around the block.
Why bother? Recruiting in another country, figuring out what work experience or schools are legitimate etc is extra hassle. Taxes, different holidays, language/communication problems etc.

US talent pool is already deep enough.

If they want to use other countries it’s just for lower wages.
Its not the pressure, but the fact water blocks radio waves. Submarines can’t get GPS signals or transmit their location. Submarines have to rely on other means such as IMUs to track their own location.
Any ideas how do they do that?
I’m trying to figure out whether you’re still lonely. It kinda reads like that.
What happened to "free speech absolutist"?
> and now they are incredibly powerful but can take basically infinite memory and time.

Which is why the "RE" in the article is excrutiatingly slow, given that it needs to perform insane amounts of backtracking. In contrast, "real" regular expression checkers run in linear time.

Also, nitpicking, but they take unbounded time. It's still finite.
As an amateur EE, using mass market is a braindead idea in this case.

The controller is not built to deal with high humidity which I assume is a given in this kind of sub.

Another reason is that these devices are built out of very cheap components and are not at all designed to be reliable. You can easily design a controller that is much more reliable.

Having your multi million dollar sub grounded because you allowed a cheap component on board is pretty stupid imo.
I've never heard of this publication but the clickbait title is a mark against it.
Have to share the sentiment. I remember the expectation of great systems engineering I had when I was at the beginning of my career. You know, ”These things must’ve been done well, as thousands/millions people use these daily”. I was enlightened pretty fast by the first couple of years as a consultant.

Nowadays I expect something clumsy and mediocre, regardless of the organization, with very apparent problems and _maybe_ some bright spots somewhere in the system architecture.
"Linux x86_64" is present on my UA on Linux, and "Windows NT 10.0; Win64; x64" on Windows. Probably a bug or just untested on Firefox. Just a bit annoying.

I'll add that this is the first site that misdetects anything like that.
You are kind of making OPs point though.

The little moral grandstand you describe when passing a homeless person does nothing for them.

You abhorr the idea of someone in abject poverty wanting a way out so you hold up a utopic idea as to how things should be - but no solution to get there.
Did it live too far in the future for the time?
The pros argument seems a little disingenuous/backwards - plan 9 brought the future including things like /proc - which was implemented in UNIX.

I loved a lot of the ideas on plan 9, but it really was unusable as a day to day environment.
Dupe: "Textbooks are all you need" https://news.ycombinator.com/item?id=36413768
ML powered buy and sell indicator that connects to TradingView, it works on all assets and all timeframes, join the waitlist today!
Federated social media is currently predominantly housing innovators (maybe already some early adopters? One can hope). Innovators tend to look forward and are very open to change. With that mindset it's not hard to see how painfully obvious it is that capitalism isn't sustainable, while we absolutely need to move to a sustainable future. What that sustainable economic system looks like is obviously still unknown, hence lots of discussion.
Client-only is the prime selling point for me. A common project for our engineers is building/updating data ETLs & reports off of sensitive healthcare data. Since our engineer's laptops are already fully configured and registered to handle this sort of data, we wouldn't have to worry about the security/tracking of each developer potentially sending this data to more places than it needs to be.
How do shorts make money?

I thought shorts is just a way for YouTube to make sure everyone knows tiktok exists. They all end with an ad for tiktok
Looking at the Unix to Plan 9 translation [1] gives me a different opinion. To name one egregious example, omitting find(1) in favor of piping du(1) (what is supposed to be a disk usage analyzer) to grep(1) is not an improvement; it's just user-unfriendliness in service of minimalist aesthetics. (Contrary to popular belief, find(1) is not a particularly "bloated" program; Rust's "fd" implementation is under 7,000 lines of code [2], about a third of the size of Lua.)

[1]: https://9p.io/wiki/plan9/Unix_to_Plan_9_command_translation/...

[2]: https://github.com/sharkdp/fd