skysight-inc/HackerNews huggingface dataset:
The profusion of Category-theoric abstractions and some of the more recent purely functional norms in Haskell are like the PhD-level version of `AbstractVisitorContextFactoryBuilder` which, aside from all the unnecessary cognitive load, lead to enormous dependency graphs of the npm variety.

Personally, I wonder if uniqueness types in languages like the sadly forgotten Clean (a close relative of Haskell) would have been better than the whole Monad/Arrow thing. All of that abstract theoretical stuff is certainly fascinating but it's never seemed worth all the bother to me.

On the other hand, in SML you get all the benefits of strong HM type inference/checking, immutability by default, etc, etc.. while also still being able to just `print` something or modify arrays in place. SML's type system isn't higher-order like Haskell's so its solution to the same problem Haskell solves with type classes isn't quite as elegant but otherwise SML is the C to Haskell's C++.
https://www.syracuse.com/state/2020/08/new-york-named-worst-...
> And the breaches will still happen, because most of the compliance requirements will be in the nature of having to install antivirus on your Linux servers and mandating passwords to be changed often enough that everybody writes them on a sticky note on the side of their monitor and the password reset mechanism becomes "easy to use" with the obvious implications of that.

I'll note that the whole password on a sticky note example is not ideal, but doesn't weaken such systems against what is likely the biggest risk they face: network systems being compromised remotely.

This is of course not ideal, but a far cry better than not having such policies in place.
Is mass the only way? The building I worked in had problems due to us transmitting a lot of noise up concrete columns, and it was solved by isolating the source from the columns. Rubber feet were used to separate the noisey equipment from the floor.

So couldn’t you isolate the noise with false ceilings and walls that are constructed to minimise transmissions?
It makes sure that someone didn’t boot into another OS on my laptop and try to decrypt BitLocker, since BitLocker will hard lock if the secure boot keystore is fiddled with or if a USB drive is booted from.
On the other hand, Zoom is unblocked in China and most of the other clients are blocked. For many doing cross-border communication with China it's either Wechat or Zoom, there aren't really any other choices. So maybe they're complying with Chinese government requests for business reasons more than anything else.
SpaceX – Making Life Multiplanetary (2016) [pdf]
An Open Source Crypto Payroll and Treasury Management with Built in Privacy
Parcel will enable organisations to seamlessly run crypto payroll (with multiple tokens) through mass payouts and/or money streaming in one single transaction (via transaction batching) with the help of gnosis multisig account.

It ensures end-to-end encryption for organisation data on IPFS and Filecoin and the encryption key is calculated deterministically through signatures using an Ethereum private key.

Moreover, Parcel is built to empower people to receive payments in real-time and employers to run crypto payroll and manage treasury without any hassle.

Website : https://parcel.money
Sounds horrible. Glad to hear that you found the help you needed.
> It's talked about as being a place where relative strangers socialised and had substantive conversations on politics and philosophy that changed the history of ideas whereas today they are places to be "alone together".

These days, I think that sort of environment exists in some of the "third places": https://en.wikipedia.org/wiki/Third_place
Presumably it would only be Google prevented from entering into such agreements, since nobody else has a dominant market position in search.

The interesting question then would be whether Apple would take somebody else's money and change the default search engine on their devices. Which might net them almost as much money, but might also irritate a lot of their users if the highest bidder isn't as good of a search engine.
I believe a tank full of liquid hydrogen would be a reasonable neutron radiation shield. Generally things like water or concrete are used for neutron radiation shielding due to the large amount of light nuclei (hydrogen) in those.
macOS has barely functional OpenGL support and no Vulkan support at all. Most of the value of Proton comes from the DXVK project (aside from Wine itself), which is a D3D->Vulkan wrapper. In theory it could be combined with MoltenVK, which wraps Vulkan to Apples Metal API. Chaining two graphics wrappers like that is probably fairly error prone and the losses in performance are likely too high to make it applicable for video games. Additionally ever since Apple ditched 32 bit support, Wine became kind of useless on Macs since a lot of Windows software (especially older games) is x86 only. The announced move to ARM further decreases chances of Proton ever officially supporting macOS, as emulating x64 would be way to costly to play modern video games.
This topic has been beat to death more than a beat-to-death horse.

