skysight-inc/HackerNews huggingface dataset:
I believe it's used by a bunch of places that don't really bother with attribution, what with it being marked public domain. It's notable for being extremely well documented and for the (initial at least) emphasis on simplicity.

It's probably overkill for your domain though and complexity does tend to bring bugs. A reasonable approach would probably be to implement the simple array-of-wordsize/2 strategy and regression test against that lib. Or actually the GNU one is reasonable for testing purposes, though beware that GNU's one kills the process on out of memory.

I need to write a bigint implementation for a lisp/ml compiler anyway and am probably up for making that compatible with your GC layout. Oils built and ran locally a moment ago. I'm more likely to write that for free than for money though, will send you an email anyway.
What is the McKinsey parable?
Thanks! I’ll have to figure out how to get around the pay wall.
There's a common double standard here though - when I've asked backend-type devs to do a UI sample/question (these are often "full stack" roles), the leet code geniuses dismiss my concerns as that not mattering if they flop it.
Great feedback, we will make this more clear
I tried this out for my first multiplexer, but I prefer tmux. Zellij is oddly modal, which makes doing things take far more keypresses than they should require.
The high net worth groups used for comparison were not asked the same questions ("nearly identical" is in the eye of the beholder) and were either international or from 1983(!?), so I think this whole exercise is a little dubious. Not saying the conclusion is right or wrong, just that I don't think this evidence is compelling.

This actually gets to my gripe with a lot of meta studies, where authors often yada yada pretty significant methodological differences in the name of increasing the sample size.
I've not looked too deeply. We use the eventloop model, and we're guaranteed that data is only mutated by a single unit of work at a time which means you don't need to use any concurrent data types, volatile etc. This is great for micro performance.

Does the same apply to virtual threads?

Edit: I think I answered my own question. Java virtual threads have the same memory model as regular java threads so yes, I need to use the same semantics. That rules replacing the eventloop model for us.
We're focussed on company operations (accounting, procurement etc).

The tool is totally self serve and does allow you to set up, upload and access documents.

We clearly need to call that out more so will add this to the landing page
A Human Powered CPU
Show HN: farMFA – Generate TOTP Codes via Shamir's Secret Sharing
It's kind of half-baked but the core idea works, so I thought it was time to get some external feedback before I continue with the yak shaving!

I started this a while ago, basically the problem we had back then was how to store credentials to access the root user of the management account of an AWS Organization. (This is applicable to anything using TOTP though, not just AWS)

The username and password would go in the team password manager, but what about MFA?

For those not familiar with AWS, this is the most powerful super user you can have there. It's irrelevant to explain how bad it is if this is compromised; but the thing is even a clueless, good faith user can screw up badly if they use it incorrectly.

So it's really, really important that it is secure.

With other credentials, we had hardware tokens in a safe, or a printed TOTP QR code also in the safe. I think this is a good, high friction process in normal times. But, we were in full pandemic mode back then, and the team was distributed across the country. That was a bit too high friction...

Eventually, we decided to use TOTP as second authentication factor. We set it up during a screen sharing session, and 2 or 3 of our team just added the secret to our personal phones.

Now, the few of us would know what to do in a break-glass scenario, and clueless good faith users from above, randomly stumbling upon the AWS credentials in the shared password manager, would not be able to use the username and password alone.

This is when I came up with the idea for farMFA - what if, instead of each of us having the full TOTP secret - would only have a "share" of it? With enough shares (n out of m), one could then temporarily reconstruct the TOTP secret, get the current time, generate a code, and complete the authentication process.

