skysight-inc/HackerNews huggingface dataset:
The Datalog implementation in Racket is neat, but does not support stratified negation nor are the Datalog constraint first-class. Both features make it significantly more practical to work with Datalog. Also, the Flix type system ensures - at compile-time - that all first-class Datalog values constructed at run-time are stratified.

The effect system in Flix is focused on a single effect: purity. It is very fine-grained (compared to e.g. systems based on rows) and it supports effect inference and effect polymorphism. Eff and Unison have richer effect systems - based on algebraic effects - which allow re-interpretation of effects. However these effects system struggle more with effect inference. For example, I believe that in Eff you only have a restricted form of effect polymorphism / the use of higher-order functions is more limited.

(I am one of the authors of Flix)
> I want full control over my device

That’s a noble goal, but I thought virtually all computers these days had some form of TEE?
Cloudflare DNS is having problems in Germany
Also, it's a recommendation, not a rule.

If your SO proves a sociopath, you may be forced into unfortunate measures.
In my current robomanaged investment fund I get roughly 9% yoy. If I had 400k invested I would get annually 30% more than the average salary in my euw first world country and basically never have to work for the rest of my life.
I used to mainly use Telegram but their broken notifications on Android turned me off. If a chat app can't get notifications right, it's not worth using.
You're just bragging about your hardware :))

But seriously, it's great it works fine on bare metal in so many configurations.
How to Get Consistently Lucky
Is there a chance for causal relationship?
Why are you guys obsessed with phonecalls?
> Ditto kay on multiple parallel romantic partners, with a whole larger than the sum of the pieces.

That's pretty much in the same category as "win the lottery and live off the interest"

Many people struggle and fail to achieve one romantic relationship, let alone several simultaneously.
Sorry for the unclear response. 1) We use TerarkDB under a distributed SQL database and TerarkDB helps to store its pages (16KB page), its one of the most widely used SQL database inside Bytedance. 2) We use TerarkDB under a Redis compatible distributed cache system to store raw key value pairs.

Almost all kinds of workloads are here since TerarkDB runs under too many database clusters (each cluster only serves a single application)
Or moral.
I'm not sure whether I'd agree with that. If you look at Shannon and Wiener using Google's ngram viewer, Wiener has always been more 'popular'. They've been getting closer since the 90s, but it seems absurd to argue that Wiener has been erased in any sort of fashion. If anything, it seems that it's in recent times people have started appreciating Shannon.

People have been writing more on Norbert Wiener than on Claude Shannon, and I can only assume that it's mostly in the context of the information age.

To make another comparison: Alan Turing outpaced Shannon in 1976 and is now more than twice as 'popular' as Wiener.
Hi,

This was a thing I made pretty much solely for myself outta frustration for how lazily Metacritic handle their aggregation of this data after going to the effort of collecting all the data.

I scraped the data direct from their pages and then made efforts to sanitize it by writing scripts to pull extra data from other APIs. The original goal was to try an do some data analytics to try and identify some trends on the basis of genres and whatnot over the years (especially comparing how films done in some of the earlier lists compared to the 2010s decade lists) but it moreso just became a tool for me to find some recent films to watch when I've seemingly exhausted every remotely obvious recommendation from recent years.

The UI is a bit of a mess in part because I was playing around with some stuff and in part because it was my first Svelte project so I decided to chuck all the CSS into one file so I could focus on Svelte itself. Doing either one of these would've fine but doing both together was extremely dumb. There's probably some easy fixes I could add in via prompt messages to help guide a new user but I figured it'd be more useful to share it now when people are more interested in these kinds of lists and looking for stuff to check out over Christmas than waiting until after.

Svelte seems really really cool. I don't think this project is anything like a good example of a Svelte project but I will say for a scrappy thrown together thing that got bloated fast, the speed of Svelte has helped cover up an awful lot of cracks.
On the more negative side, for the first while I had a lot of trouble with the life cycle and how updates are triggered. It wouldn't surprise me at all if there's still some nested stuff that just doesn't update.