At 100K a year, there is a huge shortage of engineers.

At 500K a year, there is not.
Why couldn't gps resolve the street name errors automatically?
Just a point about the loud graphics cards: all of them now don't even spin their fans unless you are gaming. So it is kinda nice to spend a bit of money on one to get two machines in one (work and play).
It's not a surprise that you can't understand Taibbi if your only lens of analysis is Red Team vs. Blue Team.
> when no clear upgrade path is defined

This is not true. Developers have been working actively on Xwayland, and I believe it can run most of the applications now, even with hardware acceleration. Is that not a clear upgrade path for you?
This is a good point. Tangentially related, it’s especially ironic how much Apple talked about the environment in their recent iPhone 12 announcement when they pretty much started the trend of unupgradeable electronics, and aren’t about to stop.
Agriculture’s contribution to Brazil’s national GDP has quadrupled over the last 25 years.

https://tradingeconomics.com/brazil/gdp-from-agriculture

But the CIA website says the Ag sector is still only 6.6% of Brazil’s GDP (2017).

Just some context. This claims to map China imports to deforested acres in Brazil...

https://dialogochino.net/en/agriculture/25843-tracking-china...
Do you want to go to Mars or not?
> but it will recover, probably within a year or maybe two.

Doesn’t this require the pandemic to be gone? I hope it is, but that’s one hell of a condition.
It doesn't seem that way. Technology is making it more and more possible, companies like Dropbox, which have never supported remote work, are even shifting over.
Perhaps inspired by this story of a similar nature from 2014: https://iquantny.tumblr.com/post/87573867759/success-how-nyc...
I mean, I can switch social media platforms a lot more easily than I can switch governments, and corporations don't have a monopoly on violence which would allow their tyranny to lead to torture, gulags and mass graves, but OK.

I guess being banned from a forum is much much worse than being sent to the re-education camps.
It doesn't, the US is just Israel's proxy warrior in this fight. (cf. the Clean Break memo, etc)
SML records are structurally typed and may be anonymous which makes a lot of things easier to write. I've heard Ocaml has been attempting to tack that on, but that leads to the next point of Ocaml syntax being a complete mess. Ocaml needs keyword arguments, but in SML, structural typing gives named arguments without all the extra syntax.

I find the `ref` syntax of SML much nicer to use than the mutable record syntax in Ocaml.

SML doesn't have all the dotted math operators for floats.

