skysight-inc/HackerNews huggingface dataset:
Don’t forget the cost of divorce (depending on the state of residence though). A male entering a relationship today stands a very good chance of losing half of his fortune in the case of a failed marriage.

Even worse if children result in said broken marriage: he will pay for their upbringing and their mom lifestyle for at least 18 years. Actually, children will cost him even if they are born outside a marriage or relationship altogether, in a random encounter let’s say.

http://www.realworlddivorce.com/
$5.5B in Bitcoin Is Still Missing from Silk Road
The example of "integer vs. string" is too low-level to explain why algebraic data-types are useful. It's much more valuable when trying to model a particular domain.

As a concrete example, consider assembly: often you can either provide a number directly ("immediate" mode) or refer to a register for a value ("register-direct" mode). You could model this as a product of <mode, value>, but the way you interpret the value depends on whether it's meant to be an immediate value or a register name. We get lucky in that registers and immediates are both numbers, but there's no reason that has to be true a priori -- perhaps we have a gloss on our assembly that treats register names as strings.

Moving up a level, the set of all instructions is also a natural sum type. You provide different kinds of arguments depending on which instruction you intend to invoke. In general, when the _type_ of things may depend on the _value_ of a tag chosen from some fixed family ("immediate" vs "register", or choice of instruction), sum types are a really good option.

Scott Wlaschin has a nice series of posts on domain modeling with types: https://fsharpforfunandprofit.com/series/designing-with-type... . I can also highly recommend his book!
I run all three major OS for development work. Windows 10 is my daily driver, but not used for everything. Today, even though I am at two machines running Windows, both have a Linux OS running in a VM that I am using predominantly for today and probably the next several weeks whilst I rebuild firmware images and create/update Linux device drivers for an embedded system.

Hardware wise: You can never have too much. I have a Windows workstation, a Surface Book 2 and a Macbook Pro, lots of monitors, keyboards, mice, tablets. A Linux server running Docker containers for various services, e.g. adguard, firewall, proxy server, gitlabs and mercurial, backup, and so forth. These are all optional, I could probably get away with just a powerful laptop if pressed.

Software:

VMWare Workstation Pro or VMWare Fusion, that permits access to Windows, Linux & macOS.

Visual Studio Pro on Windows

VSCode on Linux & macOS

SublimeText3

The full Jetbrains suite on all three platforms

Android Studio

XCode (macOS)

The various terminal tools, as mentioned by someone else.

OneNote for notes, installed on every computer in the house, and every tablet and my phone too.

A physical sketchbook/ruled notebook (half sketch paper, half is ruled pages) with two mechanical pencils, and a straight edge. I cannot emphasize a physical notebook strongly enough, even though I am dyslexic and disgraphic and have lousy handwriting and it makes my hands cramp, a physical notebook is invaluable.

Microsoft Office Lens for scanning physical notes and whiteboard sessions in to OneNote

OpalCalc on Windows, Soulver on macOS, Speedcrunch on Linux

Bitwarden with self-hosted server installed on all
Windows Subsystem Linux on Windows

ConEmu for Windows

DirectoryOpus for Windows, PathFinder for macOS

WinMerge on Windows, Kaleidoscope on macOS. Though I also like Araxis Merge and Beyond Compare.

Tower (old version) because fuck you and your subscription model.

Synology Drive for file sync between devices

Synology Backup for backing up the machines

IDA and Binary Ninja for reverse engineering and diving in to binaries

I am sure there are things I am missing that I use almost daily but have slipped my mind. These tools make up my workbench and let me tackle a lot of different work, much like how my workshop contains many different tools for different aspects of woodworking, metalworking and other fabrication and maker-type tasks.

edit: blank lines because I forgot HN doesn't separate lines without it.
Not really seeing sexism, I’m more annoyed that it ignores everyone besides heterosexual men.

"Humans can become aroused looking at flat images of other humans in black and white” is probably a better way to put it.
I don't think there was ever a case where the iGPU outperformed the discrete NVIDIA GPU for games. Maybe for encoding or something.
Nothing about the word "application," even when looking only at definitions related to computer software, suggests a particular platform, architecture, language, etc.

