skysight-inc/HackerNews huggingface dataset:
You can do this with the tagless-final encoding, which has a similar flavor to Data types à la carte's concept of open data types. As an example, define

class ExpSYM a where
add :: a Int → a Int → a Int
lit :: Int → a Int
class MulSYM a where
mul :: a Int → a Int → a Int

Now suppose we extend with booleans and so on. We can freely combine addition and multiplication. As we add new data variants, old code need not be recompiled. We get the openness of OOP's class extensions with the flexibility of ADTs.

ex1 :: (ExpSYM a, MulSYM a) => a Int
ex1 = add (lit 3) (mul (lit 4) (lit 5))

Not enough space here but you can also pattern match over final terms and interpret them in different ways (e.g. CBN vs CBV interpreters).

Then as you go through your compiler pass you can see through the types that "capabilities" get reduced more and more until you reach some base language (sounds like free monads doesn't it?).

Tangentially if I were to design an FP language I would use tagless final for everything, and deforest as much as I can (if possible) to reduce overhead. How this affects other aspects (e.g. automatically translating pattern matching) I have not looked into, but it's interesting nonetheless.
The imgur link doesn't work for me and I'm running Firefox with JS disabled.

I just get a text saying:

If you're seeing this message, that means JavaScript has been disabled on your browser, please enable JS to make Imgur work.

EDIT: I've disabled showing the referer in Firefox and the link works fine now. Imgur must be looking at the referer and redirecting when coming in from outside the website.
Any kind of statistical modeling that doesn't fit neatly into an existing "one (meta)model to rule them all" framework such as generalized linear models.
I agree with the other comments about the article being difficult to read. But kudos to the author for taking the time and effort to put their words into practice and attempt to make an interestingly designed piece of writing.
What kind of problems does Stan / Bayesian inference beat the much more hyped Tensorflow / deep learning approach?

Often you hear that deep learning is best at unstructured data (images, sound and recently raw text) and boosted trees / XG boost for tabular data.
How Much Does It Cost an App
Oops: forgot politics. How could I.
My guess is this (compared to ZFS): With a CoW-file system like btrfs you have to problem that you need new file system space to delete something. This is problematic if the file system is full and you want to be able to write to it again by deleting something. ZFS solved this by just saying one can only fill a file system to 90% usage. At some point they even decreased this (during upgrade) and I had the issue that I couldn't write to the ZFS file system because this was lowered.

Btrfs tries to fully use the space and gets all the associated complexities. Additionally, because data/metadata ratio is not fixed one can get into situations where the file system is full and there is no more metadata space.
For every action it needs to carefully check if there is enough space to actually perform the action even if the file system is nearly full. Improvements in this area caused this regression.

And no Rust wouldn't help. How often do you get a kernel Oops, dead lock or memory leak? Rust would help with those.
Turing ded
I carry a small 'rite in the rain' notepad and a collapsable (Lamy Pico) pen in my back pocket at all times. The paper can get wet without problem which makes it durable enough to carry everywhere without worrying about the conditions when I need to add a thought. It is my most reliable thought storage mechanism.

It's taken me years to settle on this system as an optimal ADHD memory prosthetic.
And I'm not even ashamed!
You're a shitty grandson, why not just configure your DE so that browser launches on startup?
China don't even need to have its launch vehicles reusable to be commercially competitive.

The cost of hardware is probably just few percents of the cost of running the space programme itself.

And on top of that, China is the heavy industry supergigant.
Wasn't DFS created to mitigate this: https://en.wikipedia.org/wiki/Dynamic_frequency_selection

Been used in a few countries fine from what I know of and I live near Heathrow airport and use it to no ill effect. Though don't have the details of what bands they just opened up and how they compare with other countries and any impact.

[EDIT ADD]
Whilst looking this document had a nice insight into the middle band usage globaly https://mma.prnewswire.com/media/1136543/5G_Mid_Band_Spectru...

Page 5 has current regions bandwidth assignment in that block and does seem that from that the USA is slow compared to other countries in assigning that band for consumer usage.

Page 6 has a nice visual showing the use/proposed use comparing regions - most insightful.
Actually, that’s what the „new“ MAPS.ME does - it’s just a wrapper around Mapbox, which is based on OSM and you can use it online.
Probably because they are lying worker/refuse to hire more:

https://www.beckershospitalreview.com/finance/financial-fall...

The cited reason:
'Lower patient volumes, canceled elective procedures and higher expenses tied to the pandemic have created a cash crunch for hospitals'

I wonder if the lockdown/stay at home order has something to do with it...
I care less about national-level conspiracies and the deep government as I do about my alma mater.

Harvard, as far as I can tell, was pretty straightforward. MIT lied and covered up. Whatever dynamics apply to MIT certainly apply to Harvard.

That culture extends way beyond Epstein. If a well-connected researcher fakes research, everyone signs an NDA and moves on too. That has no national level dynamics.

I'd just like an honest MIT back. And I'd like to be able to trust all the elite schools. Yes, once in a while, man in black suits might sweep in and classify something, but that shouldn't be the modus operandi.

And in this case, I don't think MIT was nearly important enough to have been bullied by anyone. As far as I know, MIT was protecting its senior officials, not anyone else.
Apod: 2020 December 23 – Jupiter Meets Saturn: A Red Spotted Great Conjunction
Fundamentally, if the Supreme Court took that position I can see how it makes sense. It is unreasonable to sue someone to go on a fishing expedition to see what they might have done wrong.

Realistically, the constitution lost most of its staying power a long time ago. The judiciary can't actually stop the rest of the government if it is united on launching a mass surveillance program - and the evidence suggests there is bipartisan support for it both between parties and between the executive and legislative branches.
a broken clock is right twice a day, in his case he is right about once a decade.
>Why don't just send them a letter and block their debits on your account?

Bell Canada and other big Canadian corporations have direct access to credit report records. If not paid, they will spoil your credit report. A credit report is essential in Canada for things such as credit cards, mortgage, car loan, and sometimes even for renting an apartment or home. With a poor credit report score all this would become more expensive or even unavailable.

Customer service provided by large corporations in Canada is sometimes absurdly poor, but you can't do much about it because there are simply no reasonable alternatives.
Why is the Option[Int] "worse"?
It’s published under the name Windy Maps globally. Yes, it’s a great app, but there are still no trashcans and no ability to contribute back to OSM.
> "Growing up, my parents never, ever, ever replaced a thing that was working. The only time you were allowed to replace a thing was when it was irredeemably broken."

That just sounds like common sense to me. Why replace a washing machine that still works just fine? For some gimmicky features or a shiny modern industrial design?

I fall firmly in the camp of not replacing stuff that works, clothes that still fit and aren't worn out, anything that still serves its purpose. Obviously I will repair or modify things to the extent of my skills to keep them going, clothes and computers are what I'm best at.

My TV is a 42" LG LCD that I picked up for $20 ages ago when my company was moving to a new office building. It works perfectly, supports 1080p and the picture quality is good after the usual adjustments I would have to do on a new TV anyway. None of the new TVs I can buy offer any real tangible improvements that make them worth the additional cost.

Sure, when this TV eventually breaks, I'll probably replace it with one that's slightly larger, 50-55" would be ideal for the space I have on the wall. But there's no need to rush that upgrade.

Consumerism has broken people's brains, they're stuck in an eternal loop of trying to keep up with the Joneses, never happy with what they already have. It's unhealthy and wasteful.
Google told its scientists to ‘strike a positive tone’ in AI research
Merges are definitely not the point of dvcs...

To avoid writing a treatise, I’ll just point to the advantages of distributed over centralized on Wikipedia, which is a list of stuff completely unrelated to merges.

https://en.m.wikipedia.org/wiki/Distributed_version_control
My issue with these copyright strikes on streams is: who will actually watch a stream just to listen to a song played in the background of a videogame with all the game sound effects and dialog and streamers talking?

It's the worst listening experience ever. It's much easier to just go to YouTube and listen to the song uploaded by an official channel.
Don't trampolines allow TCO in any language?
He also could easily avoid the direct fine by having a driver drop him off and idle outside, or just not directly own the vehicle in question.

The point of raising the price accessing any shared asset is to optimize usage of that asset. Otherwise you end up with private enterprises like non-street parking lots eating the profits with nothing going to the rest of the people.
Words can't describe how much I love Mapy.cz (a Czech person here).

I wonder if there are other high-profile cases of a national map provider successfully competing with Google or Apple maps.
Pretty funny that he says that about one of the most mature and well-behaved communities on the internet.

I guess everyone who disagrees with him is a troll.
The problem is that the current downturn is artificial and wealthy people are behind the wheel, who happen to have assets to either buy the nice falling businesses or let them sink so there is less competition for their big cos.
CSS sucks and I don't think I'll ever be convinced otherwise.. it's just a mess of tricks you have to remember. The people that do spend time memorizing the tricks turn around and say "hey! look! it's awesome" but that doesn't convince me.
There's something rather Monty Python about it.
It requires JS because they designed it this way. Is a thread discussing the language the place to solve/change this?
> Is any software ever finished?

Yes. When it does what it advertises, properly.
The Digital Markets Act: ensuring fair and open digital markets
I find this contractor mindset amusing from personal perspective.

I've consulted to a company for ~6 years which has gone through some pretty huge growth. Until recently I felt was one of the guys helping the business and just happened to have a finger across several companies in non competing industries.

Now the growth is on and 'corporate employees' are joining mid size success corp. As a consultant so many treat me as second tier as though signing that full time contract changes something. Is strange how that status changes peoples behaviour.

Also amazing how much meetings took over and people there for the sake of it are involved in everything. Changed incredibly in 18 months when the money was rolling in and headcount opened. A bunch for the better but also incredible how much bureaucracy came in so quickly.
I seem to be in the minority but I really dislike this type of sugar. I find that it always makes code harder to read because you can't disambiguate what the code is doing without some heavy context, and changes to the class can profoundly change the way the code is behaving without triggering as much as a warning.

For this same reason I really dislike that in C++ you can just implicitly drop the "this->" to target class members. You can never tell at a glance what "foo = blah" does if you don't know whether "foo" is a member of "this" or not.

I think your page demonstrates what I mean in the "nested WithStatement" example:

Foo foo;
Bar bar;
Baz baz;

f(); // prints "f"

with(foo)
{
f(); // prints "Foo.f"

with(bar)
{
f(); // prints "Bar.f"

with(baz)
{
f(); // prints "Bar.f". `Baz` does not implement `f()` so
// resolution is forwarded to `with(bar)`'s scope
}
}
with(baz)
{
f(); // prints "Foo.f". `Baz` does not implement `f()` so
// resolution is forwarded to `with(foo)`'s scope
}
}
with(baz)
{
f(); // prints "f". `Baz` does not implement `f()` so
// resolution is forwarded to `main`'s scope. `f()` is
// not implemented in `main`'s scope, so resolution is
// subsequently forward to module scope.
}

Wi

I get that sometimes it can cut on a lot of repetition, but I think I would be fine if the syntax was more explicit while still avoiding repetition, for instance:

with (some_object) {
.some_member = 1;
.some_other = 4;
not_a_member = .some_method();
}

And beyond that make it non nestable (i.e. only the first level of "with" is taken into account) to avoid the situation above with complicated overloading.

In my experience that would account for 99% of uses of `with` while making the code a lot more readable without requiring a lot of context to make sense of it.

Although frankly even that might arguably overkill, for dynamic languages or ones with type inference you might as well just do something like:

{
let v = &mut some_annoyingly.long.thing();

v.foo = bar;
v.baz();
}

It's almost the same amount of typing and you don't need any magic.
At least this compiles to bytecode, so more interopabe with tons of libraries and Java tools and infrastructure by definition.

There are lots of different goals and tradeoffs...
"The Earth 2 trading platform, Phase 1, is now live. This trading platform allows people to search, claim, purchase or bid on any piece of Virtual Land around the world! You can also name the land you purchase and the land you own will be saved for you permanently as future phases of Earth 2 roll out.

Land price will fluctuate based on supply, demand, potential and real life trading prices. Virtual Land in Earth 2 is one of the most exciting digital commodities in the world today and the earlier you buy the greater chance you have of making larger profits and returns on property in the short and long term."

lol.
My opinion is that it costs nowhere near that absurd amount. People who pirate stuff most likely will not buy the content anyways. It doesn't cost them anything if people don't want to buy their product.
Unpopular opinion & OT: Synchronous communication (eg. calls, video calls, real meetings) with more than two people rarely add value.

Edit: Dear Downvoters, it's ok that you downvoted as it was expected but please share why you think different and give examples what value a 2+ meeting adds
>And then OSX refused to upgrade to the next major version because the ssd was partitioned.

Apple pretty clearly don't mind you partitioning the SSD because you need to do that for bootcamp, which is supported (for Intel Macs at least). I'm not sure exactly what issue you had, but it's not a case of Apple saying "no, you can't do that".
Yes, what their doing is basically using a randomly generated key per device combined with the user generated key. So, it becomes a question of extracting the hidden key from the device or using the phone to brute force the decryption.

However, without that key an attacker is stuck trying to brute force Apples high entropy key, which causes some confusion.
In that it's a totally different language?

FP and JVM doesn't mean Scala.
This C-band frequencies sale has been in discussion for a few years, it should not have been a surprise to the aviation industry
I'm not convinced. Literally none of these 3 bullet points are problems with plain HTML since at least 1993 or so - it's responsive by default, incremental by default and user agents are free to zoom in or out at will by default.
I like this page: https://www.taniarascia.com/overview-of-css-concepts/
As someone who doesn't know much about telecommunication tech, I have a hard time understanding how this happens. From what I've read, the frequency of 5G doesn't interfere with the C-band, as the C-band is 4-8 GHz. This is between the ranges used by the mid and high band spec of 5G.

So why do they auction off "parts of the C-band", and how is it connected to 5G? I'm sure I got something wrong, just curious what it is.
Would love to see a plugin for NextJS
> If it feels like too much effort, use a horcrux only for the most important logins - your social media, bank accounts etc.

In what world is my social media account more important than bank account?
@jorkadeen since you're here: the landing page's two-column layout doesn't work great on mobile, you get two columns that are like 2-words wide:

Recent | Bread-
News | and Butter
| Functional
2020-11-20 | Programming
We are on |
Twitter! Find | Flix supports
us at | basic building
@flixlang. | blocks of typed
| functional programs

(Android, recent Firefox)

it'd probably be good to switch the divs to `class="col-xs-12 col-md-6"` or equivalent
I mean Sony and Microsoft also buying the components from CPU to GPU, that's not even the point
>Meh. I've think Option is just null with extra steps.

Well, the same way sex is masturbation with extra steps. It's all about what the extra steps add.
How I attempted to outcompete JavaScript frameworks with simplicity
Covid-19 Crypto Tracker
Sorry I failed to mention that things were much better before the update. Sure the fingerprint reader goodix never worked but the things I mentioned above are regressions. I’m all in favor of wayland but if we say we remove existing working features (fedora 32) because security or whatever we might as well wear tin foil hats and stay away from computers.
As recommended by others, mapy.cz is an excellent app/offline renderer of OSM data. Don't be afraid of czech website, the app and map data are international.

Download links for app are here: https://en.mapy.cz/zakladni?x=15.5833000&y=49.4000000&z=11&m...
Additionally, the fragmentation of streaming services just creates inconvenience and resentment among the users for having to subscribe to N different services to consume media.

I see it happening with digital game stores: my friends refuse to buy anything outside of Steam. It goes as far as not even getting free games from Epic, Ubi or GOG, because they'll have to create another account in another service.
Probably because you haven't enabled their repository; it isn't in the default one yet.

Still, the main point still stands: being in there wouldn't solve the problem of keeping Google Play users up-to-date.
I don't think that's accurate. Sampling based approaches scale badly with data so, although there are a few exceptions, if you're tackling the problem as a hierarchical Bayesian model - which is most often what Stan is used for - you're working with a dataset with a small number of features and fewer than 10k rows.

Stan fittings can be made parallel, some models will scale linearly with the data, but in the main you won't find many big data use cases here.

You also can't use Stan for online learning.
I am generally not meeting anyone face to face except for family members with masks on so it hasn't been an issue.
Always a Moleskine in my bag, carries my to-do list, but mainly to note down ideas and the-strange-things-people-say-in-the-pub. Each lasts 4-5 years.
Hi, is it available in your public github repo?
Novichok Nerve Agent Poisoning
Any rewrite must be carefully evaluated, true. And it may not be advisable. I'm trying to understand the issues.

Are they not solvable because the kernel does not give enough guarantees as it gives to userspace, because the c-interfaces of the kernel have to be wrapped in unsafe or because of other reasons (architecture, data model, kernel constraints, ...)?
You need to buy one for every place and some don't have the level of details you’d get with a digital map. Also, they’re quickly outdated.
If you're hiring for anything other than a Junior position why would the company have to train you up for a year?

It seems odd that there is an assumption that an employee can't provide value within a year.
Thank you for posting your experience!
ZFS is great for storing data. It's very unlikely it will lose your data when using ZFS.

It does however require a bit of care to maintain performance, and you need to know your expected workload going in. Otherwise you can find yourself in a situation with a very poorly performing pool where the only realistic route to recovery is a send/receive to a fresh pool and back.

If you do not have a lot of sync workload (VMs, DBs) and don't have super-high performance needs, say a home NAS, then mainly you just need to think about not filling up the pool too much.

A nice way to do this is to create a root dataset where you set a quota to say 75% of capacity, and then create all other datasets below this one. You should not go above 85% space usage, as ZFS switches allocation strategy then to one which can significantly increase fragmentation.

If you do have a lot of sync writes, a SLOG device is basically mandatory. The SLOG device does not have to be large, it only stores about 5-10 seconds worth of writes, so 10-20GB can be plenty. I've partitioned up my SSDs and created a mirror out of two small partitions, using the remaining SSD space for other things.

One thing to keep in mind is that while an L2ARC device sounds like a great thing, depending on your configuration you can actually slow things down with one. A bunch of disks has a lot more bandwidth than a single SATA SSD. An L2ARC device also requires some memory overhead, so reduces your primary ARC. Again depending on load this can be detrimental.

And finally, don't ever think about using deduplication, unless you've read about the consequences, measured the performance benefits and ensured the memory overhead is acceptable. It sounds great on paper but has a lot of associated downsides that can ruin pool performance, and disabling it does not make it go away.

At least that's what I've picked up so far.
Citation required. How can Wirth languages (e.g. Pascal, Modula) have "the same capabilities for low level programming", but without the traps, of C derived languages (e.g. C, C++)? The idea suggests itself that you can have one or the other, but not both.

Personally from trying it out, I like the speed resulting from the stricter module system. And there might be a little additional protection against bad builds resulting from it. But I assume it comes at a price in flexibility as well - I can't really tell since I quit after working 6 months in it.
Steak houses in the US (not places like Texas Roadhouse) like Bern's in Tampa (most famous East Coast example I know of - don't spend much time in DC or NYC) or Marks Prime for a more mass produced McDonalds approach at the same concept generally cost around $100 per head for the full experience. This includes a steak, a sauce for the steak, a side, a soup, and some fancy types of bread. The whole place will usually be done up like you are dining in a side hall of the Vatican and of course you can go up to $1,000 a head easily if you start looking at their wine bottles.

Its a staple experience of the meat eating upper middle class here in the US.
> JAXA ($1.5b) and ISRO don't have the budget to get there.

Why so, India among other things managed to pull Martian insertion for 1/10th the cost of analogous US mission.

And there is no question, that, at least at the moment, they have both working talent set, and leadership.