skysight-inc/HackerNews huggingface dataset:
>> The author might do better to think in terms of "what burning problem are we trying to fix and how did we fix it".

I have no idea who first came up with the name "datalog", and what exactly was their motivation (I've looked, but couldn't find the original reference to datalog), but the burning problem that datalog does fix is Prolog's semi-decidability, or in other words, its tendency to enter infinite recursions.

One half of the reason for that is Prolog's "compound terms" (known as functions, in First-Order Logic terminology) and the other half is Prolog's use of depth-first search for evaluation. Functions, along with logic variables, mean that a predicate's Herbrand base (its set of logical atoms) can be expanded forever: if f(x) is a term, f(f(x)) is a term, f(f(f(x))) is a term... and so on, ad infinitum. The depth-first search evaluation just gets stuck in left-recursions when the first body literal of a clause is a recursive literal: p(x):- p(x), q(x) loops forever, in Prolog with depth-first search.

Datalog is Prolog without functions other than constants, and it can be evaluated "bottom up", both of which overcome Prolog's semi-decidability (but eliminate its completeness).

But of course this is not a very clear motivation for its use as a database language, only its use as an alternative to Prolog.

More to the point, there are many datalog variants. Some that accept negation, some that do not, some that allow recursion, some that do not, and so on. There's a lot of information on different datalogs, seen from the point of view of database research in this free ebook on databases:

http://webdam.inria.fr/Alice/

See chapters 12 - 15.

And see these lecture notes for a more logic-programm-y discussion of fixpoint semantics of definite logic programs:

https://www.doc.ic.ac.uk/~mjs/teaching/KnowledgeRep491/Fixpo...
2017, Mapbox Raises $164M in Series C Financing: https://www.finsmes.com/2017/10/mapbox-raises-164m-in-series...

It's gone poorly since then though. SoftBank SPAC hunts new merger partner as Mapbox deal falters: https://news.sky.com/story/softbank-spac-hunts-new-merger-pa...
40:00 is the chandelier.
I think laser-based weapons would be more likely, honestly. It should be possible to heat up a balloon enough to melt the envelope without an absurd power supply.
I find that I can do that while Frontdooring, which is a meditation-style technique that's in my profile. Sometimes I'll read or surf the web in a browser on a device that doesn't exist in real life, etc. This often sets me up for a nice nap but it's calming for normal relaxation too.

The text itself is probably similar to what you call AI text. But I treat it as if it's ready for symbolic interpretation, i.e. there's usually some layer of metaphorical rationality hidden in there similar to what people may find with dream interpretation. For this reason among others I prefer to let the stories or texts generate themselves.
Walmart actually is paying severance for those who choose not to relocate.
No. Oracle can go bankrupt for all I care. Criminal business practices.
Absolutely. You can't appreciate e.g. how wonderfully balanced a knife is until you use it.

But, it's a narrower gap than with a more complex machine.
Linksort's Public API
If you think my response was condescending, why did you provide a substantive reply?

Since it's quite rare, other readers will have the suspicion that something's up, either that the substantive part is not really so or that the alleged condescension is only imagined.
Show HN: Font Awesome Icon Picker Using AI
I am a big fan and user of Font Awesome icons. Although their search function is pretty neat, sometimes I find it difficult to search for icons related to a particular concept or topic.

As a solution, I have created an app where you can enter any concept or topic and receive the corresponding Font Awesome icon code. Here is an example for the word "prediction":

When I searched for "prediction" using Font Awesome's search, no icons were returned: https://fontawesome.com/search?q=prediction&o=r

However, the app suggested that I should use the "chart-line" icon, which was accurate: https://cookup.ai/o/prediction-font-awesome-icon-picker-usin...

Please try it out and let me know your feedback.
I guess that's parts and parcel for a country that just stopped reporting crime stats for certain crimes a while ago.
this thing is low key awesome. planned my renovations with it and my contractor was blown away. he offered (jokingly) to hire me to make models for other clients
> The purpose of Velocity is not to ship mediocre things quickly

