skysight-inc/HackerNews huggingface dataset:
I don't know, most things I've written in Prolog 'runs backwards'. Doesn't seem special to me, things like cut and whatnot that might interfere do.

I kind of feel that clpfd, clpz and so on are just libraries, in what way do you consider them extensions to the language?

For me it's a neat way to model problems, and when I have I've commonly learned something new about the problem domain. Performance might not be great, interoperability and FFI might not be great, but as a tool for thought I really think it is.

https://www.metalevel.at/prolog
There's a lot more code calls getXbyY vs code that calls PAM.
Why Senior Employees Need to Audit and Verify Things for Themselves
From the tooling perspective I’ve built my own.

Recently, I've been toying around with litellm which, so far, strikes me as the right level of abstraction. I like building my own stuff but writing api wrappers just suck.

I’ve also been toying around with Instructor for structured output as well. It’s incredibly convenient, but I haven’t used it for any production stuff because I don’t feel comfortable with the prompting aspect yet.
People swear they have emotional relationships with their pet lizards, who totally lack the part of the brain that can feel emotions…
> Playing false equivalence games will end very badly.

Okay: Chinese report higher satisfaction with their government and the direction their country is headed in than virtually any Western nation and much more than in the US. The Chinese economy is doing the opposite of enshittification, whereas the US is openly embracing the trend at this point with inflation / capital strikes, shrinkflation, consolidation, rent-seeking, and overall lower quality of goods and services. The home ownership rate in China is about 90%. Real wages in China are steadily rising and have been for decades - in the US they are falling and have done for decades.

America's primary means of diplomatic leverage is military domination but it can't even prevent the Houthis from a virtual blockade of the Red Sea and sea traffic through there has dropped 90%. Meanwhile China is transforming entire continents with its superior industrial capacity and soft power. They are the world leader in clean energy research and production. They got kicked out of the International Space Station so they built a better one and left an open invitation to the nations that kicked them out of the ISS, to join them on the Tiangong Space Station after they come to their senses.

China has already won. Chinese socialism, won. If there is a positive future for humanity at this point, it is in China and China alone. The West is still coming to grips with this. Posts like yours are transparently cope.
1 second and id+1 apart!
It took humans 300k years, all of us, our collective output to reach this point. Yet people insist on comparing a human who is part of society with a LLM alone, who doesn't even have search, and very limited contexts, just closed book mode remembering.
The sample notebook linked from the post is a 404

https://github.com/cohere-ai/notebooks/blob/main/notebooks/D...
Yeah humans can generalize much faster than LLM with far fewer "examples" running on sandwiches and coffee.
It seems to me that a truly free speech absolutist reply would be “yes” to all of the above.

But I submit that given our current state of affairs as a species, I don’t think we could handle that “yes”.

That “yes” coexisting in a harmonious world that is safe and sound would require that speech that incites violence or vandalism isn’t acted upon, for example. That the market could and would reliably be able to detect and counter deceitful manipulation. That somehow the market would be able to do the same with lies about a product or service.

It also suggests abdicating accountability for when such a seemingly perfect system would fail and result in harm.

These things seem implausible in our current reality. A lack of accountability seems undesirable generally and is already something that we suffer enough.
I'm afraid this is going to be another Everyday Robots or Boston Dynamics. Google is ruled by managers, not visionaries. Strategy is 'try and see if it works in 4 years. if not cancel'. They followed it in many cases. So, DeepMind's cancellation is long overdue. A couple of years back one of Google's top managers talking about AGI said it's most likely to happen in DM. But current LLM boom happened elsewhere. Likely managers are disappointed in DM.
We are at PCIe5 in the Dell XE9680. We add in 8x400G cards and they talk directly to the Network/ 8xGPUs (via rocev2).

800G ethernet is here at the switches (Dell Z9864F-ON is beautiful... 128 ports of 400G), but not yet at the server/NIC level, that comes with PCIe6. We are also limited to 16 chassis/128 GPUs in a single cluster right now.

NVMe is getting faster all the time, but is pretty standard now. We put 122TB into each server, so that enables local caching of data, if needed.

All of this is designed for the highest speed available today that we can get on the various bus where data is transferred.
The two generation old Gracemont already beat Skylake [0]. Skymont can beat Raptor Cove [1] (The big core that was paired with Gracemont).

[0]: https://www.anandtech.com/show/16881/a-deep-dive-into-intels...

[1]: https://www.anandtech.com/show/21425/intel-lunar-lake-archit...
ARC isn't perfect and I hope ARC is not the last AGI benchmark. I've spoken with a few other benchmark creators looking to emulate ARC's novelty in other domains, so I think we'll see more. The evolution of AGI benchmarks likely needs to evolve alongside the tech -- humans have to design these tasks today to ensure novelty but should expect that to shift.

