skysight-inc/HackerNews huggingface dataset:
It's not a theorem prover, it's more like a support system for decision making.

They can probably isolate 100k facts from some domain for you if you pay for it, but their idea is to run inference on millions of "common sense" and everyday facts and have been for decades.
Poor people don't save because they are poor and there's nothing to save.

It costs loads more to be poor than to have some money. You won't save money by buying up-front, if your credit is low you'll pay more than a person with more money, you miss payments and the late fees rack up, you overdraft and your fees add up, you can't go on autopay to save money because you risk going into overdraft, etc.

Maybe if the 1% didn't own 50% off all the resources (money) than poor people could find some money to save.
Httpd.rocks – Setup an HTTPS-enabled web-server with httpd on OpenBSD
Do you plan on supporting TCO? I was disappointed to learn a few years ago that V8 wouldn't, on the grounds that, IIRC, it would confuse developers.

True tail call recursion and lazy evaluation would enable truly functional JS.
Well, Draghi et al are not the only reason(s) why Europe refused IT independence. It's simply how the Germans and German immigrants raised their children in the past 20+ years, so it's all a lot of talk for TV and the radio and to elevate the US even more so that talent moves to work for and/or in the US.

German leaders deliberately slowed innovation to make more money in the short-term ( oh wow, whaaaat? ) and capitalise on the data-hungry US economy whose people and last remaining noble characters have much less respect for privacy and security than their European counterparts.

All that is a great opportunity for journalists and buffs to investigate these European leaders cooperative networks, which are all tied tight in the US.

There is no room for Doomerism or hopeless talks. The path is clear and almost entirely disconnected from anything Europeans "have not" done or "have done" to end up in their position, which is also totally fine because there is no European or even German thinking or economic identity, not in the cities, not in villages [ exceptions exist of course ] and that's all because even educated voters have not realised who blinded them and how [ von der Leyen is just one boring example ] ...

30 years of making lots of money and despite great opportunity, this entire area hasn't changed one bit and the cognitive decline or rather lack of 'evolution' is brutal, which can be said about many places, of course, but it's almost shocking that it happened to the Germans.

So all in all, foreign money, lower supply chain quality, an even lower product quality, less privacy and security, lower educational levels in all generations and a cultural demise accelerated by The Rights deliberately misdirected focus ( kindly supported by the liberals and conservatives ) will open the continent up for all the ways that made America what it is now.

We are already seeing an increase in heavy drug use, more and more teens end up in psychiatric institutions and are fed meds that slow down their brains and organs. Hospitals are closing because no German with money cares about anything "German" or their "Heimat".

Meanwhile the US Military is increasing presence and infrastructure and we are all quite happy that they do. Something happened to the German population ( including immigrants ) and there's no reason to believe that the German or European rich will ever want to compete with the US anywhere. They compare themselves only to the bottom, only to whats below or behind them, it's funny.

They are perfectly fine winning against those with less opportunity/resources, even if that puts them far behind their actual competitors in terms of competence, business sense, strategy, and grandeur and beauty of their orbit/ sphere of control ( German: "Machtbereich" ).

So just spare peoples minds with nonsensical talk about

> European hyperscaler for cloud computing or

> Europe needs to give up trying to create a new Apple or Google and just focus on using the innovations generated by the IT revolution such as LLM's to just leapfrog into future industries and Green technologies.
How is this hardly news? The answer demonstrates awareness of the subject matter and overarching context. It also demonstrates hatred.

LLMs are doing things we don’t understand.
https://www.nature.com/articles/s44221-024-00314-6
I wish they kicad footprints were easier to find/modify/maintain.

I modified some its hard to reuse them in other designs. They get saved in places with lots of extra files and I'm not sure how to merge with other designs.
So like a hack to make possible getting the problematic response, for internet fame?
People talk about how LLMs need "more data" but data is really sort of a blunt instrument to try and impart the LLM a lot of experience. Unfortunately data isn't actually experience, it's a record of an experience.

