skysight-inc/HackerNews huggingface dataset:
> SMT, I don't know much about. It's got nothing to do with Prolog, as far as I know. It's not a programming language, but a framework for boolean constraint solving. I don't know why it (or SAT) is compared to Prolog which has nothing to do with boolean satisfiability problems.

SMT and SAT are certainly less expressive than Prolog (or more abstract systems, like LambdaProlog, Isabelle/HOL, etc.), so they cannot express the same structures/abstractions. However, given any "concrete" query/program, we can collapse all of its structure, in-line/unroll all of its higher-order parts, etc. to get a SAT formula (modulo the halting problem).

The resulting term is usually exponentially-larger than the original; but SAT solvers have become fast enough to handle such giant problems. (SMT solvers are usually wrappers around a SAT solver too)
It does one better. It has zero interruption when your IP changes because it isn't reliant on your IP.
Some people, yeah. But a lot of people only enjoy the game because of complex systems that were added later: redstone, slimeblock machines, building complex farms, gear progression via material and enchantment upgrades, exploring an infinite world, etc. You can go on Youtube and see people who only play those parts of the game. I think it's fair to say that they wouldn't have enjoyed, say, Indev, before those features were added. And Indev, before the infinite world, was already the culmination of 6 months of work on the game! That's pushing the definition of "small game" already, and a lot of people would still treat it as "a cool toy, but not a full game" (I played it back then and remember people talking about it as such).
Are you using 'payment' where it asks you to sign-in w/ iCloud? Cause those aren't the same, and I've never seen a macOS install ask for payment information. I just re-installed on a M1 three days ago, nevermind a macOS user of the last 6 years.
My pleasure, enjoy!
Yes, it democratized access and made everyone a photographer, which also had the effect of nuking the bottom tiers of paid professional photography / stock photos, and turned them into something people do mainly for intrinsic motivations (i.e. as a hobby or as a social activity).

The same might potentially happen with writing, where if anyone can generate a decent original story, poem, advertising copy, product UI writing, etc. in less than five minutes, the lowest and middle tiers of paid writing work will be eliminated.

It’s possible that because these writing-specific jobs were already low value / largely eliminated by the Internet at large, that won’t happen. But it could happen to almost any role that basically involves synthesis and summary of words and data, since LLMs are so general purpose.
I imagine the fuel injectors have a hard time vaporizing something so viscous.

Feel free to put a few quarts/litres of 10W-40 in your crankcase, however.
It also appears that CC BY-SA-4.0 is GPL-compatible. Not a lawyer and this is not legal advice, but it certainly seems like one could operate their own StableLM server/service and allow proprietary code to use it over a network interface, much like one could use a GPL-licensed database system.