One core idea we've been advocating with ARC is that pure LLM scaling (parameters...) is insufficient to achieve AGI. Something new is needed. And OPs approach using a novel outer loop is one cool demonstration of this.
You haven't advanced the odd assertion made here https://news.ycombinator.com/item?id=40713250 that some outside force prevented the director from depicting scenes of nuclear devastation.

There are films, some from US directors, that already make such depictions.

You'd make a far better case if you made more concrete claims that could be backed up, eg: that the director in question made a number of past films and wanted to make future films that had US DoD support with access to real military equipment (this is a thing) that would otherwise be unobtainable | cost vast sums of money .. and the rider that comes with such cooperation is an agreement not to depict US military in particular ways.

This reparations line isn't particularly convincing.
Over the years three of mine self-selected. One died, one aged out. I'd say that in some ways, this is the worst method. you don't get any try-before-you-buy and sometimes smart people mean well but wreak havoc.

It's a delicate relationship. You need to set boundaries.

I've been put in the other side of things twice now, once by a committee which had me mentor a fellow at an IETF meeting and it "stuck" -and the other time he selected me. I'd say either kind is acceptable to me. I don't go out of my way to look for this role, and I can say that some life-questions are really hard to deal with because I am convinced there is no right answer sometimes.

I say three self selected, but it's actually four. One it became more a mutuality so really there is three. Btw she's younger than me, which was in itself initially surprising but what she brought to the table was a formal framework for open-ended questioning and training on the counselling/mentoring front. I helped her get the quals by being the guinea-pig, and that turned out to be mutually beneficial.

I would be open to "mentoring" being with people who are NOT in your primary field, who are not necessarily older than you and who may not share life experiences. In some ways, the mutuality is the best bit: being asked and asking questions is surprisingly informative both sides. Or, to it being a paid relationship such as with a mental health professional. (which I also do)

Frankly, much "advice" from people in prior economic situations is not helpful in the modern job market. You wouldn't expect somebody who worked in Hitachi for 55 years from a cadetship to understand FAANG culture, and vice-versa. So bear in mind that a lot of the wisdom of the ancients is from different job markets, different situations.
End users don't want complex UI interfaces, they want to use your product to find value as quickly as possible. You can have a crayon drawing interface as long as things make sense and there isn't friction from using the product.

Some UI gets this but often I find that most does not and that's the most common complaint that I hear from company to company..."you have the most advanced product but I need to take a two month course to figure out how to use it".

Customers really just want to buy your product, do nothing and get money and the closer you can get to delivering on that experience, the better.

You will always get more value from building APIs and integrations with other products than you will from putting options in the hands of users, but the big players in industry know this and build big moats intended to keep you out rather than improve everyone's products and their customers happiness. The problem is as workers in this industry we've taken the money and been good soldiers rather than demand and enforce open standards that would benefit our day-to-day and society at large.

I haven't even started in on the darker side of UI/UX like dark patterns and "engagement". It's not like "Sam's Pizza Shop" or any other small (or even medium) business needs some super complicated UI/UX and building that out for them would leave them worse off. Complicated JS frameworks should be the exclusive domain of companies employing hundreds+ of engineers and even then you have the problems from the last paragraph. IMO if you choose to work on frontend and perpetuate all this behavior, you're part of the problem.
If you want. Replace mock by fake in my post and you get the same thing. It means I’m using fakes too when I’m not doing dependency inversion, so no mocks either

For what it’s worth, I find the distinction between mocks, fakes, spies, stubs, dummies and whatever completely useless in practice, the whole point is to control some data flows to test in isolation, it’s really all that matters.

Fun thing this kind of bikeshedding comes from Bob Martin, who famously has nothing worthwhile to show as an example of his actual work. Every time I read something from him, I get more and more convinced he’s a total fraud.
They weren't targeted purposefully for killing civilians. Where did you get that from?

The Target Committee nominated five targets: Kokura (now Kitakyushu), the site of one of Japan's largest munitions plants; Hiroshima, an embarkation port and industrial center that was the site of a major military headquarters; Yokohama, an urban center for aircraft manufacture, machine tools, docks, electrical equipment and oil refineries; Niigata, a port with industrial facilities including steel and aluminum plants and an oil refinery; and Kyoto, a major industrial center.
Who is comparing LLM with Humans?

As far as I can tell nobody is.

LLM is a great tool that helps our brains same way a hammer helps our hands.
The incompleteness theorem isn’t an argument against formalism, it’s just a bound on what you can do with it (you can’t use one set of axioms and expect to prove everything). That’s ok, because you are,

1. Not required to prove everything which is true,
2. Not limited to one set of axioms.

The nice thing about formalism is that you can use a computer program to check whether a proof is sound or not. Isn’t that nice? It has applications in e.g. computer science and engineering, where you can prove that a program does not crash, or prove that a traffic light never shows green in conflicting directions, or prove that a real-time kernel always provides enough computational time for your rocket computer to steer.