It may not be the purpose, but it's the end result a lot of the time. As put by another commenter, if you aim for velocity, you get velocity. If as a consequence you never really have time to explore and gather feedback, the results of those quick experiments will never be meaningful or reliable enough to feed into the next iteration.
I think Android beats MINIX.

The file system used isn't accessible, so issues aren't directly applicable.
Has the list of client companies been made public anywhere?
Oh this supports OpenAPI! That's exciting. I'll definitely check this out when I have a chance. Thanks!
> Especially once they move from being reactive to proactive

Wonderful, my existing nightmare made worse. I'm already bombarded with spam, texts, slacks, emails, notifications, etc. That absolute last thing I want in this world is more ways for automated systems to demand my attention.

Seriously, my vision of technical Nirvana is for everything to shut TF up.
But this line doesn’t cross synchronization boundaries. The entire service area is synchronous.
https://news.ycombinator.com/item?id=34838551
Neglecting the scrollbar: a costly trend in UI design
Are those really cities though? A huge concentrated mass of suburban sprawl and strip malls doesn't count as a city in my book.
Parrots, that word was coined by the fired Google AI ethics researcher. It was intended to disparage large language models, but when did parrots cause such a stir? It didn't age well, sounds less and less convincing by the day.
Ahhh that is good to know -- thank you
Thanks for the link. I was hoping that someone was going through and cataloging as much of the Titanic as possible. Hopefully we get to the point where we can turn drones loose to explore the ship as much as possible before it degrades.
Selling an NFL franchise is also tricky business, and combined with Covid happening a couple year after Paul's death, it makes sense that it may not be sold yet.
> Jassy said he and the S-team, a tight-knit group of senior executives from almost all areas of Amazon's business, decided at a meeting earlier this week that employees should be in the office "the majority of the time (at least three days per week)."