Please read the home page for my attempts to explain in greater detail if you're interested. And if you have any ideas of things I could do with the data I'd love an excuse to try digging into it.
Please understand that the rust memory and thread security mainly applies to "normal" applications.

In kernel, you can run a privileged cache or mmu instruction or a write to some magical memory position and all the sudden the "normal" rules don't apply anymore.

(But I think there are other parts of rust that are nice to have in kernel or any complex software).
Unfortunately because the media gives such fawning press coverage to IPOs that "pop" the companies also want it to happen. No executive wants to have the IPO that dips on Day 1.

Now if they were thinking rationally they'd realize the extra funds raised from a high IPO price are worth much more than the positive media coverage from a pop, but we all know that people response irrationally to media coverage.
Read more comments.
I always have https://css-tricks.com/snippets/css/a-guide-to-flexbox/ open when I do css work. their guides are very good
Adding to that: effect inference and polymorphism, unboxed primitives, full tail call elimination, extensible records, first-class Datalog constraints, CSP style concurrency, a multitude of different design choices.

(I am one of the authors of Flix)
You can use openmaptiles to create the vector tiles (it is made by the Maptiler guys) and serve the tiles with tileserver-gl (or tileserver-gl-light, if you don't need raster tiles).
Content Intelligence Market Report by MarketsandMarkets
Content Intelligence Market by Component (Solutions, Services), Deployment Type (Cloud, On-Premises, Hybrid), Organization Size, Vertical (BFSI, Healthcare & Life Sciences, Travel & Hospitality), and Region - Global Forecast to 2024
same here. I always install Xfce if I need to use linux with GUI
Telegram Approaches 500M Active Users
Being unable to pick up items that are supposed to be lootable is a constant occurrence. Just earlier I had a quest NPC glitch out and cancel the dialogue options I was supposed to be able to potentially choose from, so they attacked me (as if I had chosen certain sub-optimal dialogue choices). During that fight (which shouldn't have even been happening), I defended myself with a single shotgun blast and that happened to send that NPC flying and .. through a chair... where the NPC then froze in place and became "deactivated", wouldn't fight anymore, couldn't be killed?? I was already going to reload the last save due to the dialogue glitch regardless, but... This kind of stuff is so commonplace, I basically save the game after almost every action. Already have 81 save files. :)
I can't help thinking that reliance on a smaller number of these SuperCell towers will make the network less distributed and therefore more vulnerable. For example, attacking a smaller cell may not be worth the effort for a malicious actor because impact of outage is very limited. It sounds like with SuperCell you can take down one tower and the impact is similar to taking down hundreds of sites.

My intuition may be wrong here as I'm not an expert in cell networks, but the tradeoff seems quite analogous to ones faced in distributed computing, storage and other systems. I'm curious to see some more authoritative opinions on this.
I don't actually use it yet myself, but my hope is that Matrix will eventually be the end of having to care about which app someone else uses. That an incumbent or two will switch, and no new app would gain significant market share with a non-Matrix silo.

I may just be dreaming though. Perhaps better bridges are the best we can realistically hope for.
Today, you would generate vector tiles (thus taking much less disk space) and you can style or re-style them after they are generated.
> Iirc the US version includes YouTube Tv.

No, it never has. YouTube TV is $65/mo in the US, YouTube Premium (formerly Youtube Red) is $12/mo.
I don't think that is true. For example, Java beats OCaml on some benchmarks at: https://benchmarksgame-team.pages.debian.net/benchmarksgame/...

It seems that the situation is not as clear cut as your post suggests.

(I am one of the authors of Flix)
Nobody posts about things that are working fine.
can you contribute to OSM like with maps.me ?
Aren't you blaming the victim of our mathematically flawed electoral system, First Past the Post?

https://m.youtube.com/watch?v=s7tWHJfhiyo

Say for example you voted for
Andrew Yang in the iowa democratic primary. He drops out super Tuesday (IIRC). You no longer have any say in the Democratic primary. If we switched to a more representative electoral system, these people can still have their vote count.

These people could still put Yang during the general election, while still having their vote count for the candidate with the better chance to win.

There is also no reason for our multi state primaries to occur over many days. This ensures the media has maximum influence on the results.
Future iPads could get big boost from M-series Mac processor
When you look at what it was supposed to compete with (good old mumble and teamspeak). The UX and UI make a lot of sense. You where supposed to have a lot of channel since you where usually creating one per game / per team. I remember having channel lol-1, lol-2, cs-1, cs-2, etc, so that multiple team could play the same game at the same time without speaking over each other. Then you had a main channel where you where hanging out when not playing anything.

But discord became so popular, it stopped being used just has a "game voip" service and has a general messaging service. A lot of streamer/youtuber use discord to host their community. I even know some company who switched to it when the pandemic started. And the fact and the matter is that discord was never designed for this.
> even lots of them, would have little opportunity to bounce into each other

Space is vast and has been around for a long time. Improbable events happen a lot more often due to that. The interstellar medium has roughly 1 hydrogen atom per cm^3. You're saying maybe 10x as many neutrons. Multiply that by kiloparsecs and millions of years and those neutrons would most definitely interact.

> I'm not a physicist, but this seems a way simpler explanation of dark matter than "axion fields" or whatever is currently trending.

The reason "axion fields" or whatever is currently trending, is because simpler explanations have been ruled out.

You not only have to explain the rotation curves, but also the properties your dark matter candidate need need.

How did these neutrons get made? How do you explain your over-abundance of neutrons given that the neutron-proton ratio[1] after the freeze-out[2] is roughly 6 protons for every neutron?

Why are the neutrons so cold? Did they start that way, then that's odd since everything else was very hot back in the days. If they're cooling down, where is that radiation and why haven't we observed it?

Why aren't the neutrons decaying? They can't be free, since the free-neutron lifetime is something we've measured[3].

[1]: https://physics.stackexchange.com/a/217357

[2]: https://sites.astro.caltech.edu/~george/ay127/kamionkowski-e... (page 5)

[3]: https://phys.org/news/2020-09-mystery-neutron-lifetime.html
I had kind of the same treatment from a mild injury as I was rescuing a starved kitten from a sewer!@#
At scale, I would opt for a 3PL running logistics. Amazon is earning insane profits with FBA, at scale it is totally possible to not juts meet FBA prices but even getting close to Amazon's internal FBA costs. That would give you quite a nice margin benefit. It would be harder to ramp operations down so Using FBA, you just stop sending to Amazon. That is not counting the overhead needed to manage your "own" logistics.
I once paid for maps.me, when it was a Swiss company before being bought by mail.ru. As it was fast, simple, offline and had no tracking. Mail.ru then decided for a different revenue stream, killed the pay option and added things I don't want, like booking.com ads and travel guides and other things ...

Quite sad, since it was a nice and slick tool, where I trusted privacy and faster than osmand or alternatives.
If you offer a very convenient frictionless entry, you have to offer a frictionless exit.

Otherwise it's way too difficult to interpret it as anything else but a cheap and very sad way to keep a customer. A really sad business practice.
that Compiz WM was so incredible unstable in the first years. I think another reason was that lots of people (like me) lost their hope on the "Linux year of the Desktop". Today I see far less innovation and "dream ideas" on Linux than I saw 15 years ago.
The algorithms are secure.

* The hdd in a phone that is not powered off is mounted. It takes an exploit in OS to pass the Lock Screen or read the RAM.

* The vast majority of people don’t have long alphanumerical passwords. The short pins can be broken.

* Some manufacturing companies don’t handle encryption keys properly. Synology NAS stores the keys next to the encrypted data for automatic access upon boot (unless you change the default and store the keys on an encrypted USB or enter keys manually upon boot).

* There are sometimes bugs in algorithm implementations, especially if a company roles its own crypto with closed source software.

* Sometimes encryption keys are not properly generated. Bad RNGs were a thing for a long time.

* And of course there could be back doors for law enforcement.
I am always happy to read pieces like this that challenges the status quo.
However, I still think neutering should be the norm. Only responsible enough owners should be the exception. Liberty comes with responsibilities which are often overlooked.
Techies generally like kush, not powders...swing again.
I wonder what sort of due diligence is done on the business practices of these small brands. There are a LOT of scams on Amazon and to succeed in the marketplace many brands have to be willing to do some shady things (buying reviews, swapping listings, etc).

At a small scale these scams are probably not worth it for law enforcement to worry about. But if a hundred brands are rolled up into a conglomerate, there's going to be a lot of scams under one roof.
It looks like some recommend meditation. But you have a kid, and this could be more fun: https://www.youtube.com/watch?v=LX4SYxdJxko

The system was designed and supported by pediatricians and psychologists.

The short of it is to put yourself in a room with a child, bring a few toys, and sit there for 10-20 minutes. If you have other children, put them elsewhere. Let the child lead you. Don't guide them how to play. Just watch and wait, and resist not helping them.
What did you find wrong with them? In my experience, Telegram's notifications worked better than any other app on a phone where Google Play Services was replaced with microG. I wish more apps would see how they're doing it without killing battery.
The ratio of bad to good posts has always stunned me too. But for the opposite reason.

The linked post explains that there is a performance regression in a very rare and specific usecase: creating 100k files in a short span of time. And I'm not talking about unpacking boost, that's not enough files.

Additionally, it will be fixed before any distro packages it. (even Arch is still on 5.9.14.)

On the other hand btrfs got rather impressive speedups for fsync
https://www.phoronix.com/scan.php?page=news_item&px=Linux-5....

Why are people making so much noise instead of just reporting the bug upstream when stuff goes wrong with btrfs, and why do we hear so little about the positive impact of new improvements. Almost like the people behave like customers of commercial operating systems. :-)
Imagine a society where 99% of work is done by robots/AI...
Ffmpeg is a command line media editor. So is this just some graphical frontend?
Wouldn't accessibility software back then have been able to deal with table based layout, considering most websites were constructed that way?
I sincerely hope you are joking but I realize this mindset is quite common these days, so let me reiterate: Rust does not magically solve problems for you. Btrfs has a lot of issues and some of them may well be of the not possible in Rust sort, but I'm quite sure most of them are not and there is nothing Rust can fix about them. Rewriting a 13 years old and very complex thing in another language is a massive effort and a big opportunity for introducing some more, possibly worse bugs along the way.

EDIT: also see panpanna's comment
It may seem counterintuitive, but being able to cut your bills down like that is often a privilege. Poverty is a trap and it is hard to move somewhere cheaper when you don’t have enough money to buy a car. You can say “don’t spend your money” all you want but when money is tight you make concessions on things, and it usually leads to higher costs down the road. Cheaper products have to be bought more frequently. Bad cars bought break down sooner. This leads to debt trouble as you borrow from your future to pay for expensive costs now, leading to more fees later. The best money management still can’t predict the unexpected and when you’re barely making it month to month even the slightest setback can have rippling consequences that roll you deeper into debt.

It’s really easy to say “just move and stop spending your money lol” but it really is often more complicated than that.
They are agressively trying to bump it up every year. Last time to 18.36 EUR monthly [1]. They always demand more money, then overzealously and agressively collect existing fees. In many EU countries 18 EUR monthly pays for 200-800 MBit FTTX with no data cap, anyone living in Germany gets copper DSL and Tatort.

[1] https://www.morgenpost.de/politik/inland/article231206434/Ka...
Is there a reason why all the OSM alternatives on iOS (like maps.me, osmAnd, mapout, etc.) require you to download the more zoomed in maps?

I think being able to download is a nice feature but I don't often need it and would like to use an OSM-based alternative to Google Maps and zoom into any city without having to download it first.

Like: "Where was that place in Lisbon?" - "Lemme check... oh I have to download the city, one sec..." [Adding another few hundred megabytes that I will not need for a long time]
Yes, it's 1440 KiB, from 2880 512 byte sectors.
This is a key point and I'd love to hear someone's thoughts on how you build an app with this framework that's snappy even on a high-latency connection.
Does the F-Droid fork have an app store version? Author did say they used an iPhone.
Potential benefits I see are procurement, which would become cheaper. Logistics, which would become cheaper at scale not using FBA but things like Amazon's Seller Fulfilled Prime or Dropshipping. Also marketing could be centralized. Still not sure if a conglomerate like that would still be nimble enough at things like product selection and so on.
I took my three-year old, intact bearded collie for a walk where we met a couple with a spaniel bitch. They carried on walking, and about 10 minutes later (when they were a good distance away) we let ours off the lead. He raced off towards them at high speed, which is not unknown for him but largely under control these days. We eventually got him back and (almost as an aside) the owner of the other said "ours is in heat at the moment." Could have warned us pal, we'd never have let him off.

About eight weeks later, I took him for a walk along the same canal and let him off. Rounded a corner where he'd got a bit ahead, and he was just gone, disappeared without a trace. I started off as quickly as I could down the canal, passing various people who (as if it were some kind of joke) said things like "oh yes, going very fast that way". Eventually, got him back because a cyclist had the common sense to apprehend him and wait for me - "my dog does this all the time." This was after almost a mile, so the dog hadn't been hanging around.

Beardies have a reputation for going AWOL, but on this occasion I can only presume he had some memory of that fine young spaniel he'd pursued previously, and decided to rejoin the chase. I haven't been back there since. Have considered getting him neutered but we basically like him as he is and have learned to be super-careful at any time. Helps to be warned if someone has a bitch who is likely to be especially interesting at a given time, most owners are good about it but a few just don't seem to understand.
Can you elaborate on this?

>We are planning to define division by zero as yielding zero

Is there a non mathematical reason for that choice?
It's remarkable that the only serious competitor to SpaceX is China (everyone else will perpetually lag). They have the budget, the iteration pace and will to catch up. If the US wants to get back to the Moon or go to Mars before China gets there, it's entirely on the shoulders of SpaceX to get us there. Much respect to China's accomplishments in this realm. The Russians are broke. I don't know what Bezos is doing with the $10b in cash he has raised from AMZN share sales but it's unlikely he's going to push Blue Origin to go a lot faster (gradatim ferociter and all that). ESA will keep moving along at its fixed institutional speed. JAXA ($1.5b) and ISRO don't have the budget to get there. It's down to SpaceX (big assist from NASA) vs China for the new space race.
I realise this is an area where exact data is probably not available, but this site [0] says 41.49% of the workforce were employed in agriculture.

I've also seen a few pages claiming it's 60%, would like to know which source is more authoritative.

[0] https://www.statista.com/statistics/271320/distribution-of-t...
Telegram's notifications are the best among all apps. It works perfectly. If you view a message on desktop, it also removes the android notification.
> The only difference I see from your description is that in Germany it is not the media following the politics, but rather the politics following the media.

It works the same as everywhere. The state is reliably broadcasting a constant stream of press releases and other information. If you're a journalist, that's a good source in your day to day work.

GEZ does not change that
Icons are trivial to change in Linux. If you preferred the Tango icon pack then just set the icon pack to Tango. There are GUI utilities to manage this for you too.
You can’t turn a low entropy key to a high entropy one by deterministic operations. It’s theoretically impossible.
Officials seize 27k artifacts looted by a single French treasure hunter
>Cooking is useful, rewarding and attractive.

Not so much if you don't enjoy it.

I love cooking occasionally. For example, I will spend a week trying to perfect a dish I just learned. I do it over and over everyday, trying different ways and failing until I make it great.

But for most of the time, I'd rather not have to do it.

>Just be aware that it's rather expensive in the long run.

True. But if your time is valuable, it's much more expensive to have to spend all that time in the kitchen.
It's worth noting that he became rich by being a minitel pimp. He served prison for this.