Working math, there are more and more complex proofs that cannot reasonably be checked by humans. Having a computer check them is a nice alternative.
This is like saying, "Isn't it curious that after the Emancipation Proclamation, those same abolitionists then argued for granting citizenship to former slaves, and then after winning that, they switched to demanding they also be allowed to vote?"

That's not a "syndrome"; it's three righteous and related causes advocated for in series because social progress happens one step at a time and activitism is often most effective if performed this way.
Allow me to open with a wildly speculative question: What if the internet were public interest technology? I mean "internet" the way most people understand it, which is to say our whole digital sphere, and by "public interest" I don't mean tinkering at the margins to reduce harm from some bad actors or painting some glossy ethics principles atop a pile of exploitative rent-seeking — I mean through and through, warts and all, an internet that works in support of a credible, pragmatic definition of the common good.
Some databases directly support uuid, so they can save it as the binary data itself.
I think if I saw this in some kind of framework that I otherwise liked, I'd probably dislike it for the same reasons, but it's hard to know for sure.

My general thought is that non-local changes should require some special annotation or something. For whatever that's worth.
I'm fairly certain Fauci is a lapsed Catholic who has never operated a space based laser.
Let's not forget that Demis Hassabis (DeepMind CEO) created Theme Park
so he knows how to create products. I have full confidence in his leadership.
Buy more Alphabet (GOOG) shares!

Ref: https://en.wikipedia.org/wiki/Demis_Hassabis#Bullfrog
You're joking/trolling right? There are literally 10's of thousands of H100s available on gpulist right now, does that mean there's no cloud demand for Nvidia gpus? (I notice from your comment history that you seem to be some sort of bizarre NVDA stan account, but come on, be serious)
What are you implying? That the UK technology will be publicly available for others countries to use?
Nothing! That's my entire point! Because I'm not afraid of the internet, and I trust in my ability to secure the software I host. You're the one struggling with the fact that no software is a platonic ideal, while the rest of us still have jobs to do.
The way you are phrasing your disagreement with prevailing consensus is just semantics. Ok, let’s say animals are not 0% conscious, let’s say a certain animal is 24% conscious. It’s reasonable to say that, in comparison to a human, this animal is not conscious. Clearly, my cat exhibits some awareness of what’s going on, it’s not totally mindless. But to call it conscious in the way that we apply this term to humans is a stretch.
You might find the essay "I, Pencil" by Leonard Read interesting. It's told from the point of view of a pencil who talks about the complexity of his own creation and all of the components involved in the process
There’s a meaningful difference between a silicon intelligence and an organic one. Every silicon intelligence is closer to an equally smart clone whereas organic ones have much more variance (not to mention different training).

Anyway, my point was that humans butter direct their energy than randomly spamming ideas, at least with the innovation of the scientific method. But an LLM struggles deeply to perform reasoning.
This is really cool work! Congrats on both the paper and the graduation! A long time ago, I worked on optimizing broadcast operations on GPUs [1]. Coming up with a strategy that promises high throughput across different array dimensionalities is quite challenging. I am looking forward to reading your work.

[1]https://scholar.google.com/citations?view_op=view_citation&h...
And to think it culminates in tech companies emitting more CO2 than Belgium to make celebrity deepfakes and tell us to put glue on pizza. Wow.
Which bugs?

I’ve been ready for 5 years as it’s the duration I’ve been testing my storage layers with 90% integration tests (the 10% being the hard to reproduce error cases, these tests have low value but are easy to test with mocks so I still test them). The only issue I’ve encountered was with time zones (shocking), and it made me ensure I got full control of the time zones in my app, in my deployment, in my local Postgres and in my prod Postgres, so net benefit in the end.
Pretty sure that term doesn't apply here correctly fwiw. My best guess is that it means GP is saying that the devs in SF see themselves as overpowered/magical in their dev abilities. But it seems like a stretch of the meaning of this term as far as I have seen it used.
If we aren't regulated then anti-drug laws shouldn't exist. A government made up of it's people cannot regulate it's people by virtue of having a superior self control or wisdom. How can there be liberty without this?
To fair, Google invented transformers and contributed a lot of basic research. OpenAI made it bigger.
Can we get conversions for kg of CO2 emitted, too?
But you can't deploy it if it hasn't been released. If the regulator allows a release, someone can deploy it outside the jurisdiction. The internet doesn't end there. It's pointless. Worse, it's deceit.
Yeah, LR is also a great product. And the subscription turned out to be about the same cost as upgrading every year. There are other tools out there, but nothing comes close with image editing and DAM. The subscription also gets you LR on every device.

