skysight-inc/HackerNews huggingface dataset:
Thank you. My life is better for having read through this long discussion to stumble upon this profound and hilarious fable. I will now remove the goat from the room and go do something productive.
You're a math wizard solving math! :)

The scorpion is shooting poison!

The move charging mechanic isn't clear. Somebody documented it here: https://news.ycombinator.com/item?id=42312807 .. it will be made more clear for next version!
Most of it these days is less about being intelligent enough and more about whether you're positioned to encounter or hear about a "chilling effect" [1]. Historians will probably only ever be able to debate order-of-magnitude estimates of how many students gave up protesting because of the Kent State shootings, or how many writers "self-censored" because of PRISM/XKeyscore [2], or how many people decide not to exercise their Second Amendment rights because they don't want to risk being categorized as "armed" in a police encounter [3] [4].

One example that's a bit more concrete is the combination of pre-trial detention and plea bargains. These form, in effect, a punishment for exercising one's right to a fair trial, a punishment that exists because our court system is quite far from having the capacity to properly handle the sheer volume of prosecutions that occur [5].

[1] https://en.wikipedia.org/wiki/Chilling_effect

[2] https://pen.org/report/chilling-effects/

[3] https://en.wikipedia.org/wiki/Killing_of_Philando_Castile

[4] https://en.wikipedia.org/wiki/Shooting_of_Daniel_Shaver

[5] https://www.themarshallproject.org/2014/12/26/plea-bargainin...
Have you considered a Mac mini M4 Pro?
> and there is literally no way of fixing that.

This is obviously incorrect from a quick glance at history.

Long distance travel in the US used to occur primarily by train. Short distance travel used to occur by walking and streetcar.

Now, with suburban sprawl (a relatively recent phenomen), we have something we could call medium distance that is filled in some areas by light rail.

We now also have other options for very long distance travel: aircraft.
On the other hand, even fewer have their recommended yearly checkup:
"For working-age adults ages 19-64, 38.7% had a dental visit [in the past 12 months]." [0]

As you say though, the shot may not be everyone's preference, but it will be great for many.

[0] https://www.ada.org/resources/research/health-policy-institu...
Atos Consortium Fumbles Rollout of EU Biometric Border System
because namespaces aren’t a failure boundary.

If your api gets hosed, you can create a new cluster and tear down the old one and call it a day.

With a stateful cluster, you can’t do that. As such you put in a lot more care with eg k8s upgrades, or introducing new controllers or admissions/mutating webhooks.
I presume the counterargument is that inference hosting is commoditized (sort of like how stateless CPU-based containerized workload hosts are commoditized); there’s no margin in that business, because it is parallelizable, and arbitrarily schedulable, and able to be spread across heterogenous hardware pretty easily (just route individual requests to sub-cluster A or B), preventing any kind of lock-in and thus any kind of rent-extraction by the vendor.

Which therefore means that cards that can only do inference, are fungible. You don’t want to spend CapEx on getting into a new LOB just to sell something fungible.

All the gigantic GPU clusters that you can sell a million at a time to a bigcorp under a high-margin service contract, meanwhile, are training clusters. Nvidia’s market cap right now is fundamentally built on the model-training “space race” going on between the world’s ~15 big AI companies. That’s the non-fungible market.

For Intel to see any benefit (in stock price terms) from an ML-accelerator-card LOB, it’d have to be a card that competes in that space. And that’s a much taller order.
Paywalls are fine on HN as long as there's a reliable linkable bypass.
Yes only at the node (data plane) level but not the api (control plane).
yeahhhh 47 seems insane
What? Cassandra is a very different technology semantically. From data design to consistency models, to transactions, it’s entirely different, don’t know how you drew this conclusion.
It is always our choice, each of us. If we want to become better, we can be, and will, if we ask for the right kind of help. If we don't give a sh_t, we will just continue being a selfish ahole. And remember that a person's religiosity has no bearing on this outcome; the truth resides in our heart's intentions and our ideals, attitudes, and behaviors towards others, where the rubber hits the road.

