skysight-inc/HackerNews huggingface dataset:
Given a list of numbers L, use operations +,-,*,/ to obtain a result of Result. Use each number of L exactly one time.

Code:

j24([X],R,H) :- !, X =:= R,H=X.
j24(L,R,H) :- select(X1,L,L1), x2(X1,Op,X2,R),
j24(L1,X2,H1),H =..[Op,X1,H1],tj24(Op,X1,H1).

tj24(Op,X1,H1) :- member(Op,['+','*']),
H1 =..[Op,Y1,_],integer(X1),integer(Y1),!,X1 =< Y1.
tj24(_,_,_) :- true.

x2(X1,'+',X2,R) :- X2 is R - X1, X1 =< X2.
x2(X1,'-',X2,R) :- X2 is X1 - R.
x2(X1,'*',X2,R) :- X1 =\= 0, X2 is R / X1, X1 =< X2.
x2(X1,'/',X2,R) :- R =\= 0, X2 is X1/R.

Example:
?- j24([2,5,7,11,20],280,L).
L = 5+11*(7+(20-2)) ;
L = 5+11*(7-(2-20)) ;
L = 5+11*(20-(2-7)) ;
L = 5*(20+2*(7+11)) ;
L = 7-(2-11*(5+20)) and so on.

A little more complex:

?- j24([2,3,4,7,11,13,17,23,27,31],7239,Solution).
Solution = 2+(3+(11+31*(7-(17-27/(4/(13+23))))))

When L = [2,3,4,7,11,13,17,23,27,31,37,43,47] and Result is 1117239 one solution is

2+(3+(4+(27+(47+23*(43+13*(37+7*(11*(17+31))))))))

Edited: I made a small change to prune solutions:

x2(X1,'+',X2,R) :- X2 is R - X1, X1 =< X2.
x2(X1,'-',X2,R) :- X2 is X1 - R,X2 > 0.
x2(X1,'\*',X2,R) :- X1 =\= 0, X2 is R / X1, X1 =< X2.
x2(X1,'/',X2,R) :- integer(R),R =\= 0, 0 is X1 mod R, X2 is X1/R.

The program does not compute all the solution. When the parameter Result is relatively small is easier to obtain a problem with many solution, so the algorithm is fast.