https://creativecommons.org/faq/#can-i-apply-a-creative-comm...
I would stop buying from a company that "decides to go public" (for me, it's just code for "we're now OK with whittling our product's quality to make profits for some people that have found a captive market").
Sanctions are greatly increasing the cost of the war to Russia, and reducing their industrial capacity to wage it. Their rate of shelling as been falling steadily, and they are losing armoured vehicles at twice their replacement rate. Their spring offensive was so futile there was actually a lot of confusion about whether they actually launched it yet. They had, and it got massacred.

Easing sanctions would greatly increase the rate at which they could produce military equipment, particularly high tech guided munitions. That would equal more dead Ukrainians.
A criminal human probably can't do a perfect voice impersonation of your teenage kid or frail grandmother who desperately needs to be sent money for some urgent reason.
Taylor Swift didn’t fall for FTX because she asked a simple question
> free slaves of another race

And I forgot to mention that some of those slaves were blonde-haired and blue-eyed with skin lighter than most Caucasians. Maternal inheritance of slavery rule. https://rarehistoricalphotos.com/white-slave-children-photog...
Really interesting article. Maybe not a good idea as a language feature, but certainly an interesting one.

This is my new favorite typo:

(defmacaron . lefts [key & rights]
~(,;(drop-last lefts)
(get ,(last lefts) ,(keyword key))
,;rights))

We're working on a macro proposal for Dart and I wonder if users would like them more if we called them "macarons".
The difference is that a new article carefully chosen to fit your preferences doesn't magically appear on your lap every time you finish reading (or rejecting if you don't like it) the previous one. You also can't swift quickly through hundreds of headlines to pick what interest you the most when you are dealing with physical medias. You are stuck with whatever you brought with you.
Probably had a bunch of domain knowledge left over from https://en.wikipedia.org/wiki/Raising_of_Chicago
There's a stronger abstraction than "generalized macros" and the author of this article missed it.
What sort of pad did you go for? I thought about this but pads often seem low voltage.
I kinda doubt that. Automotive oil will cook off long before it ignites. You need to introduce liquid oil to a red hot object to get flame as a result. The chemical properties that lend themselves to oil that lives a long time in an engine or transmission also result in really high ignition points. If spilling oil could reliably cause a fire you'd see OEMs casting drip rails into things in order to prevent paths direct from leaky gasket to exhaust components.
Yeah, exactly, but to enjoy the small game at that point, I think you need to have an appreciation for small games. I guess it's possible to enjoy a small game as only the core of an imagined larger game, but... it's not how I think about game development, at least.
I've been the person who had to be interviewed just because they had to interview multiple people and I've also been the person who was favored because I'd spent six months (unemployed!) working with people inside the organization to justify finding the funding to create the job and hire me.

That last case was not nepotism but the fruit of hard work which was by no means guaranteed to pay off.
Right, even if you have already set up a recovery key, it will still allow it to be overriden (deleted and replaced) with just the phone passcode. This is completely stupid. Also using a Yubikey is not an option the way it is with enhanced iCloud security.
Pretty soon there are going to be desktop apps for that
i have been a mod for half a dozen for the past 8 years. the general expectation was "everyone is doing this out of passion and everyone is enjoying the result."

why should i bother now? i am doing unpaid labour for reddit and they are no less charging for the time i put in so why should i not be reimbursed?
Sure, I'd need to know all languages in the world to say which are untranslatable or not.

But what I can say is that these languages introduced these words, perceptions, themes and discourses into worldwide discussion.

In Latin-derived languages the English words I mentioned are either directly imported or very new. One example: in Spanish and Portuguese the word "assedio" has appeared as a substitute for harassment. But this is a very recent phenomenon, until recently wife-beating wasn't even a crime in some Spanish/Portuguese speaking countries.
The best response I've heard to this is: Tell me which part of the US you would willingly give up to Russia if it threatened to attack. If your response would be for them to pound sand, why should we expect or want any different for the Ukraine?
Most countries already practice population control through economic incentives. Tax credits, free child care, and other initiatives can increase population growth. Educating and employing female citizens, giving out contraceptives, and other initiatives can decrease population growth.

There's no need for sterilization measures at the moment (even though they have also been practiced for generations). And I would urge you to keep in mind what the actual outcomes of aggressive population control would actually be. (I'll give you a hint: it's ethnic cleansing and targeting the most vulnerable peoples.)
Yeah, I maintained https://homicides.news.baltimoresun.com for a while. Sad but true, there are one or two high profile murders in Fells Point per year, but if you're white or Asian, you are very unlikely to be murdered. It's almost all African Americans in the butterfly. I mean, it's a goddamn tragedy. You can see parts of Cherry Hill where every single block has a victim on it. Just heartbreaking stuff. But for me living in my neighborhood, murder is basically not a factor. Obviously any city you'll have to worry about muggings, but that's city life.
Lawsuits are indeed an interesting way of enforcing the law. Although what I find particularly egregious is when a single party and lawyer is used to enforce the law for multiple people, keeping the payout for themselves.

For instance, Albert Dytch [0] was a party to HUNDREDS of lawsuits, seeking ADA violations for places he essentially went to only with the purpose of finding something wrong to sue for. Why isn't that money distributed across the affected disabled people rather than one guy and his lawyer? The incentives are perverse.