If our heart is aimed right, we can take advantage of religious practices to level-up, but with a callous or cruel or hateful heart, no amount of religious practices is going to do anything but cement our horrible behavior. This is because we each have the choice of how and why to behave one way or another.

The love one feels in one's heart is of little consequence if there is no selfless action in service to the loved person's happiness. It all adds up, as do all the petty callous treatments of the people in out-groups we don't give a sh_t about. And we should care about everyone; that is the way of compassion.
As long as we're dreaming up stuff, why do we assume the consciousness wouldn't be shared? what if you woke up and there was one mind but two bodies?
On Bullshit (2005)
Random thought outburst, feel free to downvote:

This reminded me so much of Spaceballs! And the yogurt merchandise towards the end! Such a great movie that has so many obvious "flaws" like the mirror under the speeder on the desert planet when they comb the desert. And yet I've actually watched that movie more often than even the actual real Star Wars movies (meaning the first three made - all of which are timeless awesomeness)
I really liked the math problems, Little bit of edutainment
Nice, that should help with the nonsense relative-performance-test people run that pans Julia due to the load-times. I suspect it scared away a few potential users evaluating the utility of the language.

Seasons greetings, and happy coding =3
Could anyone find the actual poems?
Awesome job! If you want him to get some experience with bug fixing, I found one: ask him what happens if you click on an attack and then hit escape (it cancels the attack but still charges up your attacks, so you can get to full charge on your first attack)
Thank you! Appreciate your comments!
The rule prevents the job threads, which large numbers of users find highly valuable, from falling apart into long threaded debates. Nothing prevents you from writing a post about the blatant falsehoods in a job posting here and submitting it as its own story. You just can't do it on these threads. This is an old rule, it markedly improved the Who's Hiring threads, and it's unlikely that this particular company's story is going to change it. (But I'm just a rando that knows the history here.)
I want to say, this comes across as 3 founders who don't have real-world experience in the hospital field. As a buyer in healthcare, this basic of an error would signal to me that this company is not ready for the enterprise stage.
AFAIK, the ventilation systems are only convoluted in the sense that they use a heat exchanger to minimize the temperature difference with the incoming fresh air. It’s not a hack or afterthought: The idea is that airflow is very important, but it needs to be controlled to maximize energy efficiency.
No. I still have a long list of things to try doing with llama 3 (and possibly later llama 3.1) on more normal formats like fp32 and in the future, fp16. When I get things running on a GPU, I plan to try using bf16 and maybe fp8 if I get hardware that supports it. Low bit quantizations hurt model quality, so I am not very interested in them. Maybe that will change if good quality models trained to use them become available.
I need to polish the code, but here's more advanced optimistic UI example added to an existing demo app (TodoTrek). It uses recent LiveView features that allows any client code to hook into the full optimistic UI/server sync primitives that are built into LV:

https://x.com/chris_mccord/status/1864160634394325038
Sure, given enough time everything will rot. But there's a huge spectrum here. HTMX for example - for it to suddenly stop working browsers would have to collectively drop backwards support for their most basic of features.

Now with the SPA it's very possible to have a Vue2 -> Vue3 situation, or just someone pulling a left-pad. Not to mention the build system requiring specific versions of nodejs, etc. And this is just to keep things running, not to speak of adding new stuff.

It's not even really comparable.
yikes! thanks for the bug report
This but unironically - if I’m in the market for a geo distributed hyper scale DB, I genuinely and sincerely have no interest in foreign key constraints. They are pretty much useless, if not actively harmful, at scale.
How to handle this situation is literally defined in the LICENSE for any modern software project
For the first part: yes, but that is why I think it is important to stress dependency vetting.

For the second part, a couple of times when I had to add a bit of purely client-side reactivity to something pre-existing but did not want to introduce any build step I simply aliased createElement() to el(). That said, personally I prefer TypeScript for a project of any size, so build step is implied and I can simply not think about converting JSX. Webpack triggers bad memories but esbuild is reasonable.
Bad example. The requirements to register in .bank are quite rigorous (see https://register.bank/eligibility/). Phishers typically go for TLDs that impose far fewer requirements on their registrars.
We also have a generation of designers who "think in React" who don't approach the web like the web, but like a less form of mobile.

A designer who has a solid understanding of hypermedia and puts its principles first would be worth their weight in gold to a team who wanted to move away from the React ecosystem.
Of course, instructions always have semantic meaning, whether we give them to the computer or to the humans.

The compiler/interpreter/AI translates the instructions I give in a high-level language or now even in natural language to the computer.

So in this sense any intentional speech is "software" too.
We had a bat in our bedroom here in France a couple of years ago. We weren't quite sure what to do so checked online and the diametrically opposed advice was hilarious. US sources read like this thread, whereas the French ones were like leave your windows open to allow them to fly out and a bunch of links to why bats are amazing and protected animals.

I guess the incidence rate is a bit higher in the US but yeah interesting risk management.
Let's not walk around in circles. We already estabilished that the chip was designed to facilitate the transition.

What you're saying is exactly what I'm saying. Having that x86 translation layer helped them sell macs. It doesn't matter if it is not needed now (it is needed now, otherwise it would have been removed).

So, yes. Apple has a popular new band in town. But they still need to play some x86 covers to sell tickets.

As I said, they have a good plan, but they're _not there yet_.

When they'll be? When x86 translation is not shipped anymore. It's rather simple.
Post title: Automated reasoning to remove LLM hallucinations

---

and yet, the paper that went around in March:

Paper Link: https://arxiv.org/pdf/2401.11817

Paper Title; Hallucination is Inevitable: An Innate Limitation of Large Language Models

---

Instead of trying to trick a bunch of people into thinking we can somehow ignore the flaws of post-LLM "AI" by also using the still flawed pre-LLM "AI", why don't we cut the salesman BS and just tell people not to use "AI" for the range of tasks it's not suited for.
Congratulations!

Any plan to support native iOS & Android? I will love to consider Liveview as an alternative to our Ionic+Capacitor setup
oh not "yikes" at all I totally peaked at the code to try to find one for him. I feel like bug fixing at that age is a fun exercise; it gets you thinking more laterally about the program you're writing.
Neat! Amazing work young man!
> but sadly, the secrets of how I am doing it are in Intel’s proprietary cblas_sgemm_batch() function.

Perhaps you can reverse engineer it?
I really love Spider animation.
For sure. Context switching tasks is certainly a lot cheaper than context switching threads, but it isn't free.
I don't think it was absurd, just unrealistic.

I replied here because I felt like it, but thanks for your feedback.
On gmail when I have to give my email to a company, I give it out as myemail+theircompanyname@gmail.com, which is an alias for myemail@gmail.com.

In theory I could later use it to know which company gave out my email, but I also realize how easy it would be for the spammers to just remove the "+theircompanyname" part.

Sometimes sites must be using a crappy regex that won't allow the + though, even though it should be a valid character in email addresses.
Its cute how people give Republicans credit for anything, really.

Its not like the agencies could just do what they want prior - they generally had to follow the policies with freedom to interpret vague laws, and its up to congress to pass more clarifying laws.

The Chevron doctrine overruling wasn't taking power away from the executive branch, it was a backup plan if Democrats won, the Supreme Court can have power against the incoming administration. It should be pretty evident that the Republican Justices are solely in MAGA territory, considering Trump vs US ruling.
FYI I use jsdoc for typing in my IDE so I get the benefit of types without the build step.
I think you're missing much of the context and are misrepresenting what happened.

As far as I'm aware, there was no crying he didn't want to work with people, but there was a frustration that he was not open to having a Markdown "standard". To the point where he actively opposed efforts to standardize it, at least under the name Markdown[1].

This is legally and technically fine, as he owns a trademark for Markdown, but when you combine the inconsistent application of that trademark (GitHub Flavored Markdown is seemingly fine, but Common Markdown was not), along with him calling it "Jeff Atwood's crusade" and mocking the effort[2], it's not a great look and resulted in quite a few frustrated people.

As an open source project, you're right that he doesn't owe anything to anyone, but that doesn't mean people have to be entirely happy about how the situation was handled either.

[1]: https://blog.codinghorror.com/standard-markdown-is-now-commo...

[2]: https://soundcloud.com/thetalkshow/ep-88-cat-pictures-side-1, around 1:15
Automerge wise, there's a ton of effort behind ElectricSQL which is written in Elixir and can also be run as part of an Elixir app, so you can get a lot of the same benefits of local first clients, afaict.

There's a langchain implementation that's fairly mature and definitely in production use (I saw the authors handle above actually :D ). Langgraph-style libraries exist (there's one called Magus that I've used) but I think that's where there could be some more efforts. Although it's important to note that building something comparable to langgraph isn't too hard in Elixir with its process model, and most Elixir devs could probably do it, but unfortunately that's not obvious to your average person searching "langgraph implementation in Elixir".
There's no langsmith integration but the telemetry implementation in Erlang and Elixir is really nice so once some patterns around running chains and graphs emerge publicly (there's a few companies that I'd bet have private repos implementing their own equivalents of langgraph) I imagine integrating to langsmith would go pretty quick
That's pretty heartwarming. But it make you think about how we seem to be headed towards more and more people without a purpose...
I've walked through swarms of bats without a care in the world. You came within ten feet of a sleeping bat and put your family through a medical grinder. Different strokes.
1. I've checked multiple places and consistently "civilian" is defined in contrast to military / armed forces/ police, but not in contrast to government in general.

2. But even among non-governmental groups, this claim doesn't make sense. Northrop Grumman, Arianespace and a bunch of other companies that are not governmental organizations (but may have government customers).

https://en.wikipedia.org/wiki/List_of_spacecraft_manufacture...
I hadn't heard of Amazon Bedrock Guardrails before, but after reading about it, it seems similar to Nvidia NeMo Guardrails which I have heard of: https://docs.nvidia.com/nemo/guardrails/introduction.html

The approaches seem very different though. I'm curious if anyone here has used either or both and can share feedback.
Historical inaccuracy was simply one of a handful of points I made, and I am hardly “angry” that a brainrot musical, written by a man with no historical background, was inaccurate. Additionally, I am willing to suspend my desire for accuracy for certain plot-related reasons, for instance there is no historical backing behind Angelica’s infatuation with Hamilton, but plotwise it created a compelling, albeit poorly expanded upon, narrative.

The definition of brainrot is, in my mind, something that you cannot learn from and may even teach you misinformation. Hamilton’s lack of historical backing and poor narrative lead to a situation where it fails to teach you history or have an in-depth story worthy of inaccuracies. They essentially took the setting of late 18th century Boston, put a slew of modern-thinking historically-named figures in it, and wrote a simple story using those caricatures. Add in very inconsistent “hip pop” music, leaning into simpler choruses that paint in large strokes, and it’s no wonder that it achieved mass appeal. That’s simply how brainrot works. Less cognitive processing required means that its easier to digest and share. It’s also why “low culture” contains fart humor and why “high culture” contains books such as Don Quixote.
Amazon Sued for 'Fake Discounts'
Is VC money ever spent on companies seeking clear paths?

I pessimistically suspect VCs like the dark mysterious paths since they often have a bigger fool at the end (acquisition).
I don't think that's a commonly touted benefit of Rust.

You certainly can build a statically linked binary with musl libc (in many circumstances, at least), but it's not the default.

The default is a binary that statically links all the Rust crates you pull in, but dynamically links glibc, the vdso, and several other common dependencies. It's also, IIRC, the default to dynamically link many other common dependencies like openssl if you pull them in, although I think it's common for the crates that wrap them to offer static linking as an option.
> The plan here for urban Australia

I'm not sure they have a concrete plan beyond "don't shut down the fossil generation until we have installed a replacement". Yes, currently they hope an huge uptake in EV's will make a lot of battery capacity available. Maybe it will. But right now, EV's with V2G are a rarity. If that doesn't work out, then maybe will be using a lot of the sites the Uni of Melbourne identified for pumped storage. (I'd be a lot more comfortable with that if they were subsidising building a few small ones to see how it worked out.). Or maybe all those transmission lines they are saying they need will save the day. Or maybe flow batteries are the go.

I'm pretty sure their crystal ball isn't much better than ours. If they have a plan, it looks to "let the capitalists build what they see fit, and if it doesn't work the market will correct it". They probably don't have a lot of choice in that, but letting that happen while ensuring the network doesn't collapse when in the face of the inevitable failures isn't a tight rope I would want to be guiding the nation along. Which is probably why they want guard rails like "let us turn off solar" even if they don't have a plan to use it right now. The more guard rails the better.

The one and only thing they look to have ruled out is nuclear. Not because it costs too much, but because by the time the first one is up and running it will all be over.
> often waste a huge amount of time find the best flight

Would you trust that this would book you the "best" flight? Every user has a different definition of "best" – cheapest, shortest, fewest stopovers, shortest stopovers, airline preference, lounge preference, seat preference, time of day preference...

Personally I find Google Flights gives me the right amount of detail and I book flights I'm happy with.
Last company used Perl but we didn't talk about it because it was all frozen. If anyone ever considered touching it for more than 2 hours, it was likely to get rewritten into Python/Powershell. Last perl thing I had touched, entire repo hadn't seen a commit for 4 years until mine.
I like when it simply does not compile, which also helps if there are other various team members (or future me) who can not always be trusted to ignore typing errors. Also, I may be wrong, but I feel like JSDoc types are a bit limiting (and more verbose & extra effort) compared to inline TypeScript. Coming from Python, I really enjoy the typing power of TS and do not want to compromise on that…
Yes it would, it’s just not as noticeable in my experience. For example, I have a Todo app with my shopping list. Every time I unlock my phone to look at it, I need to wait for the socket to reconnect. Either I lost it due to poor reception, or my mobile browser killed the socket connection (but not the tab process).

I don’t really have that with a traditional SPA, since the view is “dead”. Of course, interactions might be slow, but I can at least still browse the data already on the screen.
Will keep this in mind! My ElixirConfEU keynote just used limit/offset pagination, but shows how easy it is to do bidirectional infinite pagination. Streams allows you to keep a virtualized infinite list in the DOM without keeping the giant collection around on either client or server, example:

https://www.youtube.com/watch?v=FADQAnq0RpA&t=2322s

This demo doesn't update the URL to keep state (but push_patch would make that trivial). I'll think about more complex examples for cursor pagination, but the solution to massive collections (thousands of entries) is going to be stream + limit
If you can't trust their discounts, can you trust them with your data?
Sid Meier's Civilization is pretty much the poster child for an outstanding online game that cannot be converted to a (physical) boardgame without either super-heavy mechanics and bookkeeping, or huge simplifications and compromises that take all the interesting nuances away.

One example of many was the corruption calculation in each cilization every turn based on how remote each city was from the capital, the city population, tax-rate and luxury-rate, the number of military units garrisoned there, modifiers for wonders etc.
https://github.com/intel/intel-extension-for-pytorch
Agreed! I am hopeful that future versions might help address these challenges at the framework level. It’s the Achilles heel to LiveView. As soon as the connection gets unreliable or has some latency a lot of the magic goes away. Most of the time the productivity boost from working in LiveView more than makes up for it, though.
What issues have you experienced with non-ECC RAM on a laptop?
"the third option", what's the first two, pointers, then what?

I'm re-entering c++, I wonder, can we just use a small subset of it and get the job done? it seems a core subset can get a lot done without all the complexities from c++
I really wish folks building these things in Scheme would build them instead in Lisp. Common Lisp is a better language for systems, despite a few design decisions which turn out to have been howling mistakes (the single worst is the default reader upcasing).