We qualify with "native" when we want to say that a given app was written specifically to execute on a certain system rather than on many systems as made possible by emulation, virtualization, web browsers, etc. so I would agree if this claimed to make ugly native apps.
This part is laptop only.
It's also a bad analogy: a dog reacting aggressively to their own image vs a human getting aroused by images of someone else. It's apples and oranges folks! I came up with two much better analogies

1. Ever think a dog is dumb for humping a stuffed animal? Human men can become aroused looking at flat images of nude women in black and white. <- Comparing dog vs. human arousal to external stimulus

2. Ever think a dog is dumb for growling at his reflection in the mirror? Human men can become aroused by looking at themselves in the mirror. <- Comparing dog vs (unusual) human reaction to seeing their own reflection.
He's also (or, at least, was at one point) roughly the size of a mountain. Well, The Mountain, specifically. That is to say that he's larger than life. I think some people just find his antics entertaining (as long as they're not on the receiving end).
Well, blockchain, mostly because it is simply a cryptographic way to confirm that data has not been tampered with and easily validate against other copies. If you simply make a database public, then it requires a bit more energy to validate copies. It would also require that anyone who wants to validate it has a complete copy of their own. Whereas with blockchain, you can merely take down a single hash at a certain timestamp and easily verify that hash later.
>They could have used an active control group that received traditional antidepressants.

Traditional antidepressants take days or weeks to have an effect, and the effect is very different from psilocybin.

>So they could have simply had one group receive only therapy and the other group receive therapy plus psilocybin.

That still wouldn't tell you if the psilocybin itself had any effect over and above the placebo effect.
Restoration of Fragmentary Babylonian Texts Using Recurrent Neural Networks
Is the source code public? If not, do you have plans to make it open-source? I'm impressed at how fast you've been able to fix bugs and implement new features and I'd like to see how it works :)
you forgot the input data :)
They appear to have been quite thorough:

https://bitinfocharts.com/bitcoin%20gold/tx/9ac265c90b7d5bb4...
As far as I know they still support all the same fields that the Echo Nest did! At least, I can't remember any additional ones that aren't here:

