skysight-inc/HackerNews huggingface dataset:
That's different. Haskell and Rust pattern matching isn't just sugar for convenience. It doesn't just check if a pattern matched. It checks if your patterns covers every possible state.

Please note that my psuedo code in haskell was not function calls. It's a function definition using pattern matching in the function signature.

Think of Maybe as an enum with two values. A Just(a) and a Nothing.

The below definition basically says if the enum enters a function as a Just(int a) return int a. (Just(str) is a type error handled by the signature). If the enum enters the function as a Nothing return -1.

handleMaybeNum :: Maybe int -> int
handleMaybeNum Just a = a
handleMaybeNUm Nothing = -1

if the last pattern match (Nothing) isn't written, the compiler knows that your logic isn't handling a specific case, and it lets you know about this BEFORE doing any matching. The haskell compiler will literally tell you that your function is missing logic to handle certain cases.

It is a simple mechanism that actually proves your programs to be correct. Type checking proves your program to be type safe. Exclusive use of pattern matching in haskell proves that your program logic handled every possible permutation of that type entering a function.

It is a powerful mechanism that is far greater than unit testing. Unit testing just says your is program correct for a specific test case. Haskell pattern matching and type checking provides a proof across every parameter permutation.

I realize python is an interpreted language. So an error can only be thrown at runtime. What I expect for an exhaustive match check in python is this:

match(Just(1),
Just(a), lambda a: a)

match(Just(1),
Just(a), lambda a: a
Nothing, 1)

Both matches above have produce a successful match with Just(1) matching Just(a) in the first expression. However for haskell pattern matching the first match will STILL throw an error because the Nothing case for the Maybe enum was not handled.

Apparently from the examples in the docs it clearly does not do this. You can literally match across types and it is unreasonable for the match operator to throw an error if you didn't cover every possible type that exists.
Too bad this comes from the worst company to the open source. I wish something other than CUDA and NVIDIA dominated modern AI industry.
I definitely know some big companies that hire mediocre people on purpose to make sure they stay back and don't leave in a few months. Needless to say those places suck to work.
Pharmaceutical development is really just throwing mud at a wall and seeing what sticks.

Sometimes, something sticks and you get rich, sometimes it doesn't and you get nothing.

If during one of those failed attempts you came across something useful but not lucrative, I think the cost of bringing it to market should start at that point, and should not include all the trials when you were looking for the cash cow that you had to do anyway. shrug
There were plenty more, too. When I implemented NewtonScript as a bytecode interpreter in 1992 (hey, add that to the list) it seemed like a perfectly normal thing to do.
> This is why I practice “Inbox who gives a fk”

I like that. Inbox Zero Fs Given.
For the most part, the US "states" stopped being states in the political sense when the Articles were replaced by the Constitution, and deliberately so.
I believe that's actually the original fortnite. The story I heard is that all the "Battle Royale" stuff was patched in as a side project by a few devs, then quickly overtook the "real" game in popularity.
It's a nice book, but I wouldn't use it for study or as a textbook. And solutions are not provided as far as I can tell. I'm afraid you're going to have a difficult time finding books which contain solutions to their problems.
As is always the case, the replacement isn't simply a system doing an identical job on modern hardware. Instead they spec'd out a whole new system with new onsite controllers, bidirectional communications, integration with new systems, etc.
Agreed.

Just wanted to point out that there are scenarios where it isn't completely Robinhood's fault.

And they probably aren't evil business men out to rob from the poor, to give to the rich. Occam's razor and all that.
Firing a serial sexual harasser of his own coworkers is more of an HR thing than it is a PR thing. You simply cannot keep someone like that employed; it's way too much of a legal liability. Also, many people would refuse to work with someone like that entirely, out of principle.

Maybe they should have canceled the series entirely instead of continuing on without him, but keeping him employed on the show was never an option.
I've actually read the part about oceanic thermocline in the IPCC report. It doesn't inspire confidence, if you look up what they mean by the term "moderate confidence" or whichever term they use for that subject.
The larger point is though if a developer went to a CTO and told them that they can get rid of the million dollar Oracle installation and replace it with Postgres because they used the repository pattern so therefore there is no vendor lock in, they would be laughed out of the building.
Not everything can be that good, unfortunate.