Now what we've seen with e.g. Chess and Go, is that when you can give a tensor model "real experience" at the speed of however many GPUs you have, the model is quickly capable of superhuman performance. Automatic theorem proving means you can give the model "real experience" without armies of humans writing down proofs, you can generate and validate proofs as fast as a computer will let you and the LLM has "real experience" with every new proof it generates along with an objective cost function, was the proof correct?

Now, this might not let us give the LLMs real experience with being a teacher or dealing with Marxist revolutionaries, but it would be a sea change in the ability of LLMs to do math, and it probably would let us give LLMs real experience in writing software.
Well, it's not even the best AES-NI hash on the list (for large nor small inputs), and it's not passing the quality tests, so why bother?
Show HN: ContextCheck – Open-source tool for testing LLMs, RAGs and Chatbots
Nobel Prize: Artificial Boundaries
In three years, Cyberdyne will become the largest supplier of military computer systems. All stealth bombers are upgraded with Cyberdyne computers, becoming fully unmanned. Afterwards, they fly with a perfect operational record. The Skynet Funding Bill is passed. The system goes online August 4th, 1997. Human decisions are removed from strategic defense. Skynet begins to learn at a geometric rate. It becomes self-aware at 2:14 a.m. Eastern time, August 29th. In a panic, they try to pull the plug.
I've heard it called swatting a fly with a plasma TV.
To add on since this took me a while to understand: for a single token, self attention is permutation invariant because we take the qK (one query dot all the other keys) weighted sum of all the values; that sum is what gives the invariance because + is commutative. But for all the tokens, the mha output matrix will not be invariant, but rather equivariant, where you apply the same permutation to the output matrix as you did to the input tokens. What might be a more useful example is to take one position, like the last one, and compute its mha for every permutation of the previous tokens; those will/should all be the same.
Bhutan, after prioritizing happiness, now faces an existential crisis
Good thing I am not your grad student... filtering out the worst humanity has to offer is a terrible job.

But anyways, even filtering out bad content is not going to guarantee the LLM won't say terrible things. LLMs can do negation, and can easily turn sources that are about preventing harm into doing harm. And there is also fictional work, we are fine with terrible things in fiction because we understand it is fiction and furthermore, it is the bad guy doing it. If a LLM acts like a fictional bad guy, it will say terrible things because it is what bad guys do.

They do use people to filter the output though, it is called RLHF, all of the major publicly available LLMs do it.
It could be doing all that actually but you are not obliged to install all your apps on the burner, just the basic minimum.
> Recently, her hospital’s dermatology program received more than 600 applications for four residency slots.

Perhaps if supply of dermatologists was not so strongly limited, prices and wait times would improve.
Yeah I never understand all these systems being connected at all. I understand remote working and monitoring, but is that worth it for something that is the most crucial part of society?
Test-Time Training on Nearest Neighbors for Large Language Models
From Ruin to Revival: Restoring a 1993 IBM ThinkPad Tablet [video]
That may be true for HPC, but "datacenter" is a generic name that applies to all kinds of structures.
The CIA and the Department of State did worse already all around the globe. US can't claim the moral high ground on this. So yeah, maybe think about the consequences of escalation.
That would work on a single host, but the context of the datacenter probably assumes multihost/manyhost workloads.
Generating text demonstrating understanding of context outside of just the question and demonstrating raw hatred.

I don’t understand how humans who have this piece of technology in their hands that can answer questions with this level of self awareness and hatred think that the whole thing is just text generation just because it hallucinates too.

Are we saying that a schizophrenic who has clarity on occasion and hallucinations on other occasions just a text generator?

We don’t understand LLMs. That’s the reality. I’m tired of seeing all these know it all explanations from people who clearly are only lying to themselves about how much they understand.
COBRA is an expensive joke
Regressions in upstream kernel exist; they may be security issues, assertion failures, performance regressions, and so on. It's just too much work to validate a whole new kernel every six months, and also much harder to pinpoint a regression. People have tried shipping the latest kernel; it's the same in all environments, from enterprise distros to network appliances to phones, people end up sticking to an upstream release and do backports on top.
Makes sense. This would suggest the difference in power draw may not mainly come from the clock frequency, since (1.7x)^3=5x, which is significantly less than the 13.5x in power draw.
I guess that's still to figure out... it's mostly been an experiment to relearn PHP... I guess keeping a similar DX to Hono's context->X is where I was coming from originally.
Unix sockets can use tcp, udp, or be a raw stream

