skysight-inc/HackerNews huggingface dataset:
"Plant-based" does not imply uniquely made of plants as per the dictionnary definition of 'based'. That's an issue with the term, which is fuzzy and aimed at marketing.
Ask HN: Why is the wait for the new iPhone or gadget not as rousing as before?
It used to be exciting in the 2010s to research prototypes and leaks. I waited in the cold for the early iPhones for hours on end. But now obsessing over these things feels hollow and gauche.
I agree. Key management can be learned (but still has to be learned). I think that cryptocurrency made the biggest impact in this area so far.
> I'd be happy to pay a fee to become a member of a community with vetted participants

You better start believing in vetted online communities Miss Turner, you're in one!

It may not be vetting by moderators, but HN's dated frontend definitely acts as a forcefield against many kinds of people.
Shame though that by the time you've gotten your first cross-platform triangle on screen in Vulkan you'd already be finished covering Windows and macOS via D3D11 and Metal, and with fewer total lines of code ;)

(D3D11 is not a typo, unfortunately D3D12 isn't that much better than Vulkan in that regard)
IBM has ILOG as well which is likely a better match for scheduling problems.

Fun Fact: google-ortools was written by the same people that wrote ILOG. You used to have to "bring your own search" when using ortools, which I used to assume was to avoid conflict with IBM. I haven't used it in a while, but looks like there's a one-size-fits-all search algorithm now. I'd be curious to try it sometime.
Huh, I'd've expected that GOFM (Good Old Fashioned Maths) would've been all about figuring out some convenient theories where finding proofs is inherently easy. What's the gap between that and maths as she is done?
I had a look at this just this week. One problem; all the io libraries out there rely on special functionality in the broadcom chips and thus don't work with the knock-off boards. Meaning anything that needs gpio/spi/i2c/serial can't run on a clone board without a code rewrite.
Exactly, ChatGPT has a calculator to compute the math, the calculator with regard to one query may be correct, but to a query specifying that the calculator must be right the calculator to that query will most likely be correct.
Still, it will be replicated, then optimized, and eventually cost pennies to run.

The writing is on the wall.
He he, yeah I've been told off a few times too. Quite militant with the things I care about but sometimes that needs to be tempered and he really does make HN a better place.
Not a Cessna, but...

https://www.ronpatrickstuff.com/

(Actually, I suspect you've probably seen this -- a while back. But, like me, it may be a pleasant little memory, along with the one of that fellow with one in his shed for cooling beers.)
I'm familiar with a different kind of automated theorem proving than the one the article is about, resolution-based theorem proving. I am still very uncertain about the differences between resolution-based theorem proving and the kind of theorem proving in proof assistants, so there is much I don't understand from the "About" page and others in that site (and from previous readings about proof assistants).

For example, this bit from https://wtgowers.github.io/human-style-atp/motivatedproofs.h...:

>> One potential approach to making precise the notion of what I shall call
here a rabbit-free proof is to define a set of "move types" -- that is, methods of transforming a problem -- and defining a motivated proof to be one that can be generated using these move types. The idea is then to design the move types in such a way as to make it impossible to generate rabbits.

I think I misunderstand what are "move types" (is that the same as "proof steps" in other contexts? I don't understand those, either).

If I think about "transformations of a problem", with my mind stuck on resolution, all I can think of is transforming an initial formula to a new formula during a proof, by the application of one or more inference rules. But, in resolution theorem-proving, this kind of transformation can be achieved by successive applications of a single inference rule, the resolution rule. Briefly: given two clauses p ∨ q and ¬p ∨ r, resolution eliminates the contradiction p ∧ ¬p and derives the new clause q ∨ r, then continues until only the empty clause remains at which point the only logical consequence of the original theorem is a contradiction, allowing a proof by refutation. SLD-resolution, restricted to Horn goals and definite clauses is sound and refutation-complete and semi-decidable which is pretty much the best that can be done within a formal system, but the important thing is that a single inference rule, resolution, is doing all this work so the proof is straightforward to automate: even a dumb computer can just spam resolution steps until there are no more contradictions to eliminate. So I don't understand why choosing "move types" is an open problem, and why resolution can't be used to solve it. This is probably a result of my confusion and misunderstanding of what the other kind of automated theorem proving is all about in the first place.

I'm not trying to be smug. I really don't know what this is all about. Can anyone please explain? I'm also probably missing a lot of the necessary background on this.
Ask HN: What are best patterns for events in distributed transactions?
I am amid researching events/messaging patterns to use in a microservice architecture with distributed transactions. The goal is to reliably process events published by multiple services - potentially with different data stores.

We've already decided to use Sagas to orchestrate the distributed transactions, and now I want to find an event framework that complements Sagas well.

For context, we are building an open-source commerce engine striving to be highly extensible. We provide developers with the primitives to create sophisticated commerce experiences and allow them to replace the different domains (PIM, Inventory, etc.) with their own microservices. Hence, maintaining a great developer experience is paramount to us in technical decision-making.

It seems the industry standard is to use a Transactional Outbox Pattern (unless you go all in on event sourcing), but I believe this increases the complexity for external developers building microservices as they would need to understand the outbox pattern and expose one themselves to ensure the events system of our engine is fully functional.

I've been working on a solution that uses a shared cache across microservices to store events in an ongoing distributed transaction - effectively a shared outbox. The transaction orchestrator of the Saga would be responsible for processing the cached events upon successfully committing - or invalidate in case an error is thrown. This solution reduces complexity and boilerplate code for developers. Has anyone heard of a similar pattern? I haven't been able to find anything.

I am curious to learn how others have solved the problem of events in distributed transactions.
Our local library here in the Netherlands is like this. The local archery club practices inside a few nights a week. There is a full court gymnasium, a stage and enough space to seat a few hundred people. There is a coffee bar, pool tables, plenty of seating and even a few books! ;)

The building is open until 11pm 4 days a week, with reduced hours on Friday and Saturday; closed on Sunday. I guess it's no surprise that the website describes as more of a "Multifunctioneel Centrum" as opposed to just a library!
Road to Space: The Struts
The description of the new Barnes & Nobles doesn't match the store near me. Half of it is still a cafe which looks like the last place I'd like to enjoy a cup of coffee or glass of wine. When I walk by the cafe is always 3/4 empty. The article talks about local staff now deciding what books to select to feature prominently. When I went inside my local store 2 months ago the prominently featured books consisted of those required by our local high school curriculum. The store had very few actual books overall especially in relation to the number of puzzles, toys and tchotchkes being offered. In other words it was the complete opposite of what is described in the article. This store is located in a prominent position in the premier retail center in my immediate local area. The type of location you would think B&N would prioritize on making a showcase of their new concept.

I'm left wondering if B&N has turned itself around or is simply riding a wave of post pandemic reading which will crest leaving B&N once again over built and in trouble
In my opinion, cookie banners mean that you have an active choice of whether or not you want any data to be stored in your browser and whether you want to be statefully tracked or just retain basic functionality.

Everyone has a different threat model; but it should be up to us to decide what we want rather than not having the choice.
No it hasn't.

I love lucidrains and he's a bona-fide genius, but I feel obligated to point out this is just code for training a ChatGPT-like model and not an actual trained model you can use.
Sometimes the IP and JS timezones will be the same even when using a VPN.
This x 1,000
Only tangentially related, but the practices of many banks have supported and enabled phishing attacks (5-10 years ago: crazy password policies, prevention of password managers), randomly special email addresses, random phone number verification sources.
Image-and-Language Understanding from Pixels Only
“Angry” Immune Cells in Brain and Spinal Fluid Identified as Alzheimer Culprit
What does "farming forks" mean in this context? Or any context, for that matter.
Would it make your experience as a user better if the data was stored in a schema-less distributed database instead of saved to file? Would you browse it more often? If you had to pay for it, would you pay more money?

Because at the end of the day, none of those decisions matter, and sometimes the crappy, inelegant solution is cheaper and more understandable to the ones running it for almost two decades.
I recently started using an old Fujitsu Primergy s100 1u server with a Xeon cpu. I was supprised it usually runs on moderate load at (self reported) 35W (including two spinning hdds and a max-clocked Google edgetpu). For me this was a pleasant surprise.
Based on the submission title I thought that was about Macromedia/Adobe product :D
And here we see why crypto cannot replace the real money system for mainstream consumers.

Real people reuse passwords. They forget passwords. They accidentally get a virus on their computer. They get tricked by fraudsters.

Crypto's main selling point- complete decentralization- means there is so fixing mistakes, no means to undo fraudulent transactions. Real people don't want that.
And it only requires React when it's gonna be worked on by hundreds of constantly rotating people that need to find where's what quickly. Typically a large corporate setting.
The name of the program for free university and stipend?

It's not a program, it's that under EU law citizens and EU nationals cannot be treated differently. In Denmark university is free, and everyone is entitled to a stipend while studying called SU (can't remember what it stands for).
Thanks to the idea that i’ll own a steamdeck at some point, i am buying hugely discounted old games. Till now i was playing some vendor-locked free games or simulations. Idea of having all my steam library in the future is exciting. Hope Valve won’t go down anytime soon.
Anyway "Fever Is Your Friend" :).
Cf from yesterday : https://www.reddit.com/r/medicine/comments/zwz7t1/dont_worry...
> And because it's not clear how OS schedulers could nicely switch on-the-fly between cores with different instruction set capabilities, it's essentially not use-able.

Couldn't you implement the new instructions (even slowly) in microcode? so they support the instructions with minimal silicon, even if its as slow or slower then other vector instructions?.
Back in the 2010s, Apple used to be the best phone making companies, and everyone used to have them. Getting the latest iPhone was a big flex and was just cool.

Nowadays, there are better or equally good phones (my opinion), and Apple has also increased the relative cost for the newer models. People are really wondering whether they should spend more money to get pretty much the same phone. With more availability of phones and more options, there are just going to be more people who dislike the product/like the product but buy something else.

Additionally, there are still people waiting in the cold for new iPhones, it just may not be you because you have grown as a person and you feel waiting for new technology is behind you.
I don't understand where the bank analogies always come from. Crypto is not a bank. Holding crypto is like holding cash. If you put it under your bed and it's stolen, do you go to the government and complain about reverting the transaction?

If you want a third-party (bank) to secure your cash so you can do that with crypto, but then you're also exposed to the counterparty risk that comes with it. But that has nothing to do with crypto or fiat or whatever. If you don't trust yourself with managing the keys, put it on Coinbase or Kranken, centralized banks. If you want full control, put in your safe, i.e. manage your own key.

There are also decentralized alternatives that offer something in the middle, e.g. smart contract or social recovery wallets.
I feel like Lobsters has better quality discourse nowadays though, due to its much more explicit vetting system. I am not part of that website, yet I love reading the comment section there.
Well. Innovation has slowed down so feels quite natural that there are less “new features” to be waiting for
I created and operated some blockchains in the past. From experience I can confirm this attitude in this gh issue… people do no want decentralised chains where they are fully responsible for their own security. Knowing that if you’re extremely unlucky a pirate could even guess your seed. I suppose it’s also the reason why many users keep their money in managed wallets such as the ones of exchanges…

So… not sure why all the hype on cryptocurrency. It often doesn’t do what they advertise they do, and neither does the market want them to do it…
Blockchain police is on its way, stay still.
Exams Only Universities
Is the solution not sort of easy?

You first ask the ai if the input prompt is nefarious with a yes or no question in a first pass. You don't show the user this output.

If the first pass indicates the input prompt is nefarious. You don't continue to the next pass. If the first pass says the input prompt is okay you pass the input prompt to the ai.

I guess it is computationally costly to run the ai twice, but I bet you would get very good results. You might be able to fool the first pass, but then it would be hard to get useful responses in the second pass.
Ask HN: What was the first database you used back in the day?
What was the first database you used back in the day? My first (I just started programming 10 years ago) was MySQL with PHP.

Looking back, there were so many other options that I missed, but my initial projects with MySQL have taught me a lot about SQL databases.
100% absolutely not what you want, but perhaps what you need - “Gödel Escher Bach: An Eternal Golden Braid” is a metabook if there ever was one.
I've often thought the only saving grace for those learning goddamn English as a second language is that they are spared all this gendered nouns nonsense (that is except for a few special cases).

Gendered nouns, both in French and German, have always been a problem for me. German came later but I recall at school that the beginning of each chapter of my French textbook had a list of nouns each preceded by its article and learning them was a pain. After school I'd sit on my bed bashing my head against the pages of the textbook whilst trying to learn these damn genders, they made no logical sense to me and rules for remembering them had so many exceptions that they were essentially useless. I hated learning them.

German was a whisker easier in that I was in German-speaking Austria when I was learning it so I was exposed to the nouns' usage on a daily basis. For me, the real gotchas in German were its damn declensions!

In my opinion, the only effective way to learn these genders is to be smothered in the language on a daily basis—this way, somehow, one learns them by a form of osmosis.

As already mentioned elsewhere,
Appendix D - The Awful German Language in Mark Twain's The Tramp Abroad is a quintessential summing up of the difficulties a native English speaker has in learning German. It's a brilliant summary, not only is it hilariously funny but also he gives some excellent examples from different aspects of the language such as separable verbs, gendered and compound nouns and those damn German adjectives.

It's a while since I've read it so I can't remember chapter and verse but I'd thoroughly recommend anyone interested in the matter of German genered nouns read his bit on the 'sex' of fishwives and young girls. Appendix D also has some unforgettable comments on the length of German compound words—something to the effect that 'they stretch across the page like mountain ranges' and are long enough 'to have perspective.'

It's a must-read.
I interviewed Full Stack Engineers many times. They usually cannot finish a coding challenge that is entirely frontend. The same challenge for me, it is all about how fast I can type. I can narrate the code and architecture I am writing as I code it

As with everything in life, full stack is a spectrum between backend and frontend leaning extremes. So, my point above is definitely a generalisation.

You might be super-sharp, a unicorn, or a frontend-leaning fullstack developer. It may not apply to you.

Taking this into consideration, there are worse examples of fullstackers too. Ones that don't know of spread operator, or can't type an object without googling first. that is around-or-below a junior-level competence in frontend.

Then there are those in the middle, who won't be up-to-date on how to use hooks, contexts, or be out-of-touch with concept of reducers or state management...but will work at the competence level of a mid-level frontender.
WhatsApp will stop working on the iPhone 5 and 5c on December 31st
He sounds like a pretty cool person! Any chance he exists on social media somewhere, or has a blog? I'm sure he has a ton of fascinating stories...
No idea about the market share, but downsizing shops seems like a wise move.

Rent and/or property taxes and maintenance are massive overheads. Considering that bookshops are no longer trying to have every possible book someone could want in direct inventory, big shops aren't needed for any but the flagship stores.
Support. All Chinese competitors are build and released into the world with no software support.

What you want is retired laptop or thin client with optional arduino clone plugged into USB/serial for low level IO.
Crypto's use cases are mostly illegal.

Ironically, if crypto was stable, it would better appeal to the general public. However, it would lose ground with its current user base.

The paradigm is incorrect. This generation of crypto will all, eventually, fail.
Good piece but it omits some relevant points.

- James Daunt is now CEO of both B&N and Waterstones in the UK. Waterstones is a sizeable business in its own right with over 300 stores and totally dominates high street bookselling in the UK.

- Both B&N and Waterstones are owned by Elliot Management who bought B&N after acquiring Waterstones.

- Daunt only got his chance to run Waterstones after being installed by (now sanctioned) Russian Oligarch Alexander Mamut who bought the chain for $66m. I think it's fair to say this was a significant piece of risk taking as Waterstones was, at best, weeks away from insolvency and probably would have ceased to exist in anything like its present form. Of course, at that point Daunt's model was unproven (except in his own handful of London bookstores).

Here is James Daunt in his own words (from pre B&N):

https://www.youtube.com/watch?v=Sjs2_iAomnc
Yeah I was deleting many such comments from the ripgrep tracker. At some point though, GitHub seems to have gotten wise to it and is deleting them before I can even get to them. (They still show up in email though.)

I agree with others that GitHub's reporting process for this kind of behavior is not great. It's good to make reporting take a few steps for cases involving real humans, but for obvious spamming or trolling, there should be a quicker way IMO.

EDIT: I also just got a phishing email saying "Your github account was successfully signed in to but we did not recognize the location of the sign in. You can review this sign in attempt by visiting the link below."
Everything in life is subject to diminishing returns. Especially obsessions.
That is why I always go to the toilet before driving
First google result says the worlds GDP is 91 billion USD.

First google of (only) bitcoin value is 320 billion USD.

How much theft occur in bitcoin every year? I don't know. It is not insignificant by any imaginable measure though. And the amounts are absolute staggering.

It is a new avenue.
>will find the payment works against their growth goals and remove it

Their mistake is having growth as a goal rather than a happy community.
What's the difference between a phone in 2022 and 2017? Camera maybe? Effectively the same.
To pile on, I was also struck by the potential for a sleep-cancer connection so I checked NCBI and found a meta analysis.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6249821/

“Sixty-five studies from 25 articles were included, involving 1,550,524 participants and 86,201 cancer cases. The categorical meta-analysis revealed that neither short nor long sleep duration was associated with increased cancer risk”

I imagine if a similar analysis was done with rates of exercise, smoking, or hydration, we’d see a notable effect. My position now is that sleep is incredibly important, but perhaps not to the extent made out in the book.
I'm aware crime existed before crypto.
Alibaba Cloud Outage Review
Gotcha Rest Client 1.6.0 Released, All-in-One API Design and Test Platform
The article recommends ISC DHCP. If you want to follow the article please note, that "ISC has announced the end of life for ISC DHCP as of the end of 2022." https://www.isc.org/dhcp/
An intermediate library like Ogre3D, or more full blown engines like Unreal/Unity/Open3D and so forth.

All of them use the platform's API to take advantage of all features, while providing a more high level of 3D programming concepts.
I really enjoyed The Gods Themselves by Isaac Asimov and Walls of Wind by J. A. McLachlan this year.
While many on HN use Linux most of the world doesn't.

And while iOS, MacOS, Windows, Android are not known to deliver exact details of everything you do it is known they send back some "telemetry".

Given the way the world is going, your comment - while true now - may not be valid in 10 or 20 years.
Interesting news given Vietnamese banks are facing a looming credit crunch[0] from stretched retail property.

[0] https://www.straitstimes.com/business/property-crisis-pressu...
This is awesome, any benchmarks on bandwidth so far?
Kea DHCP
Yeah, I don't have a problem with people learning React and maybe creating a project with that sole purpose, but creating a project that could be enhanced by using another library or just static HTML files will save time and resources, which in my opinion are the 2 most essential things in a programmer's life.
A friend of mine clean houses from deceased peoples, sometimes they find 1000's of euros and even Deutschmark...so much for forgetting passwords ;)