The Prolog program computes a solution in one or two seconds, how would be a similar python program to solve this problem in less than 10 lines?
It's less about the number on the end of the invoice, it is more about the personal control of my finances, and _even more_ about the ability to keep on using a version without risking an update breaking stuff because. Sometimes it's perfectly good to not upgrade. Why should I then pay for a version I may not like, a version which may break the workflow I set up and worked great in the previous major release?
The Quest 3 looks slimmer and lighter in weight, that might be a big win in itself if it is just as good as the Quest 2 (and doesn't regress like the Pro).
The likes of Dubai/UAE/Israel won't even care about any laws passed by the west anyway, so the action will move there. Just look at the sanctions against Russia in London, the London traders simply moved to Dubai (source: Bloomberg).
Usage based pricing?

It sounds like you want usage based pricing where for example, you pay $X for each day you use the tool and then get billed at the end of the month accordingly.

Similar in concept to how AWS bills for most of it's services.
And the most modernist form of art now is AI generated art. Pure form and aesthetic, but no real meaning or intent, like a face in a mirror, something shaped like human meaning but utterly devoid of it, manufactured like so much else of our reality.

Which, ironically, makes it legitimately art. It's art because it's anti-art.
That was the first test. Those who responded went on to the next level, which is goat staring.
O-Nexus | Medior/Senior Firmware Engineer | Haarlem, The Netherlands | ONSITE (hybrid) | €50,000-65,000 (full time) or Contract

30% of CO2 emissions come from buildings and at O-Nexus we are on a mission to reduce this problem for the residential market.
With our hardware and software, home owners can drastically reduce their energy consumption and CO2 emissions without having to change their behaviour at all.
Our hardware is the android of the home appliances world so to say, it is a gateway that can connect to PV, heatpumps, batteries, EV chargers, etc. and control them to optimise energy consumption and production.

We have already many devices deployed in the wild and we are looking for a strong addition in our R&D team as an embedded software in C/C++.
We care about our technology quality and we are proud of it.
In this role you will have a core asset of our technology in your hands, so we expect a lot of autonomy in developing, testing and deploying software.
Our way of working is very informal, flexible and goal oriented. The ONSITE presence is mostly requested to do end-to-end testing. Many work-related aspects are open for discussion.

You can send your CV with a short message about your self to maria@o-nexus.com
Full vacancy at https://www.linkedin.com/jobs/view/3609419261/?refId=Num%2FA...
Apple's Sport Band, i.e. its "basic strap", is $49.

And it's well worth it. The bands I got way back in 2015 are still in great condition and working fine after a lot of heavy use.

As for Apple's stainless steel link bracelet being more expensive? Again, you get what you pay for: superior quality, an ingenious system that allows you to remove each link without any tools to adjust the size, a really wonderful clasp, etc.
Building a Quantum-Safe Future
Rumor has it that it’s double stacked M2
> they can just make it "evidence based homeopathic medicine" and so on and so on

Only if the homeopaths lie about the evidence.
A theory I like is that "modern art" was triggered by photography making a lot of painters unemployed around the 1870s.

So some unemployed painters tried their luck painting pictures a camera couldn't make.
It's psyops all the way down.
The general term is the Post-classical Era.

https://en.m.wikipedia.org/wiki/Post-classical_history
Yeah these are classic quant finance papers, but all in all not super helpful for anything except a basic foundation.
"Quality content" is decided by YouTube's algorithm (viewer retention etc).

So no in the end, the winner of the algorithm is the one creating the "quality content".

Or in other words, if your viewer retention is terrible, it's probably because your videos are just not that good.
That is kinda true, it isn't an expert in anyone field, it is something of a intermediate in all fields. It will offer the most assistance outside of your domain of expertise. In your domain of expertise, it can provide a sanity check and another set of eyes.
I don't know a lot about Pinkertons, is there a good book or a documentary to find out more?

(Or any other "real conspiracies" for that matter.)
My favourite right now is Chicken Scheme. Just the R7RS specification in general; the language is very minimal, yet has basically all you need. And Chicken has awesome C interop and a great little community on IRC in #chicken.
The spirit was the thing was that: 1. explosions are fun, 2. this rock jock hated disco, 3. his fans and other people will pay money to go to a baseball game and see this at a time when not many people were going. It was more of a publicity stunt, than anything politically charged.

Something in the spirit of book burning today is more like banning books in public places, like schools or libraries, under penalty of prison.
I can hardly wait to see when, in the near future, every new LLM may become almost useless.

The OG models were trained on real world, human generated content (for the most part at least). Starting in 2022 the cost of automatic generating "human sounding enough" text has gone to such low depths that I expect it to be pretty much impossible to avoid training any model on text already generated by a LLM.

What will the result of this feedback loop be, I can't tell. It will probably be just an even more generic, corporate speak, bland sounding bla bla bla than we get today, and the level of hallucinations may get even worse.

In a way it makes me happy to imagine that the most dangerous tech humanity ever invented may itself be it's own main obstacle to future refinements.
They certainly do save space on Firefox (with the right config).

In the default setting, there is OS title bar, then a address+icon bar, then the tab bar.

After installing sidebar tabs, you can remove the tab bar with some css, which saves about 5% of the vertical screen space.
If you genuinely think an ML model does not get "contaminated" by the content it is trained with, you should train a model exclusively on Disney animated products and let people download the model from your website, maybe run it in browser wasm to generate images, see how that goes for you.
I feel like "hallucinating" is the wrong word. It is essentially predicting the next word based upon its neural net and training. If this training does not have the right data, it will predict things that are wrong.

While knowing might be impossible, it seems like the model could provide a confidence level and only provide answers that exceed some threshold. It'd be a bit like asking a human "are you sure about that?"

And in practice, I really don't think it is that different. We humans effectively make things up all the time. Sometimes we are well aware of our educated guesses and sometimes we are less aware.

It isn't realistic to expect an artificial intelligence to be vastly better than human intelligence in this regard.
It's not a random person who picked up the name. Nobel established the various prizes in his will to be administered by certain committees and it is one of those committees that added the prize in economics to be awarded under the same criteria and at the same time as the other prizes.

It is definitely notable that that the prize in economics is not one of the original prizes and I would never argue that it is. But acting like there is no strong relationship between the two that one would claim that a Nobel Prize in economics just doesn't exist is I think misguided. There is such a prize, it is not one of the original prizes and does have a different history, but it is strongly related to the other prizes.
Online-only requirement. Such a shame and wasted long-term potential for D2R, D3 and likely especially D4. Compare with Diablo 2 legacy where mods like Median XL are still going strong !

(I guess that they are stuck in a bad place with their games being so popular that they attract a lot of unwelcome attention, but IMHO still not worth it for a game that is much more cooperative than competitive.)
Replying here, crossing over from the other thread.

Where we depart is point 4. Actually, both point 3 and 4 are things I agree with, but it's implied there's a logical link or progression between them and I don't think there is. The problem is the definitions of "outperform humans" and "smart".

Current AI can perform at superhuman levels in some respects, yes. Midjourney is extremely impressive when judged on speed and artistic skill. GPT-4 is extremely impressive whilst judged on its own terms, like breadth of knowledge. Things useful to end users, in other words. LLMs are deeply unimpressive judged on other aspects of human intelligence like long term memory, awareness of time and space, ability to learn continuously, willingness to commit to an opinion, ability to come up with interesting new ideas, hide thoughts and all that follows from that like being able to make long term plans, have agency and self-directed goals etc ... in all these areas it is weak. Yet, most people would incorporate most of them into their definition of smart.

Will all these problems be solved? Some will, surely, but for others it's not entirely clear how much demand there is. Boston Robotics was making amazing humanoid parkour bots for years yet the only one they seem able to actually sell is dog-like. Apparently the former aren't that useful. The unwillingness to commit to an opinion may be a fundamental trait of AI for as long as it's centralized, proprietary and the masses have to share a single model. The ability to come up with interesting new ideas and leaps of logic may or may not appear, it's too early to tell.

But between 3 and 4 you make a leap and assume that not only will all those areas be conquered very soon, but that the resulting AI will be unusually dangerous. The various social ills you describe don't worry me though. Bad governments will do bad things, same old, same old. I'm actually more worried about people using the existence of AI to deny true evidence rather than manufacture false evidence en-masse. The former is a lot of work and people are lazy. COVID showed that people's capacity for self-deception is unlimited, their willingness to deny the evidence of their own eyes is bottomless as long as they're told to do it by authority figures. You don't even need AI to be abused at all for someone to say, "ignore that evidence that we're clueless and corrupt, it was made by an AI!"

Then by point 6 we're on the usual trope of all public intellectuals, of assuming unending exponential growth in everything even when there's no evidence of that or reason to believe it. The self-improving AI idea is so far just a pipe dream. Whilst there are cases where AI gets used to improve AI via self-play, RLHF and so on, it's all very much still directed by humans and there's no sign that LLMs can self improve despite their otherwise impressive abilities. Indeed it's not even clear what self-improvement means in this case. It's a giant hole marked "??? profit!" at the heart of the argument. Neurosurgeons can't become superintelligences by repeatedly performing brain surgery on themselves. Why would AI be different?
All great features, but unfortunately most SQL DBs still miss the implementation of features from SQL:2016 like MATCH_RECOGNIZE. I wonder what's the purpose of an ever growing standard when most implementations only support a small subset of it, and often with nonstandard syntax and semantics
Lightning Labs | Senior Engineering Manager, Lightning Protocol Engineer, Senior Security Engineer| San Francisco | Remote | Full-time

https://lightning.engineering/

https://lightning.engineering/join-us

https://github.com/lightninglabs

Lightning Labs is hiring! We’re looking to expand our team to build technology that'll bring Bitcoin to the next billion people. Our current focus is the development and deployment of the Lightning Network, an open blockchain scalability protocol. We push the edge of innovation with regard to blockchain scalability, privacy-preserving smart contracts, and cryptocurrency UX. If you’re interested in one of the positions below, please apply using our careers page: https://lightning.engineering/join-us. And if you know someone who might be a good fit, we'd very much appreciate any referrals.

{Protocol Engineer}:

Experienced systems software engineer versed in applied cryptography, peer-to-peer networks, distributed systems, open source software, and cryptocurrency protocols to design and implement core protocol and algorithmic components of the Lightning Network as well as the Bitcoin Network. Solid programming skills, experience with Go, C, or C++. Prior contributions to crypto protocols and open source software collaboration preferred.

{Senior Security Engineer}:

Seeking to hire a Security Engineer for the ongoing scaling of our growing engineering organization. This is a hands-on role that consists of devising and implementing policies and procedures around best practices in systems security. The ideal candidate has experience in securing web, Bitcoin, and other public-facing network services, penetration testing, and both automated and manual source code security reviews. Due to the domain in which we work, experience with Bitcoin and the Lightning Network is extremely desirable as is knowledge of the cryptographic aspects involved in this area.

{Senior Engineering Manager}:

Seeking to hire a Senior Engineering Manager to help scale our growing engineering organization. The ideal candidate has experience managing remote teams across several time zones, has managed their own open source projects or actively contributed to such projects in the past, and has high level working knowledge of Bitcoin. Due to the nature of our software, our ideal candidate is also highly technical as we regularly face novel and challenging decisions that require nuanced and comprehensive analysis of related tradeoffs. In addition, the ideal candidate should have a passion for our mission, as well as for Bitcoin as a whole. Candidates in this position will work directly with the CTO to scale our engineering organization, as well as work across functional team boundaries to ensure proper resource allocation, product quality, and team agility.
Nobody is accusing them of coming up with the styles. They just found the emptiest artistic movements with the least to say and flooded them with money and positive criticism.
IP goes such a long way, though. To overtake ActiBlizz on MMO's, for example, you would have to build something 10x better than WoW. And any Diablo game is going to sell a shit ton, even if it isn't good.
that is apparent from your comments.
Whenever I’m flying over an ocean on a clear moonlit night it still very much feels like magic!
Shouldn't it be able to get the XBRL instead of the PDFs?
Perhaps we should say that Monty Python draws on Shakespearean comedy, given the relative times and the fact that we know that most, if not all of the Pythons studied Shxpr.
I would want to see the data by income or other socioeconomic factors, in addition to race.

And it can still be racism in that racism explains economic disparity to a degree. My intent isn’t to absolve racism from being primarily responsible.
Totally usable. Performance degradation differs from game-to-game, but even the worst-case-scenario titles rarely lose more than 20% performance. On my old GTX 1050ti, I was able to play Overwatch through Wine at 120fps (albeit barely). My 3070ti drives the same 1440p@144hz display pretty comfortably, the only thing you'll really be missing on Linux is HDR support.

Getting Linux to work right, on the other hand, is a bit of a different story. It's a painless process on Intel and AMD-based GPUs, but Nvidia drivers are still not as good as they could be. Phoronix actually did a really interesting comparison recently that examines the performance you lose: https://www.phoronix.com/review/wayland-nv-amd-2023

So, overall I recommend it. Use Wayland if you want to take your frame timings seriously, and you probably won't be super disappointed. You might not instantly delete Windows, but it's nice to have options.
Capacitors can die, for example. Anything with a battery backup, the battery can leak and damage components. Electronics are more prone to ESD and water damage than mechanical parts.

Going into the realm of unlikely scenarios, electronics are more susceptible to EMPs.
Actually... It can be a good trait for a candidate to call out obvious bullshit - for which a Zener-test is the perfect meta-test!
> A politician called out publicly

Not a politician but a journalist...

> the following phrase: “Gas chamber for President Duda and Premier Kaczynski.”

... except he wrote it in Polish, not English, using the word "komora" that means both a [prison] cell and a [gas] chamber.

He also clarified later that he meant a [prison] cell, deleted his tweet, and apologized.

All of this is clearly outlined in TLA, which unfortunately you didn't bother to read.
> People want to fit in, it's a survival skill.

I think you're probably touching the root cause, but it still stands to question how exactly people feel they're more fitted by publicly disagreeing with an anonymous person on the internet. I guess it's just a learned action in meatspace that incidentally carries over to the internet where it has no benefit and only detriment? Human behavior is always interesting.
Column: AI craze leaves crypto for dust
Quebec moves to ban planned obsolescence, ensure products can be repaired
Sorry, but something doesn't add up. How is "cheaper credit" created by a collateralized loan exactly?
NY Times' Elizabeth Holmes Profile Is Causing Drama in the Newsroom
Location: Pakistan

Remote: Yes

Willing to relocate: Depends upon offer

Technologies: Backend (Python<Django|Flask>, Golang<Gorilla|Mux>, Php<Laravel>), Frontend (ReactJS, HTML/CSS, Antd/Bootstrap etc.), DevOps (CI/CD, setting up workers for microservices)

Resume/CV: https://www.linkedin.com/in/abdussamit

Email: tayyab.abdussami@gmail.com
I was wondering if you recommended any specific texts or resources.
I'd say I'm the target market, and I don't have a hangup about subscriptions like other comments. I'm almost excited about this, but man, this feels painfully slow. Not like Salesforce slow. But death-by-a-thousand-cuts-everything-takes-500ms slow. "Retool" slow :)