I think the dark patterns here are garbage, but Adobe has provided a ton of value for those subscriptions.
Awesome, mind if I send you an email solely to test if it gets through or if I get to be the recipient of your awesome script? ;-)
I gather that there is no simple definition of concious, and it mostly is “same as humans”.
It was all normal JS code to handle a complicated form we have on a customer facing portal page. By moving to htmx I was able to rely on the server side to handle basically everything with only a small addition of code to what it was already doing.
When did the software community get so bad at handling legitimate critique?
Ua-Parser-JS Drops MIT License, Adopts AGPLv3 and Pro Dual Licensing Model
I've seen Futhark on the front page a few times recently, has there been a resurgence of interest for some reason?

Exciting if so. I think it's a cool language
I’m not sure about the others in this discussion but I’m certainly not saying you shouldn’t be able to eat poison at home.

I’m saying as a society we should want to try avoid selling poison freely if we know a non negligible number of people would, in fact, eat it at home and die as a result.

And again, I’m not arguing for criminalizing the people who do get poison and eat it. I’m not arguing for criminalizing anyone actually. I’m arguing for sensible checks in place. Which is what we’re already doing with things like drivers licenses and medical prescriptions.
I believe it was originally supposed to be optical.
Please use capital letters I beg you
More cores and memory channels+bandwidth would have been nice.
Show HN: A beat composer by placing beans on paper [video]
Bean beat sequencer allows you to make music by placing beans on a piece of paper. The bean placement is captured by a webcam and Processing and Sonic-Pi together render the audio.

8 rows represent 8 instruments. 16 columns represent time slot. If a bean is placed in the time slot, the corresponding instrument for that row is played.
Sense and Nonsense on Petrodollars – AIER
...and (burying the lead) wrote it while he was under 18! But, that is one of the odder takes for why he would be good at building a product?
There is no pact that ends. There is a non binding gentleman’s agreement. Never put on paper and never enforced.

See also: https://news.ycombinator.com/item?id=40714405
No, the human user doesn't have permissions, the LLM system has permissions, we create a user for the process, we've been doing this since unix, take a look at what your HTTP server runs as. There's no deputization of permissions going on here, at least on my systems.

Even if there are user-level permissions, you then use a role-based approach (SQL user for a type of users, for example accountant, manager, etc..) and restrict its permissions accordingly, I don't think the idea of restricting permissions so that we avoid users fucking the database up is new.

Many organizations have DBA whose role it is to convert user queries into SQL queries, Juniors usually have tighter permissions. Also non-technical managers and analysts can have access to the database.

As I said, not a new problem, SQL servers have mature permission systems.

If that is not enough, just write an API wrapper. It's what Amazon does anyways, Bezos' memo explicitly states that teams should not expose databases, rather they should expose APIs, under punishment of firing.
There is a browser extension called "Indie Wiki Buddy" [1] that automatically redirects from a Fandom page to the equivalent community-run wiki. It also optionally replaces links in search results.

[1] https://getindie.wiki/
FastestEngineer: A fully-featured SaaS boiletplate app
Right now I am in Bilbao and I am pretty sure the same way about Basque. It is more of a stream cipher.
I'm sure this could be done, today, much more elegantly, flexible e-paper is available without being attached to some heavy clunky PCB, and flexible PCBs are easily do-able, you only need a fairly small/simple mcu and power the whole thing by inductive loops. I reckon you could probably get something close to the size/feel of a credit card, if not more bendy/flexible.

(you might even be able to get away with a tiny capacitance to hold enough power to reset the display to a 'back pattern' when it's removed from the inductive loop 'board', depends on the mcu I guess).

A button to update the card shouldn't be needed, you can detect it via whatever NFC you're using.
BYD: China's electric vehicle powerhouse charges into Europe
Sustainable Insect Revolution [video]
How is it not blindingly obvious yet? It's money. Everything sucks because you aren't an executive or a shareholder. Everything sucks because everything isn't for you, it's to extract money from you. And places like this are the Mos Eisley cantina where everyone talks about the best way to do that.
Of course it is, but the trade-off is time.
Ah yes, the ~.
> At least once a month, I get asked to release some incoming email from quarantine that got sent there because the sender's SPF record is wrong or outdated

And at the same time, I regularly get Spam/Phishing with perfect SPF, DKIM, DMARC, etc. The domains and IPs they use might get blocked within a day, but of course, these people have no problem getting others.

And although I have set up my MTA perfectly, my mail gets refused by MS/t-online/etc., because I don't have enough "sender reputation". In e-mail, we have an oligopoly of a few big mail providers, and in the end, they decide which mail gets delivered and which isn't, and to me it looks like they give a rat's ass about SPF and DKIM, and probably rightfully so, because most spammers are probably better at configuring MTAs than your average mail admin.
Likely that some McKinsey type consultants or ex-consultants in senior management deem this to be absolutely necessary and the only way to go.