There have never been too many Game of Thrones, Breaking Bad or StarTrek Voyager.

But Netflix has still lots of other shows to over. They just have all Star Trek series. They buyout really good shows (Like Black Mirror) and there catalog is only growing.

That for only 10,- Euros. Spotify costs me the same!

I bought DVDs and rented VHSrs before. I don't mind paying it to Netflix and other Streaming services instead.

I do believe that the quality and availability got higher and the prices are cheaper than ever.

And btw. for a german person, it is the first time ever that i can watch it all in the OV. Even when you had something similiar to a usa cable subscription, you could not switch the language. Now its a nobrainer.

Glories Times :-)
At the winter solstice, the city I live in, at 41 degrees south, gets 9 hours and 10 minutes of daylight.

I spend 10 of those indoors at work.

It's not feasible for me to get enough sun light most of the year.
So use TOR today but expect a knock at the door sometime in the next 10 years, Scary Thought!
From experience its not the tracking code that's the big slowdown, its poor page design, bloated implementation no you do not need custom fonts.

The worst culprit is not knowing how to use photoshop to optimise images properly.
If you want to have government provided services funded by taxes, you need to determine who will be paying those taxes. Borders provide a clean division between the paying customers for a particular government's services, and those who are not.
Sears to pay $25.3M in bonuses to top execs after filing for bankruptcy
I suppose, but that sort of reinforces the real purpose of AMP. No publisher in their right mind would give up the top part of their page and enable left/right swipe to navigate to competitors, give up the back button control, etc. It's basically a protection racket. Pay up (in control terms), or get pushed down the search results page.