[0] https://www.nytimes.com/2021/07/21/magazine/americans-with-d...
Sure, but the key is how they think about the cheating part.

A sports fan will on average kind of vaguely deny it, but if real proof comes out it just becomes something they don't talk about or they'll pass blame around as much as possible.

A lawyer will deny, deny, deny in every permutation of possible ways. A zealot will both deny and say the enemy deserved it and is worse.
I noticed that as well, but it's not a typo: https://github.com/ianthehenry/macaroni/blob/master/src/init...
So if social media is toxic for mental health, why am I immune? What’s special about me?
good work, looks promising
An important rule of thumb for sniffing out AI bullshit.
I like to think of genes as keys on a piano. But the genome also includes the a lot of the musical score. You can get a lot of different songs with a finite set of keys played in different combinations and sequences and amplitudes.

In this picture, most of evolution wouldn't be changing the keys but changing the score.
There are hundreds of these solutions to consider if you are in the market.
This is not really a valid comparison.

The cellphone is not a compromise for convenience. It allows me to make a living, providing internet connectivity and lets me keep in contact with friends and family. Without it, my freedoms would be drastically diminished.

With software we develop with, we have choices. We can use OSS. We can try to use open hardware. If we are working on sensitive things, we can use an airgapped system with vim.

When you practice these kinds of routines, they are not a burden. Actually, using vim instead of something like vscode increases productivity eventually. It does take a little bit of time.

When we couple our productivity with centrally hosted services, we greatly diminish our freedom to be productive on a wide range of problem areas. I don't say this to brag, it is to maximize all of our freedom.

In my view, most of us SHOULD be working on "sensitive" things. There is so, so much work to be done for the cause of freedom and liberty in software. We need to reserve that capability in us, we cannot let nameless people have an inside access to our expression.
Well, all the problems obviously caused by the lack of an underlining physical model (like the hands thing) disagree. Your comment just says that up to now it has been easier to ignore those problems than to fix them.

But video has much stricter physical constraints than image, so it's not clear we can ignore the problem at all.
> The article makes an impression that "gezellig" is somewhat close to French "savoir-vivre", "la vie est belle", Italian "dolce vita", and maybe even Latin "carpe diem"?

I don't speak those languages, but I don't think those words are an apt translation. The word doesn't really describe a way of life, or the enjoyment of life in particular, it's more of a vibe or an emotional state or an emotional association to a certain place, event, or situation. The English word "convivial" seems to come pretty close, though from the example sentences I can find I still think the meaning is slightly different.

I find it quite difficult to accurately describe my perception of the word "gezellig" without anecdotes of shared experiences. I believe savoir-vivre and dolce vita are similar in that way; there are direct translations, but they all miss some element of what the original meant.
I am getting really sick and tired of the constantly pearl-clutchy "I'm just an AI and I have to be neutral and I can't say anything remotely spicy" bs that AIs seem to be programmed to repeat with almost every single answer.
DNS hijacks aren't as common as they used to be, but Spyware still replaces your DNS on Windows still to get access to all your traffic.
I tried a few of similar apps, and this one actually works smoothly! Good job!
Which I wholeheartedly support.

I worked as seasonal help in a local chocolate and candy factory. Any chocolate not fit for sale for whatever reason went to sheep (and possibly pigs?) It is a good way to lessen food waste.
It translates as cosy. Or, in London area dialect “cushty”.
The testing bit is kind of huge. With most computer UI usability is fairly easy to test and, obviously, failures far less consequential.

I also wonder if the builder also made a faulty assumption that the plane would be flown mostly by experienced pilots in which case they may not have done a great job anticipating edge cases.
This is an entirely class of problems than what I'm describing.
Gist that mostly just takes the notebook Stability AI have in the github repo, and turns it into a script you can run locally after installing a few dependencies from pip:

https://gist.github.com/cmsj/2d6b247ad4fc8f15011105feeda763e...
He's mentioned signing it in interviews. He discusses it here: https://youtu.be/SKoYhcC3HrM?t=1344
I would argue that a rack-mounted chassis with lots of disks is also ephemeral, just less so: most failures in a server can be fixed by swapping some parts, and your data is still there.

But AWS and its competitors don’t have an offering even close to comparable to what you can get in a commodity server. A 1U server with one or two CPU sockets and 8-12 hot-swap NVMe bays is easy to buy and not terribly expensive, and you can easily fill it with 100+ TiB of storage with several hundred Gbps of storage bandwidth and more IOPS than you are likely able to use. EC2 has no comparable offering at any price.

(A Micron 9400 drive supposedly has 7GBps / 56Gbps of usable bandwidth. 10 of them gives 560Gbps, and a modern machine with lots of PCIe 5.0 lanes may actually be able to use a lot of this. As far as I can tell, you literally cannot pay AWS for anywhere near this much bandwidth, but you can buy it for $20k or so.)
If we're showing our favorite novel clock implementations, here's a mechanical seven-segment display clock [0] that is just entrancing to watch.

[0] https://hackaday.com/2022/10/09/flip-segment-digital-clock-i...
> Tons of writers and graphic designers and such are already replaced by Fiverr contractors and other similar cheapo gig workers.

Really? NYT is employing this? What organization is doing this (outsourcing their core competency) and succeeding bigly?

> That would be like the last holdout. A good 90% of websites don't have such quality consraints or reservations.

A good 99.99% of websites don't even matter, are just private personal sites with no product or business attached to them, so I'm not even sure what the assertion is there. Of course there's a power law for quality, impact, profitability, etc among websites just as there is for anything. If someone uses GPT on their personal blog site, that 3 people a year actually read, I'm not sure that's proving anything.

> It's like someone say "AI will replace graphic designers" and someone replying that David Carson wont have a problem. Duh, but most jobs don't go to the handful of David Carson's of the trade (or even anybody 1/100th as famous)...

I don't think AI, even at present capabilities, is capable of replacing graphic designers at any business where graphic design is the core competency. A skilled graphic designer is just going to have their productivity enhanced by having access to AI, and they're going to still be able to perform at far higher and consistent quality than "a prompt engineer". Consequently, however, demand for custom imagery will increase as people realize they can do more than simply add a stock image to an ad campaign.

But just as "stock photo libraries" didn't kill the photography profession, nor did even putting a HD camera in everyone's pocket with amazing filter and stabilization effects...I predict that AI graphic tools will not replace graphic designers.
I would tend to agree. Hate is infectious, love is hard work.
I've been returning to forums, myself. I'll give mastodon a try at some point.

What originally drew me to reddit (10+ years ago) was the dense front page of geek-adjacent content, which I could customize to be made up of communities focused on niches I enjoy.

Reddit's default front page is now more like MSN News, and the content quality of the niche subreddits I found back then seems to have really dropped - especially subreddits like /r/vinyl that exploded in popularity.

Meanwhile, forums like the Steve Hoffman Forum never went away, and maybe have become more of a filtered, high quality niche for their particular brand of content, at the same time those reddit communities grew massively and dropped in quality. If I want to find a great version of a specific album, I can just search the Hoffman forum, and find a single dozens of pages long discussion about it by experts, on a board that requires everyone to put their system hardware in their profile before commenting on sound. The alternative on reddit is maybe finding a 5 year old post with obsolete recommendations, or asking my own question that's deleted by a moderator and sent to a megathread where it will be ignored.

Likewise if I'm looking up a new film stock on Photrio - reddit is a great place to see a bunch of pictures taken on that stock, that were maybe edited, manipulated, overexposed, etc. I might as well just go to Instagram. Photrio will find me a thread where a community of dedicated geeks have studied every aspect in explicit detail and held each other to high standards of analysis.