If you could cut some of the animations, or use transforms instead of absolute positioning or something--whatever to improve performance--I'd be down to try it for a month.
I just did the opposite. Bought a low end Mac Mini M2 since I mostly use my main computer to remote into work and I'm mostly just in a Browser, Slack and Remote desktop all day. I figured that I'd might as well get something that uses less power since summer was coming and it's made a huge difference in my electricity usage (windows workstation/game machine power idles at about 250W) and heat generation in my small home office. Now if I want to play a game that's not on my mac I just turn on the Windows machine that's now in another room and then log into it with Parsec. Once I'm done I shut down the machine and I'm back to low power with just the Mac mini.
Generative AI is cool, but ChatGPT is a clear incremental improvement over previous GPT releases, and is not the advent of AGI like many of its proponents here and elsewhere are saying. Hallucinations are an important indicator that the language model doesn't have anything like "understanding" and is thus no closer to AGI than earlier models.
Apple denies surveillance claims made by Russia's FSB
This seems right but I think embedded logic programming in the standard lib is way closer to the right solution than expecting to tackle the appropriate tasks with a separate language. Many programs have a sub-problem that is a good fit for logic programming, but it's rare that it be so well encapsulated it's worth deploying an entire separate language for it.

Having these tools close at hand the same way we have regex and (more recently) PEGs for grammars definitely makes it more likely that people will reach for them when appropriate, and exposure and familiarity to the practices can grow.

I suspect part of the problem is just that minikanren is primarily a learning tool and doesn't prioritize practical ergonomics. I haven't used core.logic but I've used minikanren in this embedded way and it's difficult to do cleanly in ways that have nothing to do with logic programming per se. I may be off but I think it's something that having a high quality professional strength implementation in the stdlib could actually help with.
In medieval England people joked about killer rabbits. Must be a direct ancestor of Monty Python's rabbit - connection!

In medieval England there was a sketch about "Robin Hood, jousting bears, and partying pigs" yet there's no mention of Walt Disney.

I'd say it's a load of hogwash but I'm sure somewhere Becky Ferreira has written about how medieval Britons used to bathe their swine.
Here are three things that well connected Old Money types like: collecting art, being on the boards of nonprofits, and serving in high-level government positions. Not surprising that a Rockefeller might do all three.
I have mechanical watches and an Apple Watch...I swap bands on my Apple Watch almost every day because it takes about 5 seconds. I've swapped bands on my mechanicals maybe once this year, because it is super finicky, the spring bar always launches into another dimension and you spend 10 minutes feeling around on the floor to find it. All while you risk scratching the finish on your watch as you try to push back a tiny metal spring with a tiny metal pick. And that is if you have a springbar tool available, which is the best case scenario.