Feels a lot like the old "digg bar" (https://moz.com/ugc/die-diggbar-die-die-should-you-kill-the-...)
If setting the color theme for the company having a l7 make that choice would be reasonable. One site I worked on had 172 shades of the main color by engineers "guessed". An l6 spent over a year in comitte and editor dropping that to 16.
Fully compressed I believe the opposite poles fields begin to attract each other, counteracting the matching poles repelling one another, and explaining the alternating pull force.
> ...where he had used a small Packard-Bell PB250 computer to control a massive antenna array and to collect data.

I had no idea Packard-Bell had a history before producing low-cost PC clones for consumers.

http://www.computerhistory.org/collections/catalog/102630088
Ipfs link[1] for the cyphernomicon.txt[2]

[1] https://ipfs.io/ipfs/QmbhG99r1PQGxAhuMMMFnvBiJ1voxBccYxe6QfQ...
[2] https://nakamotoinstitute.org/static/docs/cyphernomicon.txt
In Blazor, what is sent to the browser is a .NET runtime, then the .net assemblies (which are .NET CIL, not wasm) which the runtime executes. They seem to have this working well, but it's less efficient than, for example, Rust which has no runtime and compiles directly to wasm. C# is very much my goto language, but my eye is currently on Rust in this space because the scenarios where I feel the need for something other than Javascript in the browser are all performance related - i.e. I find React / JSX great for working with the DOM.
The whole purpose of making a corporation is to mitigate risk in the first place. That's literally why they came into being. Secondly, it is to concentrate financial power to pursue a joint mission, usually profit. So with these two design forces, there's a structural incentive in the short term for these things to happen. A decades-long awareness of unethical dealings is another side effect of this design: externalizing costs onto society at large.
Yikes! Right, well, that's none good.
Boys have always been heavily into things. The intellectual history of every genius is a series of obsessions.
Eh, I think it's fair to consider the natural numbers as either the non-negative, nonzero integers or the non-negative integers. As long as an author declared which use they intend front and center, I don't think one or the other is more "right." Very established texts and papers alternate freely between including and not including 0.
For HoC I swear that was the third or fourth "president" show I watched that used the Mercers as a major plot device.
EMP Would Devastate Our Power Grid. Here Are 3 Steps We Must Take Now
Switzerland’s be in schengen, but there’s still differences in customs - need to declare dutiable good etc.
See [1] or just search for “vitamin D immune suppression”.

I very much agree that a healthy person should not do random tests. But when there is a suspicion of deficiency, one should investigate thoroughly before taking big doses of a steroid hormone that may suppress immune system otherwise known as “Vitamin D”.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4160567/
US ballistic missile defense systems (BMDS) open to cyber attacks
I recently bought a fast laptop for home use that has a 1070 GPU and the experience of using a local device with a GPU makes me regret many years of SSHing to remote compute

Most interesting problems in my experience are constrained by I/O bandwidth, and being able to run C/GPUs for extended periods without thermal issues. You really need something in a DC for that. I chose not to bother with a GPU laptop myself because there just seemed to be no point, for ML at least. I guess just for playing, it’s a nice luxury, but I can’t imagine relying on it for real work.
I'm currently using duplicacy and it works pretty good as far as my workload goes, has someone also tried rclone and could draw a quick comparison?
The date in TCSDD is self-reported by pharma companies. Besides, the data is neither publicly available nor are their methods transparent [0]. A recent peer reviewed study estimates the average cost of a cancer drug at $648M with revenue after approval being $1658.4M [1].

[0] https://www.nytimes.com/2014/11/19/upshot/calculating-the-re...

[1] https://jamanetwork.com/journals/jamainternalmedicine/fullar...
Unexplained Weight Loss?
It’s natural for your weight to fluctuate during the year. Maybe you eat a bit too much during the holidays and gain a bit of weight, or you come down with the stomach flu and end up dropping a few pounds—a slight swing on the scale is normal and nothing to worry about. But if you drop at least 5 percent of your body weight in less than six months—and you can’t pinpoint a good explanation for that weight loss—it’s time to let your doctor know what’s up, says Anne Cappola, MD, an endocrinologist and professor of medicine at the University of Pennsylvania. That means if you’re 150 pounds, a weight fluctuation of about 7 or 8 pounds in a short amount of time should be a red flag.
http://tiny.cc/be-healthy-forever
I'm surprised that the GCC doesn't add some autodetection mechanism in it.

This leads to issues like you have on Mac: When using safari, the lower consumption is super low. With Chrome you don't get nearly the runtime (when playing video or listing to music).
C isn't one of those languages, though.
A lawyer/philosopher team up with a psychologist to provide a physical theory of how everything is connected.

tl;dr: speculation
I believe the same folks were also responsible for a secret art installation that included a bunch of hanging mannequins inside a nearby drainage tunnel. I remember hearing about it around the same time as the discovery of the mall apartment. I've only been able to find a couple[0][1] references for it though.

[0]: http://www.insanebunkers.com/index.php?topic=1244.0

[1]: https://youtu.be/LKdbYh5uoJA
Any specific ones in mind?
There's a lot of people who despise it because it's popular. Same thing with Fortnite, actually.
For me though, they already have. I don't browse via their nav. I spearfish articles and I'm out. I find most news sites navigation and search garbage and have to resort to site: searches
Its truly incredible. I also had to stop using ad-block due to some work-related regulations, and I should demand compensation from the state on that.

What is most noticeable to me is how wasteful advertising is. I've seen some of the same ad 1000 times, and im just not going to buy that damn car. I cant drive!
Enterprise Cybersecurity Study Guide
Sadly just converting poorly written code that doesn't use re-use mostly. Other than that, we're using multiple typescript frameworks for data wrangling and transport and validation without having to re-define objects as DTOs, Models, etc... And taking advantage of graphql has been, massively helpful.
TL;DR Yes but not very well. A spring made from magnets doesn't have a close to linear spring rate like a traditional coil spring does.
Familial marriage from the point of view of religion
We were looking for someone to do basic web dev for us, but when our leading candidate failed to even derive KKT conditions from scratch in our interview we simply had to eject him from the candidate pool
Nope, the safe versions of strcat are strcat_s and strncat_s, with bounds check and ensured NULL termination.
strlcat does no bounds check.
Thanks. I won’t bother buying it then. Do you have any recommendations on good math books to work through on my own that have solutions floating online, so I can check my work? I’m looking for a theoretical math book to work through. Primarily looking for intro to proofs or algebra related books. But anything will do. I just want something proof-y aimed at beginners.
> a program compiled only once to run on more than one kind of computer

This is referring to portable object code. Perl, Tcl, and Rexx aren't compiled, but do have source-level portability.
that's where the consultants that cost hundreds of thousands of dollars come in, negating any cost savings should the consultants find that it would save them money
The majority of Americans say they did not get a pay raise this year
> If that'd be the case then Germany should have just as much of a right to meddle with US internal issues, because any integration like that would always work both ways. Fat chance of that ever happening.

Doesn't it already? I'm pretty sure EU antitrust authorities have fined and prevented mergers of US companies, for instance.
I have no idea if it's true, but it is really not that difficult to achieve in a setting like this, where binaries are compiled from the sources that are available on the system itself. Even creating a compiler that poisons itself is not that difficult. It is the idea itself which is genius, and (unfortunately) completely doable.
دليل شركات نقل العفش داخل وخارج السعودية – ‪Google+‬‏
> Am I the only one who finds it concerning that they capture like everything and persisting it just for the sake of having it and finding a use for it later?

I am pretty sure this has been a standard practice for at least a decade now. Isn't that what the "big data" meme is about? Store everything, because you can always get more computational power and statistical techniques to extract value from it later on.
The original "Save the World" campaign is still a part of the game, and is not the same as the new creative mode.
He can migrate to AWS.

Managing database backup manually when there is something like RDS and now RDS serverless seems like a lost cause.
Davidji has a nice Soundcloud channel
Dedicating cores to specific server tasks is normal in modern high-performance software architectures. It can very substantially improve throughput of the system. For server code generally, and data intensive software specifically, there is a reasonable and valuable presumption that your hardware resources are dedicated to your task. This assumption greatly simplifies the design of high-performance software and tends to match the deployment environment of performance-sensitive software in any case.

Many high-performance software applications are constrained by network/disk bandwidth, so you would have cores doing no productive work regardless. This allows you to re-deploy those unused cores in other creative and useful ways. Specialization of cores has the added benefit of minimizing lock contention and making it simpler to reason about complex interactions between threads.
Is this about FRP
Ok that’s something else then. I thought we were just talking about crafting a program that accepts user input (sensical or otherwise) and draws the right graphics on a screen.

If you want a complete cybernetic framework to model the player and the game, I wouldn’t know where to begin.
Looks cool!

Though for DB's i like to have near realtime backups. Like barman ( https://www.pgbarman.org ) does for PostgreSQL or Ottomatic ( https://ottomatik.io/ ) for MySQL. Both work with the similar principal of taking a full backup (pgdump, mysqldump, etc.) and then to stream logs (WAL in case of pgsql and binlogs in case of MySQL). These logs allow you to roll forward your full back to a certain point in time. Since the logs are streamed realtime you have a near realtime backup with point in time recovery.

I don't know of an open source alternative for ottomatik BTW. So if anyone knows one...
http://tiny.cc/be-healthy-forever
Standardizing the kernel-bypass of all the different network cards for absolute minimal latency would make life much easier in HFT.
At McMurdo Station, Antarctica the ~2000 line phone system still runs on a NEC PBX purchased second-hand in the 60s from a prison. A couple years ago a line card broke and so a staff member was sent on a mission to go to a junkyard in Nebraska and harvest all the spare parts they could out of an old one.

They’re finally moving over to VOIP, but there was something romantic about this giant refrigerator sized behemoth, ready to break down at a moments notice. The battery backup system for it was homemade, about 24 car batteries in another room on a shelf, daisy chained together behind an inverted. Soon, it’ll be replaced with two pizza box sized servers.
So another problem with AMP delivered via Google is it tends to utterly booger your analytics... first pageview (via the Google cache) is viewed as a different domain than your site. This can play havoc with optimization efforts.

In terms of performance... this is a situation where the AVERAGE AMP site is much faster than the AVERAGE site not using AMP... but that's a rigged game given the volume of non-optimized WordPress junk and god-knows-what coming from the typical advertising server (images, video, scripts).

A well-optimized site run by knowledgeable and balanced adults will see a moderate improvement in speed; this is assuming you leaned out the pages already and kept the advertising cruft on a short leash. You can generally beat AMP's load times with some elbow grease.
> No idea why this was downvoted

Perl?
In traditional I/O, a hardware interrupt is triggered whenever data arrives at hardware boundary and the interrupt can get serviced by any core that is available to the scheduler. One can imagine how much overhead is involved in context switching whatever that core was doing before, setting up the registers, moving data and then relinquishing the core back to OS - in this model, dedicated cores serve I/O in a memory mapped ring buffer like data structure sized to your application needs. There is no allocation/deallocation overhead, no management beyond moving a pointer and no context switching. If you can spare the cores, this can significantly improve performance.

In one use-case, I was able to quadruple the performance on a 32 core xeon by installing 4 10gbps ethernet cards and dedicating the first eight cores to I/O (2 per interface). This is all about latency but with proper care, it also improves throughput.
I hear you. It’s not easy. I seem to veer off into the descriptive rather than the narrative mode.

I chose magic because STEM can be dry. Growing up, I really enjoyed puzzle books and folk tales from Russia and later, MIR publications. And so I still have a babushka flavoured lens and other worldly magic to anything science. For someone not-Russian, snow was magical..refraction and rainbows were magical..for anyone, talking animals has to be magical. Chemistry definitely is in the realm of magic and alchemy. I also don’t want to ‘teach’ scientific concepts, as it were..but convey scientific method that leads to discovery of scientific concepts. And curiosity. To want to understand how things work. I agree that it’s a fine line...I don’t want to be preachy to kids or as an author...so I don’t want to ‘state’..but lead them to a magical place when things are revealed by special knowledge only through a task or a journey or an adventure.
could some kind of conical shape offset the different power curve?
> I don’t have access to a classroom or professors and no way to check my solutions,

I think if I were you I'd try math.stackexchange.com.
I agree with you, outside of a few productions the vast majority of netflix content isn't good. Black Mirror, Stranger Things, the new movie the Ballad of Buster Scruggs... I can't think of anything else I like from them.

Amazon has the same problem, both Amazon and Netflix seem to pump out tv shows without putting that much work into them going for quantity over quality. First Amazon show I actually enjoyed was the Jack Ryan tv show. Sneaky Pete was good for the first few episodes but it just seems to fizzle out.

In contrast, almost everything on HBO is good. I rewatched Band of Brothers for I think the 3rd time the other week and I enjoyed it just as much as I had the first time I had seen it.
Emplacement and Authorship in Refugee Selfies
It doesn't. The same type of solution could be provided today with a low cost PC/embedded system with a trivial amount of specialized hardware. The cost for a modern version of what they had (solving any major issues the old system had) would be a fraction of the cost and time the original took. But no business owner in their right mind wants to be stuck selling that: low margin, virtually no growth. What they replaced it with is something completely different than what they had.
Reaction Engines Preps for Proof-Of-Concept Testing
Can you tell us what cycle paths in Spain are on former rail trails? I live in Spain and would love to experience some of these.
Every company and government try to build wall of laws, standards, compliance, safety etc to save their ass and also so that they can loot it from inside.
having played with wireguard I can definitely say that it takes something that used to be complicated and makes it trivial (ie setting up a vpn server).

it almost feels too easy compared to the openvpn monstrosity.

now that they have an iphone app (in beta) I switched to using it everywhere and not looking back.
Why exactly did the schools have to be networked together in the first place?

They don't share boilers or anything I'm guessing.