SML strings are immutable which lends itself to a lot of potential optimizations (and there's always byte arrays if you actually need to mutate).

Ocaml let vs let expressions are annoying to me.

SML has a standard. "The implementation is the spec" in my observation always leads to problems.

My wishlist for SML:

FIX USE COMPATIBILITY. It's intentionally not specified by the standard. This makes portable code very hard. I'd love to see an approach more like JS, but without dynamic imports (useless) and with support for something like GO_PATH plus maybe the ability to recognize and import from URLs (especially .git and .sml).

JS style template strings with interpolation (the type system is at least smart enough to convert primitives to strings) and multi-line capabilities. This would also be an easy backward-compatible way to add support for unicode. Guarantee the ability to implement them as UTF-32 with the knowledge that an advanced compiler could choose to internally represent them as UTF-16 or even Latin1 to save space (JS implementations have optimized to convert their ropes from UCS-2 to latin1 when possible with huge memory savings as even Chinese sites are 90+% ASCII).

Module Typeclasses should keep typeclasses from happening everywhere (looking at you Haskell) while still allowing them to be used for more than equality.

Unofficial first-class functor support needs to be made official.

Pick one of the 4-5 slightly different concurrency models and standardize it.

Things I want that are in SuccessorML:

Guards, "OR" shorthand, optional leading pipe in matches

Line comments

Record punning, extending, and "updating"

do declaration shorthand
Drivel. No sensible person believes blocking QAnon nonsense is a "scandal." For many reasons, not the least being that it is also the very definition of "unsubstantiated" as is this Hunter Biden story.

Applying editorial standards (finally) to some of the more outrageous content posted on social media platforms is no more controversial than that of print media's choice to do so.

The term "social media" is a complete misnomer to begin with. It started socially, but the sheer number of posts from advertisers and other organizations compared to the number of friend and family posts just goes to show how far from "social" these platforms have become. But that's another can of worms.

EOD private companies can do whatever they want to do with their products. Everyone has a choice of the products they use. Not controversial.
Only because people don't understand probability and statistics. 538 gave Trump a ~30% chance of winning. The fact the people seem to think anything less than 50 equals 0 is a problem with people's understanding of statistics, not the statistic itself.
I literally just went into my bathroom and checked the main light.

5W.

Above the mirror we have three huge bright bulbs we only use when brushing teeth.

5W each, or 15W total.

I literally don't think I've been in a house in the past 3-4 years that isn't 90-100% LED bulbs.
The comments thus far seem pretty tame. What are you talking about?

Haven't seen any heavy Haskell-type monadology talk in this comment section for example...

At worst, you might not know the name of specific SML compilers/implementations mentioned.

But I don't see anything here that a Python guy with a general grasp of PL wouldn't know...
Dan’s Covid Charts
Could you clarify which of my statements you are calling "not true"?
Can't speak for OP but I know some people use optical disks for cold storage backup, as they're reasonably cost effective there.
This is a clever shift from discussing the respectability of the reporting at hand, to discussing the respectability of the reporting institution.

Your claim that a failure to issue retractions is an admission of failure in accountability is true - when the reporting needs retractions.

So far, there's no evidence that the reporting does.
Making it a part of Wayland would not have accomplished much. If the desktops really couldn't agree on a common protocol then you would end up with a bad standard that no desktop implements. See wl_shell for another reason why doing this in the core protocol would have likely been a mistake.

I don't know who was painting it as a security issue but they're mostly wrong. The security issue is in restricting use of those capabilities to only privileged applications. Maybe other (embedded?) compositors left that out entirely for security reasons, but GNOME and KDE always had plans to include screenshots, and wlroots has it too. Weston even had its screenshooter protocol for a while now but the other desktops decided not to use it and went their own way, for various reasons. (Full-featured screen capture is actually not as simple as you'd think, and it gets messier when pipewire and zero-copy capturing are on the table)

Edit: Check here for some background https://gitlab.freedesktop.org/wayland/wayland/-/issues/32
Parsec is good at performance, you might loose a bit of picture quality on lower-end connections but the latency is top notch.

RDP is also fantastic (text is sharper), as long as you don’t need to play movies or games or something.
The electric will finally reach much higher velocity, yes.

The thermal one will reach usable velocity within your lifespan.
Sounds like the Epstein Drive, perhaps version 0.1:

https://toughsf.blogspot.com/2019/10/the-expanses-epstein-dr...
> Thermal rocket is going to loose to well designed electric one.

Depends on your metric. For a given tech level, you'll get higher thrust/weight out of a Nuclear Thermal Rocket than you would from a Nuclear Electric Rocket, even if the specific impulse is lower.

And 'very small velocities' here is still double the ISP of hydrolox, so not exactly shabby...
Don't forget Nuclear Pulse Propulsion [1]. 3 Months? Hah, how about 2 weeks!

[1] https://en.wikipedia.org/wiki/Nuclear_pulse_propulsion
Platform that matches revenue to digital channels
I've gotten used to the convenience of a laptop, but I'm never happy with them. Now that I'm working remotely, the lappy just doesn't cut it. But I want to veg on the couch with my laptop once and a while. My solution is to use my older laptop as a thin client for my desktop.
So I use F# and plan to look at rust in 2021 for my "compile to native code" toolset since .net is not everywhere and .net native appears to be moving very slow to release F# to native code support.

should I consider taking a look at some description of standard ml instead of rust? It seems like rust has pattern matching and immutability which matches to F# pretty good?

My use cases are mostly desktop class machines, with optional extensions to single board computers and maybe, maybe, mobile devices of some kind. Utility programs, soap and rest web services, guis for the rest apis etc.
How to Write a Resignation Letter (With Examples) [20 Free Templates]
I think your reading of Taibbi is correct. Unfortunately, articles like this feed into the currently fashionable victim mentality of the Republican party, wherein they contend that big tech unfairly suppresses news from conservative sources, and that there's a grand conspiracy afoot to protect Biden. I don't think that's true, but that is how this will play out in that particular fever swamp.
“pretty obviously intentionally planted misinformation disguised as news”

I am astonished at your blinding confidence in your ability to distinguish misinformation from news. You must be a Facebook content moderator ::snicker::
Best Resume Objective Examples and How to Write One
The lack of an upgrade path wouldn't be as much of a concern if laptops actually shipped with decent specifications to begin with.

One thing that caught me off guard was the number of low end models with 4 GB of RAM and pricier models limited to 8 GB RAM. With Windows using nearly 2 GB on boot and a chunk being used for the GPU, that doesn't leave much for applications. Having a non-upgradable CPU is not a huge issue in my opinion, except the performance of low end models is astoundingly abysmal. I doubt that many of them could keep up with my 8 year old desktop, which was not a high end build at the time. Not only is the hardware disposable, in many cases it is intended to have a very short life.
I think you read the parent in the opposite direction than intended. It was praise for getting this done so quickly, by my read.

Granted, i could just be misreading this post. :)
How to Ask for a Letter of Recommendation (+ Example Email Request)
Nobody's going to make a reactor that can't turn off.
You are quoting a very specific claim. That big providers such as Gmail and GitHub do not block Iranian IPs. Are you saying they do?
Where does the article mention QAnon?
Understanding Unity Engine Objects (Unity for Engineers #5)
It wouldn't be funny if it weren't true!
List of Weaknesses and 15 Answers to “What Is Your Greatest Weakness”
There was a video of an Olympic cyclist powering a toaster with a bike. He wan't able to keep it up enough to toast one piece properly.

I was super in to cycling a while ago and I was only able to average 200w over an hour but thats not quite accurate because I was going super hard and then taking rests every 20mins which stops the clock.
The exodus is real. The Pinterest lease cancellation was the bellwether.
Because after 2008 the fed became one of the largest landowners in the country and by proxy have a vested interest in propping it up.
Fix, or Toss? The ‘Right to Repair’ Movement Gains Ground
Free Skillshare Account
Ding ding ding and this is the tl;dr of Taibbi’s article
I don't know about Russian involvement, but it was clearly a right wing attempt to meddle in the election to achieve a last minute bomb on their opponent like in 2016.
As Matt stated, and really the whole point of the article, the Biden story doesn't matter. Forget about charging Biden with any wrong-doing for a moment and see what this relationship and mechanism between law enforcement, tech companies, and media entities is for its merits: The same mechanism that autocratic governments use for control and operated in the name of "the public good".
You might be able to on your specific laptop and desktop, but that isn’t universally true. It’s not true at all of video game consoles, mobile phones, tablets, smart electronics, and other computing devices.

The percentage of “open” devices has been trending downward.
Property taxes have issues too. Many seniors who have minimal income are not able to pay their property taxes and lose their homes.

It's more logical to tax income (especially capital gains) since you know the people have the money since they just made it. Expecting people who made their money on a previous income tax system who are now on limited income to pay a property based tax is, frankly, moronic.

A one-time wealth tax could make sense to make up for the years of 'unfair' compounding.
So, no data at all? I think you've really shown your whole ass to everyone by citing an ALEC position paper. ALEC has rated California as having either the #1 or #2 "worst business climate" in America every year it has published it's rankings, which are merely propaganda for a certain political viewpoint. ALEC's "Rich States, Poor States" paper has been reporting from Oppositeland for decades.

https://www.gradingstates.org/alecs-rich-states-poor-states/...
on the contrary, these things can roam up to 5 miles from their nests
i'm not arguing that it's bad to pay to be the default. If the default service is worse than another people will switch to the other service. People install all kinds of apps on their phones, they can switch the default search engine too.
A little while ago we had a state wide power outage and after a few hours even the cell towers were gone (there may have been some reserve for emergency calls on other networks). I can't remember if it was this incident or another one short after that left me without power for 3 days in a first world country that wasn't hit with a large natural disaster. After this the local government quickly made changes so these days it isn't so bad. One of the improvements is a massive battery backup system owned by Tesla which is able to smooth power supply when there are unexpected spikes in demand or a power station goes offline.

Its kind of weird sitting in the dark with absolutely no communication ability.

https://en.wikipedia.org/wiki/2016_South_Australian_blackout
> So I use F# and plan to look at rust in 2021 for my "compile to native code" toolset since .net is not everywhere and .net native appears to be moving very slow to release F# to native code support.

I have projects that generate native binaries on Linux. Here's an example Makefile [0].

> should I consider taking a look at some description of standard ml instead of rust? It seems like rust has pattern matching and immutability which matches to F# pretty good?

Library and tooling support in F# and Rust is significantly more developed than in Standard ML.

To me the best use case for Standard ML today is in language development.

If its ecosystem were more mature it would be a great choice for application development. But today that's just not the case unless you use a version like Morel that is backed by the JVM (and its ecosystem).

[0] https://github.com/eatonphil/dbcore/blob/master/Makefile#L3
I hope this happens in London (and other cities where housing is ridiculous).
Fox News has been suppressing the truth for 20 years now and where are the complaints about that?
The Epstein drive is great, but it only lets one travel to the private island.

...

Alright, alright! I’ll show myself out.
It gets better (worse?) though: reddit has removed any references to Aaron Swartz from its list of founders.

https://www.redditinc.com/

> Reddit was founded in 2005 by two college friends.

> Steve Huffman, Co-Founder/CEO

> Alexis Ohanian, Co-Founder
Im dedending them in no way, but I believe that IP blocks, especially wide reaching ones such as the Google Cloud block, are especially pernicious.
Even though refusing to do business with them will cause some of their family to die of starvation or lack of medicine?
> massive fragmentation issues across the graphical part of the Linux ecosystem

This is a fair criticism. It is true that we see each of the compositors rolling its own extensions to the protocol. But I believe wayland is trying to standardize a lot of the protocols which should cover common use cases.

> each new compositor implementation reinvents the wheel many times

This is not true. There are libraries like wlroots[0] which you can build on top of. You don't have to redo the work that is already done in other compositors.

> application that needs to grab the entire screen will need separate code for each compositor it supports screenshots

There is the PipeWire[1] effort to support screenshot and screen capture on wayland in a unified way.

> Wayland is also, with its forced composition, hostile to interactive applications requiring low latency, e.g. video games.

Also not true. On a properly implemented compositor, video games frames shouldn't have longer latency to screen than on Xorg. X server has to do composition too, whether you run a compositor or not.

[0]: https://github.com/swaywm/wlroots
[1]: https://en.wikipedia.org/wiki/PipeWire
It means if you saw all of these facts in ten different events, you would not be surprised to see a one to nine split in results. Ish. As you are scaling up, if course.

So, think of it as saying these facts basically describe a ten sided die. With no other knowledge, the best you have is that you expect it to behave the same as any other ten sided die.
X (at least nowadays) isn't very network transparent. Most things are done via shared buffers (it's faster than shoving bitmaps down a socket), with special fallbacks implemented by the clients, so that x forwarding doesn't break.
Magic Circle (Virtual Worlds)
Agreed! I’ve read about certain coastal areas that have been purged of invasive species. But there’s a constant upkeep cost to keep the invaders from just moving in again a couple years later.

For these murder hornets, if we make a big up front investment in eradicating them now, there’s hope that we can prevent them from establishing themselves and becoming another perpetual battle.