Vault uses this concept[^1] (and in fact, I used their Shamir's Secret Sharing implementation for this) to initiate the "unsealing" process. The master encryption key is split across multiple users: when the server comes up, at least some of those users (the exact number is configurable) must provide their share to reconstruct the key, and allow decrypting the vault in memory. An attacker with access to the physical storage would then be unable to retrieve the decryption key.

Here, we do the same with the TOTP secret (the QR code, basically), splitting it across multiple users. When somebody needs access, they ask everyone else to submit their share to a server, which will then generate and return the TOTP code for a limited amount of time.

[^1]: https://developer.hashicorp.com/vault/docs/concepts/seal#sha...
That's 3 releases for Mistral in 24 hours.

https://lifearchitect.ai/models-table/
> That would be geopolitical suicide

Yeah, but's only true if you believe in the American-led world order and organizations like NATO. We know Trump either doesn't care or is actively hostile (he loves to threaten pull out of NATO and things like that).

There should be no doubt that he'll pull all support for Ukraine on Day 1. Ukraine will survive because they're already fighting and will still have the support of Europe, though that won't be enough to win. Taiwan will be actively pressured to capitulate without a shot. It will be "fine" the way Hong Kong is "fine".
Is putting social media features and real time location tracking (from a quick glance at the website) on the literal wrists of toddlers what's best for them? I get that they're all super technically literate from extremely young but targeting children this young feels uncomfortable/irresponsible.
Not yet, but we're open to creating one
At least on the surface, John Deere's stock growth looks every bit as much, if not more, exponential as FAANG.
Sparrow in the lead mine, if it were
Well as they say, an entire human body is just

> Water (35 L), Carbon (20 kg), Ammonia (4 L), Lime (1.5 kg), Phosphorous (800 g), Salt (250 g), Saltpeter (100 g), Sulfur (80 g), Fluorine (7.5 g), Iron (5 g), Silicon (3 g) and trace amounts of fifteen other elements.

(The amounts are off somewhat but you get the idea)
That's not a junkyard. It's a depot and logistical hub for tanks that are presently considered "in service."

America has a lot of tanks in service, and the desert's not a bad place to store them. Where else would you put them?

As for positive possibilities: Undersea exploration, development, resource extraction, etc. Some still dream of an expansive human future.
This is especially dumb considering that RetroArch was approved and supports DOS emulation. I’ve used it to run a few DOS games already.
Are scientists a part of science?
With the disclaimer that free advice is worth what you pay for it...

Your current career path is not fulfilling to you. We know that because you wrote "I get scared when I realize that this is my life for the next 30-40 years." Nothing wrong with that. The one strategy that won't work is to keep doing what you're doing.

You can change careers, possibly after going back to college to train for something completely different, or you can change your life, so that it doesn't revolve around your career so much. The latter could be getting married, it could be satisfying an unmet need such as religion or helping poor people get dental care, it could be flipping houses, or a ton of other things that don't require a change to your career.
I suspect you might be confusing the numbers: 12B (which is the very first number they give) is not context length, it's parameter count.

The reason to use parameter count is because final size in GB depends on quantization. A 12B model at 8 bit parameter width would be 12Gbytes (plus some % overhead), while at 16 bit would be 24Gbytes.

Context length here is 128k which is orthogonal to model size. You can notice the specify both parameters and context size because you need both to characterize an LLM.

It's also interesting to know what parameter width it was trained on because you cannot get more information by "quantizing wider" -- it only makes sense to quantize into a narrower parameter width to save space.
unless you find WiFi right? and that’s only for connection required apps, it can certainly do more than an iPod, GPS should even work without data connection I think? you just have to store the maps/media
Sure, it’s all a mask, but there’s something more “real” behind the acknowledgements in a very distinct way than the editorialized writing of an scientific article. (Using quotes here as these things are deliberately fuzzy!)
Citation needed.

We don't even know what defines a "good engineer" come yearly performance review time, but claiming that it's the knowledge of graphs and recursion seems rather suspect.

Inb4 "obviously there's so much more to being a great engineer," but then why are we not testing for that iceberg, instead just scratching the surface of "CS fundamentals?" And in fact, how many times does a great engineer need to prove that they understand fundamentals? Forcing engineers to go through that every time they want to switch jobs is inefficient and, frankly, disrespectful.
You need to talk/complain to your pipeline, sounds like the 20 something non-technical "recruiters" are wasting your time.
The trouble is the creators of OWL wanted to have performance and reliability bounds. That is, they want to make systems that act like more like a conventional database server than an SMT solver.

I think they could have made a more expressive standard and something like that might have had more appeal to people but been less consistent in terms of performance.
I now see gpt-4o-mini listed at https://platform.openai.com/docs/models/gpt-4o-mini

Looking at https://openai.com/index/gpt-4o-mini-advancing-cost-efficien... , gpt-4o-mini is better than gpt-3.5 but worse than gpt-4o, as was expected. gpt-4o-mini is cheaper than both, however. Independent third-party performance benchmarks will help.
The vibe of CACM also has changed significantly over the decades it's been around. When it started in the late 1950s, and through the mid 90s, it was really a "Journal of the ACM"-lite; the research articles were quite good! Then it morphed into a trade magazine and, by the late 2000's, it was kind of an embarrassment.

To Vardi's credit (the previous CACM EIC), CACM clawed back some of its technical chops in the 2010s. I wouldn't claim it's near the quality of 1970s CACM, but it actually has technical content in it again. Equations, even, gasp!
Agree but even if you compromise the white list, you still need to get over ssh's own security, so I see that as adding another lock rather than substituting it, and mostly as a protection against someone scanning the IP address space when a new unpatched zero day surfaces.

As for the desktop environment, you can add an API to the website.
No exaggeration whatsoever, in 2008 when I very first moved from Florida (Hurricane? big deal) to downtown Houston, hurricane Ike arrived about a month later.

I lost power for 15 days. 15!! People forget that you still have to try to shower, go to work, drive back home, put gas in the car, pick up food. NOTHING had power within miles of me except for the Hospitals for a week+.

Had NO idea when I'd get power. I had to order food at work online to get shipped to my house because the only thing that was reliable was the USPS.
Indeed it was very entertaining, relatable even, and at times a complete wish-fullfillment slasher flick!

But it kinda (definitely :D) misses the point that it itself set up at the beginning with the fancy FRED graphs ... almost in the same way as the author misses the point of (and thus the required choreography for successful) interviews.

(As others comments here mentioned that he seems to lack the self-awareness to correctly position himself on the bell curve meme, which gives him a lot of consternation.)

Strong opinions are great when you know when to deploy them :)))
Having personal preference doesn't make a decision illusory. I have a preference for vanilla ice cream, doesn't mean I can't legitimately consider or even choose chocolate.
They specifically call out fp8 aware training and TensoRT LLM is really good (efficient) with fp8 inference on H100 and other hopper cards. It's possible that they run the 7b natively in fp16 as smaller models suffer more from even "modest" quantization like this.
Guy Built a Laboratory in His Spare Bedroom
Our website is closed on Sundays
Polychromatic Pixels
I read three pages down in the comments and not a single person has suggested that you see a therapist.