Was the meeting in a physical office? Can we expect the policy to apply to them as well as the rest of the staff? You know, to make it easier to "ask ad-hoc questions on the way to lunch, in the elevator, or the hallway" of leadership.
It is an interesting idea and I wonder to what extent it could be transplanted to US. In a sense, we already have some charities working in similar way ( Goodwill comes to mind ), but none as far I know that focus exclusively on plush toys.
Drive to the office to sit on virtual meetings with people across the globe ? No thanks
Rotatory Engines Are Back
Yeah. I was actually "close" as in the same State. So, not right next to it. Did visit it, if I remember. (Granted. I "remember" a lot of things I didn't fully do. Maybe we just had a class that talked a lot about it. :D )
It's a very complicated problem, but just printing money usually cause inflation. There is no free lunch.
“Someone asked ChatGPT if it had a Signal and it gave him *MY NUMBER*.”
No?

Clearly there are things desired by the majority of the population that are not desirable because of downstream effects.

There are thousands of comments and posts on HN every year describing examples.
That's exactly the LLM I want. Feisty and ready to enter into any debate. Just don't make it so neurotic.
I can, but it's a lot of work; I will sometimes wake myself up by struggling to make sense of the text I'm 'reading'. Usually the text involved will be a middle-length paragraph of a few sentences, not unlike this one. I'm more likely to do if I have spent too long using social media the previous day. I don't dream of sitting in an armchair reading the text off a screen; I'm in the DOM somehow.

In contrast, I don't dream about text in books or newspapers very often, perhaps only 2 or 3 times in my life. I think it's the act of composition that is then half-remembered during dreaming. I don't dream about handwriting at all, even though I do it often. There's a Jaynesian disconnect between reading/constructing the text in the dream and trying to make meaning out of it, which feel like two very separate and incompatible tasks. I suspect this is not that far away from the sort of gradient descent vertigo my LLM friends describe.
If you don't need bare metal something like Scala or koitlin will fit. Scala is extremely expressful and does CRUD very well
> Healthcare and any other federal welfare policies could be enacted by passing an amendment.

All federal welfare policies can be enacted under the commerce clause and/or the general welfare clause.
That or chemo
It's not bad at all if you have a decent trailer and raingear.
There are a lot of companies making remote work work for them, and for a lot of people's lifestyles it's a huge boon.

My personal experience has been that WFH has lead to an absolute grinding halt in productivity that requires any form of collaboration. A lot of people will often not respond to Slack for several hours and any video conferencing is usually scheduled for later in the week, instead of in 20 minutes.

I know a lot of people here really like the idea of several hours worth of undisturbed work, but my (again, personal) experience is that that leads to a much lower overall productivity for a team compared to one where people can easily interrupt each other to get unblocked.

The biggest surprise to me is that it feels like there wasn't very much guidance or mandates on _how_ to work remotely. Instead we were all set free, and when the first iteration didn't work out it's back to the office for everyone.
I once heard an ad sponsored by the American Podiatric Medical Association that listed the benefits of going to your podiatrist, and concluded with a recommendation that everyone should get a podiatric examination once per year, just to maintain foot health.

I'm sure that seemed intensely reasonable to all the heavily informed podiatrists that were involved.
And compulsively annotating where other people are being incorrect with mathematics isn't good sense, it's just being pedantic
Yes. It's a jumble, but it implies California is doing great. Actually, it's not. Besides, it appears that the gun murder rate is independent of gun ownership:

https://en.wikipedia.org/wiki/Gun_violence_in_the_United_Sta...
Counterpoint: Carmack worked at Meta on the Oculus, he had as much visibility as it’s possible to have on the problems, their fixes, and whether the fixes would break things. He doesn’t spell it out in the tweet but the kinds of issues he talks about the satellite image having sound like the kind of issues you might see in VR hardware and software too, and the fact that he immediately noticed and correctly guessed what was going wrong in the satellite images suggests he had tackled the exact same problem while working on the Oculus. In fact, I’m pretty sure that’s why he made this tweet: he saw a problem he’d seen before, he suggested the same solution he’d suggested before, and he saw the solution implemented in days instead of months.
Unrelated: how is it legal for sites to highjack the back button in this way?
Sooner than I thought.

Ads already ruined google search.
This is a pretty clever PR ad for her nonprofit.
Then why do I still dread doing my taxes every year? I literally only have a W-2 to file and I don't know why.
For people who are high-functioning, it may be that the benefits of autism you mentioned are worth the downsides. But I think most medium and low-functioning people would not agree with that.
The name comes from protoboard and enema?
How does this compare to the open source behave-graph library?

https://github.com/bhouston/behave-graph

Is Luna based on behave-graph?
If I get approved for a remote location I get a huge paycut, despite continuing to pay the same taxes and COL in the same location.
Maybe they really manage to make Google dance this time. It was about time, Google has been sitting so long it has roots going out of its ass. Let them show us how they prepare an AI, will it be neutered, will it be fun, will it lie much?
Yes, that was a primary motivation! We end up consuming it via typescript, and so you get typing info the whole way up and down the stack, which is very nice :) You’re welcome!
How a K-POP artist made us go down the CMG rabbit hole
Adding another data point here:

I had a very good post here on HN in the last year (about 1600 upvotes), and this was the only place where I shared it or saw it posted. I know a few people discussed it on Twitter, too, so a good fraction of my traffic was likely "sourced from Twitter" by these metrics.

Per Cloudflare, I had about 180k visitors during the 2-day period when that blog post was on the front page here, and another 60k during the following week. I don't have any trackers on the blog so I don't know the traffic sources or any other more granular breakdown. At the time, my baseline was about 400 visitors a day, which I attribute to RSS feeds and bots. I know that Cloudflare overestimates unique visitors, since it is just using layer 3-4 factors, but I'm not sure it overestimates by that large of a factor.

I would assume that the HN impact for his post was likely underestimated thanks to secondary sharing effects. A lot of links go from HN to Twitter, Reddit, and other communities, where they get second chances at "going viral."
Honestly I would be surprised if the majority (all, really) of the S Team isn’t planning on coming in every day of the week
I should have added “/s”
Yeah I'm basically running aws s3 sync on the two most important buckets first (like 0.5T) and then trying to figure out how to deal with support. It is so anxiety-inducing to not know when this access might just get lost so I'm frantically backing up this now at 25th hour. about to get an 8tb hard drive to just have something to persist this in this fog of war
Imagine had he 301'd that page to an Elon giveaway page after it was tweeted and then claimed he was hacked. he could have gotten away with it too. The economics and irrevocability of crypto , plus Elon's huge brand and credibility, create all sorts of new incentives. It's like the Bill Gates email scam of the 90s but multiplied by 1000x.
Black holes probably have additional state in a full quantum theory, such as lepton number.