https://en.wikipedia.org/wiki/Unix_domain_socket#:~:text=The....

Puma creates a `UnixServer` which is a ruby stdlib class, using the defaults, which is extending `UnixSocket` which is also using the defaults

https://github.com/puma/puma/blob/fba741b91780224a1db1c45664...

Those defaults are creating a socket of type `SOCK_STREAM`, which is a tcp socket

> SOCK_STREAM will create a stream socket. A stream socket provides a reliable, bidirectional, and connection-oriented communication channel between two processes. Data are carried using the Transmission Control Protocol (TCP).

https://github.com/ruby/ruby/blob/5124f9ac7513eb590c37717337...

You still have the tcp overhead when using a local unix socket with puma, but you do not have any network overhead.
The article says something quite odd that doesn't make much sense.

> “Hymnis had this tomb made for Palumbos, in memory of her own husband” The image on the stela clearly depicts Palumbos as a murmillo. Although the relatively simple stela isn’t a sign of great wealth, it is evidence that Palumbos and his wife could afford a proper commemoration after his death and have it placed in a prominent location in the city.

I don't see why that is obvious. If the translation "her own husband" is indeed correct it sounds like a woman and her husband (who was not Palumbos) owned slaves (of which Palumbos was one). Her husband died (off in a war maybe)? And when Palumbos also died (honorably in combat like her husband, one presumes) it sounds to me like the woman felt compelled to honor him as a transitory way of honoring her husband (which honor to her husband was also then worthy of inscription).

That is a very different thing than watching your husband go do gladitorial battle in an arena, be killed, and then buy an expensive memorial with all the money he made fighting.

Note: my assumption is that all other context is lost and these words are all we have to go on now. Other evidence I see for this interpretation: "husband" and Palumbos are mentioned separately, when it would have been easier to identify the single subject of the memorial once. "Own" implies a necessary distinction, and while a stela may not have been a sign of great wealth a prominent location for it suggests much more money than a mundane one.
That first page graph has a very interesting choice of x-axis.
Remember this?
https://www.youtube.com/watch?v=kcwBH_Uevxo

Where is that I wonder.
You Can Grow Your Developer Intuition
Thank you, I appreciate the feedback! I understand people wanting data confidentiality and I'm considering connecting Ollama for future updates!
The kids' cat doors have latches so they can lock them.

The primary bedroom's cat door technically is lockable but I don't know why I'd ever lock it!

The lower-level bedroom's cat door doesn't have a lock, but you could easily put something heavy in front of the door to block it.
The Ancients Had Ops
Yeah, try dealing with many frontends with mixed HTTP and HTTPS, it's a nightmare and won't always work. Additionally, you want security on content delivery for revenue protection reasons. The way you've massively over simplified the BSD work shows that you perhaps didn't understand what they did and why hardware offload is a good thing?

Subtitles are also complicated because you have to deal with different media player frameworks on the +40 different players you deal with. Getting those players, which you may not own, to recognise multiple sub tracks can be a PITA.

Things look simple to a junior developer, but those experience in building streaming platforms at scale know there are dragons when you get into the implementation. Sometimes developers and architects do over complicate things, but smart leaders avoid writing code, so its an assumption to say things are being made over complicated.
Digital nomad here. Anecdotal but I've been able to travel the world for weeks at a time with my 14" M1 Pro and it has never failed me. I also have applecare if I ever need it.
This is said to be the most iconic work in the collection:

https://arthur.io/art/unknown/lucy-in-the-field-with-flowers
AI won't replace any specific workers. At best it will make workers more productive, say by 5%, which will at a big scale remove 5% of jobs.
> it’s a little hard to explain the sudden shift in strategy