What the hell is HN going on about with all of this; Have a family BS. It sounds like you're suffering some burnout, and it might be time to seek some help from a psychologist/psychiatrist.

Change up your training routine. Spend more time outdoors. Quit the dead-end tech job. Downsize and travel more.

Good luck!!
Putting aside all the ai-recommends-you-eat-a-few-rocks-a-day evidence...

Letting machines incapable of empathy, bereft of accountability for themselves or their creators, make decisions to end one or more lives, is a monstrous idea on its face.

Additionally, see https://en.wikipedia.org/wiki/Imperial_boomerang
> He actually tries to downplay the issue by saying "Well, at least you wouldn't be scammed out of that much money".

That’s a ridiculously uncharitable take on a simple statement of fact that you yourself even seem to accept later in your comment.
Just to clarify - meditation means many things, we have 1 word in English but in Eastern culture there is a dozen or more different practices.

What they found out (seemingly very long time ago) is essentially that human experience happens from within. There are external situations which may stimulate that, but in the end it always happens from within. This is very easy to observe in people from different cultures/backgrounds having completely different responses to the same exact situation.

If that is established the next question is how do I create the experience I want? And what I want for myself is of course the utmost pleasantness. So they figured out many different methods, strange and exotic, but the important thing is they are working.

I did try a few of them and one did work in a huge way so I feel that I must speak up when people discuss such vital topics like happiness in primitive terms of "money make people happy", "freedom makes people happy", "family makes people happy" etc.
Looks great. Nice job, thanks for making this.
Epilepsy warning: This page flickers like crazy when scrolling. (On Mac Firefox)
Offering it as an option does not necessarily mean allowing both sms and non sms options simultaneously.
Expecting textile workers to embrace poverty because their great grandchildren would have dirt cheap t-shirts from Asia is a big ask.
“Everyone who disagrees with me is wrong. But if you take this irreversible life choice that lots of people actually regret, I sincerely feel that you are likely to see the light.”

People shouldn’t have kids to soothe their existential malaise; they should have kids because they actually want to devote their lives to nurturing another living thing. They are not a prop for your personal growth. This is really, really harmful advice.

FWIW given the rigidity of your thinking, I would really hate to be your kid by the time I started having opinions of my own.

P.S. You being out here responding to every single comment without hesitation and not reconsidering your position in the slightest is a sign of bad thinking.
The summer of 2005 I was working at Canal and Warner where they put in the bridge to bring the towpath trail over Warner. When they went to pour the concrete for the east side of the bridge, they backed the concrete truck down the towpath next to the foundation hole.

Either the side of the hole collapsed or the driver dropped a wheel into it because the truck ended up on its side atop all the rebar. Nobody was hurt, and we got several hours of peerless entertainment watching them fish the truck out of the hole. That took three big wreckers and the construction company's excavator.

This was not the first afternoon of work we lost to watching that crew get themselves out of a jam.
At a simplest level become the kind of person women are interested in.

Take care of you health (sleep, exercise, and eat well), dress in a put together fashion, take care of hygiene, have interests that excite you and you can share with others, and finally socialize more.
I don’t think “there is an important distinction between ‘bad’ science and ‘fraudulent’ science” should have the word “maybe” attached to it. Of course there is a difference, just as there is a huge distinction between premeditated murder and accidental deaths. The correct level of both should be zero, but one is vastly more damaging and also more rare than the other. As an aside: the problem I have with the OP is that it isn’t arguing about scientific quality, it’s arguing that science is rife with actual fraud. Typically in the midst of such conversations the conversation switches from actual accusations of fraud to the replication crisis in small-effect-size social science experimental work, which seems to be more an issue of people being careless than malicious —- and importantly, is an issue that the scientific community is addressing through improved standards.