The biggest thing missing from those forums, I think, is that dense front page effect - the mass saturation of varying content that changes almost every time I visit. But on the other hand, those forums don't have the same prevailing community zeitgeist of toxicity, cynicism, outrage, and knowitall contrarianism. Stepping away from reddit has led me to realize the dense front page created by that community is toxic for my mental health, and what's drawing me to try Mastodon is the idea that I might be able to find a good alternative.

Or hey, maybe I'll just go outside more. The experience has me reflecting on my use of HN too. It's largely replaced Reddit as my go-to 'refresh feed,' but I find myself closing discussions with regularity when I realize they're full of non-experts speculating to each other and tweaking the same emotion-knobs that drove my unhealthy engagement with Reddit. But I think on HN, it's easy enough to learn to just avoid the sorts of emotionally charged threads where that kind of "discussion" occurs. On reddit, it feels like that's every thread, about anything.
In practice, I suspect it will be quite tough for these harnesses to get traction. Repeatedly calling an LLM is expensive and also not deterministic. Depending on the implementation, it may also be vulnerable to prompt injection. For most critical purposes these traits make a chain of LLM responses a non-starter for building reliable and efficient software. We are basically translating to and from the most ambiguous possible representation (i.e. natural language) of a task at every step.

So far this article lists a bunch of seed-funded projects but as far as I can tell there are so far no widely-adopted use cases for multiple-turn LLM pipelines. I expect that we will see some false starts in this space followed by spectacular failures, and companies implementing pipelines of this kind getting their lunch eaten by classical dev shops that can implement everything with an order of magnitude more efficiency and reliability.

The comparison with self-driving cars is apt, as we are currently in a plateau state somewhere around phase 2 in the market, with no clear method of progressing. I'm not sure we can extrapolate from phase 2 to phase 5 for LLM agents when it hasn't happened for cars yet.
4chan's used car buying guide
You don’t need to check everything, every time. (Another case of yours is when you want all types checked.)

Good time for a full check is when new feature is complete. Run all linters, typers, and full test suite, until clear. Then commit and push.
Huh. I don't glue prefab parts when I develop.
I, for one, welcome our new Furby overlords.
how has kdenlive come up in the last year? i remember reading reviews and frustrations from users about losing data from crashes but the team has been pretty active viz fixing bugs so has anyone tested it very recently and is it better or worse?

how is it compared to its paid competition?
I’m somewhere between thinking that a prompt won’t be enough to get it to think deeply/expertly about a limited subject, and realizing I don’t know my weight decays from my gradients.

What I want to do is train for some inputted amount of documentation, sample code, and maybe even interpreter implementation source and then ask it: “Generate lots of instructions to gain elevated access.” Or maybe even: “Generate social media widget site.” But of course, in the given language.
I don't think it's going to happen in the next few years

the prices are gonna drop like hell, but ain't no way we run models meant to run on 8 nvidia A100 on our smartphones in the next 5 years

just like you don't store the entirety of spotify on your iphone, you're not gonna run any decent LLM on phones any time soon(and I don't consider any of the small Llamas to be decent)
Perhaps I didn't word by question correctly, I'm looking to compare capability of Sentence transformers vs. OpenAI Ada-based embeddings relative to their respective dimensionality?
GPT4 32k + some tricks probably fixes that.
I'm not sure how to convince you other than telling you to read the law (or the article.)

That's why everyone is freaking out about this
> Is that even Baltimore then? Or a bubble within Baltimore?

If it's in Baltimore, then yes, it's in Baltimore. Why wouldn't it count? If a foreigner says, "America is unsafe" and you say, "Well, my suburb is safe," can they say, "Oh, that's not America"?
It's probably going to be made illegal, or at least a lot more heavily regulated, any day now. The SEC has indicated that they're not happy with how SPACs are being used to skirt IPO disclosures.
"trained by humans" or "humans inside" (TM) or something
I think there's a very real opportunity for an AI manuscript evaluator. I don't think there's a solution that does this now.