https://developer.spotify.com/documentation/web-api/referenc...
Here is one way one might implement a categorical Functor (https://www.reddit.com/r/haskell/comments/eoo16m/base_catego...).

A function S -> T maps a S(ource) type to a T(arget) type, like FunctorOf (-S>) (-T>) does between the source category (-S>) and target category (-T>)

type Functor :: forall (s :: Type) (t :: Type). (s -> t) -> Constraint
class (Category (Src f), Category (Tgt f)) => Functor (f :: s -> t) where
type Src (f :: s -> t) :: Cat s
type Tgt (f :: s -> t) :: Cat t
fmap :: Src f a1 a2 -> Tgt f (f a1) (f a2)

type FunctorOf :: forall (s :: Type) (t :: Type). Cat s -> Cat t -> (s -> t) -> Constraint
type FunctorOf src tgt f = (Functor f, Src f ~ src, Tgt f ~ tgt)

The usual endofunctor

type EndofunctorOf :: forall (ob :: Type). Cat ob -> (ob -> ob) -> Constraint
type EndofunctorOf @ob cat f = FuntorOf @ob @ob cat cat f

we have in Haskell can be defined as FunctorOf @Type @Type (->) (->), or

type OldFunctor :: (Type -> Type) -> Constraint
type OldFunctor f = EndofunctorOf @Type (->) f
Eh... enjoyable is subjective. At subrecreational, subanesthetic doses, it can make you feel really fucking weird. It's not bad, and it's certainly survivable given that you're dissociated from it — but it makes me feel really weird.

As to monoideism's question: I'm not a doctor, but ketamine is more benign than many other anesthetics especially at the lower doses used in treating depression. Do your homework, but don't rule it out based upon prior experiences with other anesthetics.
Yes, that is what happens when direct democracy is allowed, anyone who can influence public opinion (rightly or wrongly) can make whatever laws they want, and it's a big reason that many people are opposed to ballot initiatives as a matter of principle.
Was this because the devs didn't know about Option.apply?
I mean, there should be at least some haste here. 50k healthy people a year die from suicide in the US alone. And that's the official number, it supposedly missed a lot of people who "fall" off of bridges and crash cars alone at very high speed into stationary, well lit obstacles while sober and healthy...

For comparison, AIDS kills about 13k. About 16k people died from (non suicide) handgun injuries. Even All Cancers caused 600k deaths. Curing depression would be the same as curing 1/12th of all cancers...
I wonder if there's a treatment modality for self-treatment. I find it increases circular thoughts/anxiety for a time, but may have a sort of cleansing effect on the serotonin receptors. That's a very subjective explanation.

If your issue is negative thinking it doesn't necessarily help .. I guess without a guide.
SDL2 doesn't have the right primitives for easy dear imgui use; there's no renderer-agnostic support for drawing arbitrary textured triangle lists. So you have to get right in there and do your own drawing, which is (depending on renderer) anything from straightforward (and SDL will even give you a hand) to tiresome.

There's a longstanding sporadically-updated fork of SDL that kind of fixes this, but it's something that the SDL team don't seem to have much interest in. See https://bugzilla.libsdl.org/show_bug.cgi?id=1734
“Both Riederer and Schuman [professors], however, seem to agree that if they were paid more and given lighter workloads, they would grade more aggressively and spend more time requiring their students to revise their work.”

Well, AI and recorded video lectures are poised to lighten the workload. It could also grade to whatever standards you want without fear of reprisals, and could also require revision of work for as many cycles as the student can stand for a trivial amount of extra coding.

May not do as well grading, but since yesterday’s/today’s humanities grading process seems to be a system with few quality controls or any objective quality measures at all, quality grading must never have been that important anyway.

This vision is inconsistent with “more pay”, however...
Jennifer Doudna Predicts What’s Next for Crispr
4 more years!
> Some might mention that V8 moved away from the always-JIT

They did, but their always-JIT was a bit heavyweight. They generated full method-jit code on first invocation at first. This was a massive improvement over the existing state of the art, but it was also relatively early in the whole development of the "fast JS" ecosystem we live in now.

The _size_ of JS grew, and the size of functions grew, and the complexity of logic grew. The amount of cold and run-once code grew.

That issue was brought into focus by the growth of the webapp space and the size of the payloads.

In this case (erlang folks) - they're going about the whole thing in a very good way. Their "jit-everything" is actually "jit one instruction at a time", which is _amazingly_ perceptive of the challenges people in other JIT teams have faced (e.g. JS JIT teams). What they're doing is tightly scoped, easy to bootstrap and test with fallbacks to VM-calls into the VM for slowpaths or complicated stuff.

That's a solid base you can slowly layer with higher tiers later if it matters. They're keeping their abstraction layers strong by having a well-specified bytecode system, and hopefully they will strive to keep it relatively independent of the runtime, and avoid leakages of runtime semantics into instructions.

I was personally very impressed by their description of their approach and motivation behind each decision.
It seems like everyone is running an ADS-B feeder these days. I'd love to see a similar article that discusses capturing and decoding ACARS messages between planes and dispatch.
Does this even sound right numbers-wise?

On Tuesday, officials in the Florida Keys Mosquito Control District (FKMCD) gave final approval to release 750 million of the modified mosquitoes over a two-year period.

That would mean approx. 1M mosquitoes per day by this organization.

Who is cultivating (?) or growing 1M mosquitoes per day. Isn't that like a pickup truck bed cubed size of mosquitoes, every day?

Or is it being done across many, many sites?
For ML maybe?

You can get the AMD builds of TF and PyTorch and then build a cluster out.

Realistically it'd likely to be more trouble than its worth. The AMD versions are always behind the core versions.
I think maybe you are approaching this from the wrong perspective. Instead of asking what can I use sum types for, it might be useful to ask, what is the shape of existing data? As it turns out, most systems contain either implicit or explicit sum types. Take JSON, for example. A JSON value can be defined as sum type of null | boolean | number | string | Array<JSON> | Object<JSON>. Types are useful way of describing characteristics of domain you are working in.
The Bolster Manifesto
Oh they put a password in a url. Doh, didn't spot that!
Makes sense. Most consumer video cards is for gaming, but latest video cards also help for other works. dGPU with latest QSV would be blessing for NVR server.
What could go wrong !
Nope. If only. There are four considerations to look at which are rarely if ever mentioned between the mountains of well organised hype:

The first is application complexity. A lot of real workloads are quite complex but do not need to scale out a lot. The cloud and all the hype is organised around simple workloads that need to scale out easily which is an easy win. So for example Netflix or a SaaS application with a few tens of endpoints and a React front end or something. The wide sprawling real businesses are a terrible fit and tend to get rather expensive rather quickly when you start putting their workloads into the cloud. There is marginal aggregate cost benefit over actually buying hardware ($4m a year SQL server clusters are a reality in the cloud), the real benefit being only agility.

The second is simply "hooking up components" sounds really easy. But it's not. I think perhaps 50% of my time is working out why X won't talk to Y or why Z is broken and finding some opaque abstraction which doesn't allow me to get to the bottom of the problem. It's very very easy to turn your deployment into a complete tangle of chaos and circular dependencies which are very hard to rationalise and automate even with state of the art automation tools (which I will say tend to melt in your hands). This is existing layering on top of the same concerns you had before rather than a different one.

Thirdly we have to work out the difference between mature products and hype. Nearly all solutions are described in little blog snippets that make things look really easy for a specific and narrow use case but realistically things are really fucking complicated and in some cases absolutely awfully described in documentation. In a lot of cases, including AWS, it's actually hard to find someone at the cloud vendor who knows how something works when you break it. And sometimes there are solutions which are just absolutely dire. Again pointing the finger here at Amazon's managed ElasticSearch.

Fourthly, you end up being perpetual bean counter afraid of the rube goldberg machine waking in the middle of the night due to some event you didn't anticipate and drinking the content of your credit card in a few minutes. Some of the cost management and spot instance management software automates this rather nicely into a whole cluster of new failure modes as well just as if the complexity wasn't enough already. A trite version of this is "saving money costs money and sometimes the benefits are less than the costs"

So what you end up doing is trading your original problems for a set of new and shiny ones which are possibly even more complicated.

But at least you only have one vendor to shout at, which is a net win if you've ever tried to get HPE and Cisco to work out what fucked up mess is going on between their two lumps of iron.

I digress but be careful with assumptions about it being magical unicorns. They poop and you have to shovel it.
And even then it only works for people who lack the discretionary income for meat. That's a significant number of people but not everyone. If your goal is to reduce meat consumption in general then the pitch should be "plants are better than meat" rather than "plants can be kinda like meat".
Olo | Senior Software Engineers | Full Time | New York or Remote (US only)

At Olo we develop an online food ordering platform used by many of the country's largest restaurant chains, reaching millions of consumers. Chances are if you've ordered directly from a restaurant brand's app or website, we've made that happen.

We are hiring Backend, Frontend and Fullstack engineers and have several open positions at various experience levels including mid, senior and staff engineers. Our tech stack is rooted in .NET (C# and F#), Javascript (React, Ember) and SQL Server running in AWS infrastructure and modern software engineering tools such as GitHub, TeamCity, Octopus Deploy, Datadog, and Sumo Logic, as well as heavy use of OSS

I look forward to seeing your application come through at https://www.olo.com/careers/ or feel free to send your resume to sinead.trautman@olo.com

We fully support US based remote work and will not require relocation post-covid. Unfortunately, we are unable to support visa transfers at this time.
I can't think of much to say that wasn't already said in the article, except that it's great we have this study clarifying the whole "transfusions in mice can make them younger" phenomenon.
The research and anecdotal reports coming out about microdosing is pretty exciting for the field of depression treatment.

Though some take greater dosages, many people are finding relief from sub-perceptual doses: indicating that the typical hallucinations and disorientation associated with recreational psilocybe use is likely not necessary for achieving anti-depressive effect.

I've also read of some interesting work being done creating "anti-abuse" formulations, where the active ingredients are compounded with Niacin or other drugs that cause unpleasant physical side effects at high doses to discourage overdose/abuse/recreational use. "Stamet's stack" seems to be the most common of these.

Definitely needs much more research into these compounds, but seems a very promising frontier for antidepressant pharmacology.
Extradition works on the principle of dual criminality: the act has to be a crime in both countries. This is why the US won't extradite Zuckerberg to Pakistan for blasphemy, and it's also why the Dotcom case has been tied up in courts for years, because it's not clear at all if what he did was illegal under NZ law or not.

https://en.wikipedia.org/wiki/Double_criminality
Why would it? Each state is roughly the size of a country the parent is referring to, each state organizes their elections, so each state should be able to be equally efficient.
2020 code freeze please
Maybe they're counting the offspring? Although that doesn't seem quite right either (as it's not really controllable).
> Oh, okay. So, just don't be poor, right?

> More seriously, money laundering happens in some insane ways when you start talking about seriously rich people and avoiding taxes. Take a look at the modern art market these days. There's a lot of "Buy $WORK for $PRICE; donate $WORK to $MUSEUM for $TAX_WRITEOFF," where $TAX_WRITEOFF >>> $PRICE. There's a bit more to it, but that's the gist of how it works.

I hear this a lot but when I've looked it seems the IRS is particularly aware of this type of fraud [0]. Do you have anything more I can read about this?

[0]: https://www.washingtonpost.com/lifestyle/magazine/the-secret...
> native image

Got any examples of this?
The idea is to disallow altogether construction of invalid states, so you don't even need to write logic to catch bad data instances, or "convert integers to strings" (god forbid :-p). [1] gives a typical example of how this modeling may look like.

I think something like typedefs could be great in providing this kind of data modeling capabilities in languages where it ADTs are more tedious to write by hand.

1: https://fsharpforfunandprofit.com/posts/designing-with-types...
You simply wouldn't identify the person making the vote. You are assigned a random identifier that is actually publicly available. So if I vote and give you my identifier to prove how I voted, you have no way of verifying if I am giving you my actual receipt or just some other receipt from the publicly accessible register of voters. The only way to truly validate the vote would be to match the receipt id with the internally held ballot that has your pii on it.
Ask HN: How to best spend 5k to learn ML/DL using Python?
Posting for a friend. Her company is giving her $5,000 to spend on a course of her choice. She comes from a statistics background and wants to spend the money on a Python-based machine learning course that has a deep learning component.

Any ideas? I know a bunch of the free ones, but have no clue which paid courses are worth it.

Thank you.
The government has an exclusive right to run mass transit?
Musk has called for research preliminary to making the genetic changes to remove antisocial traits (think dark triad.) Some Chinese research suggests they may be heading in the same direction. Maybe you'll see an X-Prize for the first housecat that's been genetically altered to not have any interest in killing birds as a useful first step. So, your question seems less vague by the day.

Of course, less happily perhaps, there's also this:
https://www.chinafile.com/state-surveillance-china
> In the USA the three main banks are Chase, Wells, and Bank of America.

FWIW, Citigroup is almost as big as Wells Fargo.
The primary flaw of the dating/sex market in the USA and many Western societies is obesity.

I live in a society where obesity levels for women and most men are essentially 0% - due to lower prevalence of processed food and societal pressure to remain slim - and everyone is 'f*ckable', to put it bluntly.

By contrast in a typical Western society the bottom 30% of society is typically very sexually unappealing due to obesity. This also has strong negative impacts on equality, since obesity is usually correlated with education and income, so poor (overweight) women are much less likely to wed wealthy (slim) men.

https://ifstudies.org/blog/less-marriage-more-inequality/

The solution seems to be to place a large tax on sugar, 1cent per gram - in the same way that we tax other products that have negative health outcomes like alcohol, tobacco, gasoline. Use the proceeds to fund national healthcare or displace existing sales taxes.
Didn't they already try this somewhere else and it wasn't very effective?