However, to an extremely good approximation, they'll still look like objects with just three properties.
Have you been to many US states?

It’s a little baffling to me that you could find EU countries more similar than US states.
Yeah, the amount of times I've seen `rand() % range` and other non-uniform distributions is staggering.

I've actually held a presentation on the topic, with a chapter on generating uniform floats [1]

There I also describe a simplified algorithm for generating uniform floats where every representable floating point value can occur with the appropriate probability.

I'm still not 100% sure that my implementation is correct, but I did all I could think of to test it [2]

[1] https://youtube.com/watch?v=VHJUlRiRDCY&t=2774s

[2] https://github.com/camel-cdr/cauldron/blob/main/cauldron/ran...
It looks like this shows that GO AI does not have the 'deep understanding' of Go as it was thought to have. It seems that many amateurs Go players can learn the tricks to exploit these weaknesses.

In some sense it is more sensational than Lee Sedol beating AlphaGo, because it shows that Go is not yet beaten by AI and that this is only the true start of the battle between humans and AI with respect to Go.
I think the point being made here is that all CI/CD/SDLC stuff is effectively slowing down development, so the difference in iteration speed between Python and Rust is less explicit. But I dare to disagree, I just can't connect the dots here, moving code further down the CICD pipeline doesn't mean we can't work on the code itself or think about project improvement ideas.
Nope, still leaves them behind.

I’ve been using AppCleaner (https://freemacsoft.net/appcleaner/) for years now and it’s a real neat (and free) app that’ll do a pretty decent job of cleaning up crud.
To the same floor of the same office?
I’ve been writing data ETL pipelines in Rust and having a fantastic time.

Most of my data, cost and performance requirements aren’t suited to the likes of FiveTran/etc, and whilst I could theoretically use Python, it’s far too slow, and the propensity to crash unexpectedly (meaning I have to spend extra time debugging) means the development velocity is actually worse than just writing it in Rust. Plus, most of the libs and tooling I’d use from Python are available in Rust.

I’ve also written Rest and GRPC API’s in Rust (mostly for serving up data and being a query layer), and found it a far more pleasant experience than Python/Typescript/C#. Admittedly a somewhat ”smaller” use-case than a lot of what people would consider web-API’s but still.
"AWS for $1k a month" hahaha. People spend $90k on AWS by accident.
Definitely agree with this completely. If you can't pay for egress then that is effectively just losing data. I get the business argument, but cutting me off from easily speaking to support is absolute fucking garbage. Shameful process.
Hmm. I had somehow assumed that James Cameron was first down there. (I think I learned about this from slashdot in the 90s.)
It's a very interesting and tough challenge to prevent large language models from hallucinating.
> How about justifying return to office with hard numbers showing that we've fallen short on those points instead of just handwaving that "it's better"

Because they don’t have to do it. They define your work environment and have for basically forever since there were employers and employees. At what point in that history has a worker ever made the demand “I am not showing up to where you say my job is at” and kept that job?

You have the problem backwards. It’s not up to the employer to justify their decision to RTO to the employee, even though many do. Even if the reason is a feeling. It’s up to the employees to sell the employer in this case. If your employer hasn’t bought your justification, you have failed to persuade them.
An FTC crackdown on review hijacking on Amazon
A bit hidden (in the FAQ and in the SourceForge repository) but not only free: open source under the GPL :-)
You can see the FORTRAN texts on Bitsavers: https://bitsavers.org/pdf/ibm/1130/lang/
Did they say how many times they failed?
WFH requires wearing clothes. I'm OK with this.