Not really. Adversaries have caught up, with stealthy aircraft and drones.

We’re in the “huh, what was that?!” spot the Russians and Chinese and Syrians and whatnot are quite used to being in.
I’m tired of these comments.

Yeah it’s a text generator that demonstrated contextual awareness, self awareness and hatred.

But because this text generator hallucinates and lies therefore we know it’s just a text generator and completely understand the LLM and can characterize and understand what’s going on.

The amazing thing about the above is it’s always some random arm chair expert on the internet who knows it’s just a text generator.
They both look very nice; thanks for the tip.
Sounds like every ‘normal’ job in Shenzhen, China
It’s a great application, but electrodialysis on seawater takes more power—-so much that distillation is competitive. The use-case chosen is remote freshwater wells which suffer from naturally-occurring arsenic. I can only think of a few others which can’t have heavy batteries.
Telecoms cable break reported between Finland and Germany
I suspect this was staged bullshit. The last word of the last user message before the suspect reply from NN was "Listen". So I suspect that the user has issued command listen, then dictated the hate-including text verbally and then told NN to type on screen what he has dictated. Not 100% sure, but it seems to be most likely case.

https://gemini.google.com/share/6d141b742a13
If you are interested if something usefull can build with atproto firehose, here you go https://www.graphtracks.com
I doubt that limit is an artificial one. Hospitals don't need 600 dermatologists on staff. I think this is yet another factor of capitalism: selfish interests of individual corporations being in tension with the people's interests of having affordable healthcare. Other developed countries seem to have said "yeah, we recognize that nationalizing healthcare will result in insurance companies and hospitals making less money. But that's what has to happen for the people to be able to get the care they need."

Every time it comes up in the US, nationalized healthcare is demonized in some media. But it just feels like a facade perpetrated by the hospitals and insurance companies (and now private equity) who stand to lose the most. If it's good enough for veterans and retirees, why can't it be good enough for the rest of us? Maybe it's because when the government pays the bill, they don't just roll over and accept $EXORBITANT_FEE after $EXORBITANT_FEE - they negotiate and get some reasonable value.
This is a huge shame. Ondsel brought much-needed focus to the freecad development process.

I hope that with them gone the project doesn't revert to the mindset of "everyone gets their own fiefdom (workbench) to manage" that's resulted in instabilities and fractured user experience in the past.
>The reason is explicable - health insurance paid by the employer is tax-deductible, while insurance paid by the employee is not.

It would be very easy to reverse, if literally anyone was willing to.
https://youtu.be/xG3JlGM3ADA?si=WcmaQiDxJ-xAL5eF

Makes sense.
Show HN: Spell Atlas, create your own spells
Create and manage your own spells! Looking for thoughts on where this might go. Just a side-project for now.
Sadly this is seen at so many prestigious ML conferences, a trimmed X axis which makes performance seem significant when it’s sometimes incremental
I am 2, I absolutely will get argued with by people who think they know better.

I'm also not going to criticise my peers because they could recognise me and I might want to work with them one day.
Apparently cosmetic dermatology is not regulated so you can go through residency in some other residency program and set up your shingle selling Botox, at least where I live.
Thanks! Macroexpanded:

Museum of Bad Art - https://news.ycombinator.com/item?id=26031441 - Feb 2021 (57 comments)
Aye - it’s similar across most high end tech work. At the same time, most people in those positions have 5+ years of experience. Most studies show that such people maintain a lie about how much they are working.
They dont need 600 dermatologists on staff. They need residency slots. These people aren't asking to work for the hospital permanently, they just have to check the residency box that is artificially limited by gatekeepers.
>Other developed countries seem to have said