With respect to your question: “is there evidence that most science is good”, I’m not even sure how you would answer that question. All I know is that if you compare the world of my grandmother to the world of today, the two are so different as to be unrecognizable, and scientific advances are responsible for most of the difference. That progress continues every single day, and we’re both alive because of science was at least good enough to make our continued existence possible.
>EV sales have slowed down not because the EV roadmap, but because the market of users with home chargers has begun to saturate

In this age-of-big-data, is there a way to quantify this?

https://www.coxautoinc.com/market-insights/q2-2024-ev-sales/
If request latency is your top concern and you don’t need it to be as smart as GPT-4, why are you using OpenAI and not a model hosted by Groq or similar?
This. The thing I (in the US) really like about SMS is that everybody can do it. With apps, I'd have to have a number of different ones and remember who is using which one. It seems like a huge pain in the butt to me.
That's awesome!

I love that such a simple page taught her how to make a completely functional website. Links, images, styling, and even an external script inclusion.

Way to go Naya.
I gave myself a month to make one new friend
US judge dismisses most of SEC lawsuit against SolarWinds concerning cyberattack
The truth is that, if a candidate competent enough to work for us, then they can get hired by a firm thirty miles down the road who pays way better than we do. Thus, one line of questioning during the interview process is figuring out why the candidate wants to work for US instead. Usually it's because they want more exciting work or are interested in the work we are specifically doing. If someone just wants ANY job, it's a red flag that they've applied to the wrong place.
But if the big tech will continue to treat them like that, no progress will be made. The difference is that an actual child eventually grows up and somehow learns the basics of living in a society. This average user, though, is somehow not expected to "grow up".

IMO we are only so good with technology because technology required education to use. But at the same time enabled experimentation with no consequences.
I started noticing on the American Airlines app, because it started spontaneously crashing, that when you repeated the same search under the same account, subsequent searches would come back with higher prices. But then I had my wife search for the same flights under her account, and she was shown the original prices I'd seen on my first search. That felt particularly dirty. They were just flat-out lying to me.
They are asking about a consumer SAAS
It's just easier to iterate and improve on a coding specialist AI when that is also the skill required to iterate on said AI.

Products that build on general LLM tech are already being used in other fields. For example, my lawyer friend has started using one by LexisNexis[0] and is duly impressed by how it works. It's only a matter of time before models like that get increasingly specialized for that kind of work, it's just harder for lawyers to drive that kind of change alone. Plus, there's a lot more resistance in 'legacy' professions to any kind of change, much less one that is perceived to threaten the livelihoods of established professionals.

Current LLMs are already not bad at a lot of things, but lawyer bots, accountant bots and more are likely coming.

[0] https://www.lexisnexis.com/en-us/products/lexis-plus-ai.page
> my grandmother decided to simply ignore it

I've tested sending letters to my name, small town, state. C'est tout.

They deliver. Granted, I'm in a town of 10,000 with no postal service to the address: you need a P.O. box or private mailbox. Still, neat a letter will route correctly from New York to Wyoming with just a name and town.
Meanwhile, if you're doing carpet repair for minimum wage, a problem like a flat tire on your shitty blue Subaru feels life-destroying.
It does but everything is a joke...
Mangle is a language that includes "textbook datalog" as a subset https://github.com/google/mangle ; like any real-world datalog language, it extends datalog with various facilities to make it practical.

It was discussed on HN https://news.ycombinator.com/item?id=33756800 and is implemented in go. There is the beginnings of a Rust implementation meanwhile.

If you are looking for datalog in the textbooks, here are some references: https://github.com/google/mangle/blob/main/docs/bibliography...

A graph DBs short intro to datalog: just like the edges of a graph could be represented as a simple table (src, target), you could consider a database tuple or a datalog or prolog fact foo(x1, ..., xN) as a "generalized edge." The nice thing about datalog is then that as one is able to express a connections in an elegant way as "foo(...X...), bar(...X...)" (a conjunction, X being a "node"), whereas in the SQL world one has to deal with a clumsy JOIN statement to express the same thing.
All you need is something that extends your healthspan at slightly greater than the rate that new discoveries to extend your healthspan are made.
Great points, that could happen as well! I'm curious what would Chinese companies get from partnerships with German companies at this point though, as my knowledge is pretty limited in that sphere.
I hear these complaints a lot - and feel like the unspoken problem is your HR or recruiters are non-technical and shovel garbage candidates at devs to sort out. Whenever I've had (technical) engineering managers involved with reaching out and reviewing candidates, we rarely have misrepresentation or fakers.
Haven't tried yet but on a side note: why is the website opening Spanish by default instead of English?
Disappointing! Expected a redirect to booking.com