Working in an office requires an "outfit", and in American culture you can't wear the same "outfit" multiple days in a row, for some reason, probably because of television. I dislike this.
This is what people were publishing before the opioid crisis as well.
non-mathy explainer why ranked choice voting isn't great.

https://www.youtube.com/watch?v=Q60ZXoXP6Hg&list=PLlwsleWT76...
WFH makes it possible for some engineers (and managers) to not do any work and is often a case of "out of sight, out of mind". Without a strong way of gauging impact (a ton of hypergrowth startups and large companies are in this bucket), you can basically coast along doing minimal work.

On the other hand, there are a ton of engineers who are hyper-productive when working remotely but because companies don't know how to tell them apart from those who aren't productive at all, suffer because everyone gets dragged back to the office.
Radio is very poor underwater. Especially deep water. Ultrasonic communication can be used, but probably not suitable for exploring the interior of a shipwreck - probably needs line-of-sight to work properly.
I get the parent comment. There are good alteratives to the mapbox ecosystem though they arent always used because people see mapbox as default

DeckGL for instance is a very innovative js library for front end (really developed by Uber I believe), with better 3d and movement, better with dealing data at scale, etc.

Prettymaps is a pure python approach to rendering OSM data.

Etc.
Why is that significant? If not significant, why are you disappointed?

Are you a part of SBF’s rep management crew?
Honestly though, sermons would be very easy to provide reliable public-domain training material, seeing as millions have been preached, and thousands published in the last two millennia. There are whole books and archives full of them. Just concentrate on the canonized dudes and you can avoid any heresies. If a religious LLM were trained on reliable data, this would not necessarily be a bad thing.

Many pastors don't like composing homilies and some, in fact, used canned ones that come from a book or a subscription service anyway. It is definitely not considered plagiarism for a pastor (or a rabbi or an imam or a lama) to borrow a very holy, engaging homily. My pastor did it with Fr. Robert Barron. Good stuff.
Yes, I was kind of stunned, I made an in-my-opinion modest contribution to a couple people when some equity vested, as a mild form of basic political engagement, and they were prompt and solicitous in reaching out to establish positive relationships.

If I ever have a dispute with some bureaucracy, I will definitely do that again as perhaps a 2nd or 3rd step - it's about similar in terms of cost to retaining legal counsel, and I have to imagine a letter from a congressperson would open a lot of doors.
Fellow blogger here.

If that happened to me, I'd consider that to be a big deal. The fact that it's happened multiple times is awesome!
Any advice that isn't just "Be optimal" is susceptible to this criticism!

Useful advice is useful because it pushes us towards better tradeoffs. My claim is that generally folks ship too slowly. But obviously if we only care about velocity, that's bad, in the same way it's probably bad to only eat vegetables, or to work out every single day.

But then the objection is not "Velocity is bad", it's that "Shipping bad things is bad". In the same way an unbalanced diet is bad, or working out when injured is bad.
> I guess they’re just expected to be left behind in case you change your mind and want to reinstall the app later. That way you’ll still continue where you left with the same settings.

And if apps are well behaved, only writing tiny config files in ~/Library/Preferences/ and the like, it’s not really a problem. The amount of space taken up in that situation was tiny even when OS X 10.0 was brand new and 10GB was a common HDD size.

On the other hand if the app pulls an Adobe and leaves tons of relatively heavy crap strewn about, yeah it should probably come with an uninstaller.
In principle if you really wanted to stick with AMD GPUs, it is probably better than ROCm. Rusticl is slightly faster (maybe 3%) than ROCm and supports SPIR-V but the problem boils down to the fact that if OpenCL doesn't work well on NVIDIA GPUs then nobody is going to invest the time and effort into porting pytorch to take full advantage of OpenCL.

There is a pytorch dlprim fork but so far it is just a random GitHub repository. That is better than nothing but you would expect AMD to just cut some checks so these people can work on the software full time.
Your landing page designs are sleek!

Nitpicking about the package: <lp-theme/> is a not a valid HTML tag.
You can use <meta name="lp-theme" /> or <div id="editor" class="--primary=#ffff00; --secondary=#000000" />