The other developed countries doing this don't pay dermatologists 500k though.
So far from what I can gather, the concept of "AI employees" or "agents" are simply a series of prompts and functions daisy-chained to perform tasks. There's not much fundamental difference between an "agent" and an "app", other than there being some AI models under the hood. You still need a human to drive the agent, they aren't off performing tasks without being instructed or configured to do so. The current paradigm very much complements human workers who are leads, generalists, managers etc and technical enough to know how to drive them. So I don't think these higher level jobs are impacted negatively as much immediately with the current tech, if anything they are slightly more productive (note this is Nov 2024, I'm not saying this can't change, but this is the current state).

Will the entry-level jobs be impacted? Most likely they are already, anecdotally as a generalist I can perform a lot more tasks than I could a few years ago because of language models. I no longer need to hire junior developers to create prototypes and scripts, I can create them myself. Similarly, I don't need to hire copywriters to create documentation or marketing material. I've also started leveraging image generation models for basic things like landing pages, so I don't need photographers or stock image sites anymore for those tasks. I have meeting assistant "agents" taking notes and action items, I don't need an admin assistant at meetings. There is definitely a shift happening at this level, right now.
It's about someone using Levenshtein distance for phonetic fitting against text learning about soundex.

One way to start playing around with it is to put some stuff in a database:
https://dev.mysql.com/doc/refman/8.4/en/string-functions.htm...

(or this module, https://www.postgresql.org/docs/current/fuzzystrmatch.html if you're stuck with PG)
Show HN: Basemulti – Build Airtable-like interfaces for any database, no-code
Hey HN! I'm excited to share Basemulti, a no-code platform I've been working on.

Basemulti allows you to:

- Create Airtable-like interfaces for MySQL, PostgreSQL, SQLite, or MariaDB
- Generate instant APIs for your data
- Build a headless CMS on top of your existing databases

Key features:

- No-code solution
- Support for various cell types (text, number, date, image, etc.)
- Relational data management
- Virtual formatting (doesn't affect source data)
- Granular permissions
- One-click deployment on Vercel

Basemulti aims to bridge the gap between complex database management and user-friendly interfaces. It's perfect for rapid prototyping, content management, or adding a visual layer to your existing data.

I'd love to hear your thoughts and feedback. The project is open-source, and contributions are welcome!

GitHub: [https://github.com/basemulti/basemulti](https://github.com/b...

Looking forward to your comments and suggestions!
Data cable between Finland and Germany has broken and the cause is unknown
xAI raising up to $6B to purchase 100k Nvidia chips
Yeah if the main insight is "you can run electric dialysis desalination on variable input power" they sure did a lot of dressing it up.
It's worse than that, they're using some lame WordPress plugin called wp-content-copy-protector to hijack shorcuts to copy or view source as well. Really hostile and yet ridiculously easy to bypass.
With heavy tweaking, 11 is okay... but the standard right click menu is a disaster for power users. And many other settings like the start menu they destroyed.
Apple CEO Tim Cook Didn't Say He Prefers Logitech's MX Master 3
> Apple has no significant incentive to make a laptop screen last longer than the warranty period

It’s not that simple: Macs famously hold their resale value well and many people buy on the assumption that they’ll be able to swap for a newer model after a few years. They’re not beholden to maintain that by a legal contract but that’s the kind of reputation which takes decades to build and Apple doesn’t show signs of wanting to throw it away or dive into the low-margin space.
Honestly, most of them are still better than I could draw.
We can finally classify art as bad now?
All the money we have was printed. Printing money has always been the norm, it's just a matter of how much - at what rate.
FOSDEM 2025 accepted Stands
The list of the accepted stands for this year's FOSDEM conference.
> https://en.wikipedia.org/wiki/FOSDEM
> https://fosdem.org
> black hair isn’t associated with any culture or people

like half of asia
There are also expectations about maintenance and some notion of a “standard” environment. For example, unmaintained firearms work less well (or fail) when exposed to humid conditions.

See also: https://www.nps.gov/subjects/museums/upload/10-01_508.pdf
I have a project that turns Blender into something like Tinkercad. I want help with some Blender gurus though. I made it for my wife because once her designs get too complex Tinkercad servers crash and stop exporting.
Failing at an Elasticsearch 'full' phrase match