skysight-inc/HackerNews huggingface dataset:
I came to a similar insight by the corollary: a sound type system makes the edge cases obvious. When we make the type of a partial function total by introducing an optional value as a result there's an opportunity to develop an intuition that this is going to make my code harder to reason about. Assuming I fix all the warnings about incomplete pattern matches I know that users of this code will have to handle all of the edge cases I'm introducing. Therefore I might take another approach and introduce a type as my pre-condition: the type of non-empty lists. You can't even call my function unless I can be assured there's at least one element in the input. I haven't even had to look at the implementation to reason about my code yet.

head :: [a] -> a
-- versus
saferHead :: [a] -> Maybe a
-- versus
safeHead :: NonEmpty a -> a

The first function is partial because we'll get an exception if we give it the empty list.

The second function is total but annoying to use because we're telling all the code that uses the result to check for two cases (it's an error not to).

The last one forces the responsibility on the caller to provide a non-empty input.

That was probably one of the more frustrating aspects about learning to program Haskell as someone who has been programming for more than fifteen years when I started. It revealed to me in stunning detail all of the edge cases that almost every other language I've used actively hides from me.

It doesn't absolve you of having to think about edge cases: even Haskell throws run-time exceptions. However it does give you tools to think about many of those edge cases up-front and in a direct way.

Update Added a trivial example to demonstrate "partial," etc.
Thanks.

So, a given "specification" (how a font looks to the human eye) can have many different "implementations" (ie. TTF files). The specific "implementations" themselves can be copyrighted, but somehow not the "specifications"?

If so... assume one TTF file which is copyrighted, pay-per-use license. Assume another TTF file, which is open-source, free to use and redistribute. The files both implement the "Helvetica" specification, rendering the same letters to the human eye. How "different" must the free implementation be from the paid one, for it to not be considered an infringement?
I'm honestly no expert on the subject. I have virtually zero experience with Erlang language. And I don't know a thing about Rust. However, if that counts I have read large parts of Joe Armstrong's PhD thesis about distributed systems and written plenty of Elixir.

It may be wrong to say we need a better Erlang, but for modern web development we certainly could use a fair bit more compiler enforced type safety for writing more correct programs. Mostly due to the lack of a proper type system, Erlang is not particularly expressive as a language, although its primitives (processes & message passing) are well geared exactly for what it focuses on.

Erlang focuses strongly on fault-tolerance and subsequently on high availability, but I'm not sure this perk is so significant benefit anymore compared to various other runtimes spinning the wheels of your typical web server in a cloud setup. We rarely need to write servers anymore that keep running for many years straight without a restart, only patching code via hot reloads.

Just my take but since you asked, trading some fault tolerance for more correct programs would therefore probably be a fair trade-off for a new kind of Erlang.
But org-mode!

Sorry, someone had to do it!
H1 is somewhat unlikely to ban someone who holds a real RCE in Squid for months and then publishes it, because H1 needs those people on its platform. Most H1 bounty people are just running scanners to find DKIM quirks.

I think the conversation about whether H1 is problematic or not is a fine thing to have at the top of the thread. I can see people going either way on that question (bear in mind that it has as much to do with idiosyncrasies of each of H1's customers as it does with H1 themselves).
From this article it seems creditkarma has been profitable since 2015. --> https://www.sramanamitra.com/2018/06/06/credit-karma-delays-...
You mean like Amazon's rating system that's gamed and manipulated? :)

Edit: Now that I think about this more, I am not sure how a rating would work. "He's a 5 star! Would totally date him again!" Wait, what? Why would you stop?
How to Build a Streaming API Using gRPC
https://archive.md/jrQ4n

https://web.archive.org/web/20200224190006/https://sheepamon...
This guy hasn't worked in a start up. Products should be iterative. You can't say your application is slow because it was architected badly.
Well-timed with regards to economic trade dealing between the US, China and UK.
> As long as the dumb AI is unable to guess our wishes, there will be a need to specify them using a precise language. We already have such language, it’s called math. The advantage of math is that it was invented for humans, not for machines. It solves the basic problem of formalizing our thought process, so it can be reliably transmitted and verified

The same is true of most programming languages - they were all made for humans. Math has the advantage of being to prove formally that it solves the problem, but that isn’t a requirement for most software.

> If we tried to express the same ideas in C++, we would very quickly get completely lost.

Same is true for many things that you can express in C++, but not in Math.

Math used this way is essentially just another programming language - with massive advantages in some circumstances, and massive disadvantages in others - I can’t find any argument in this article as to why it is a better bet than any other language.
First Mac to Use Apple’s Custom ARM-Based Processor Said to Arrive in H2 2021
Very similar to https://news.ycombinator.com/item?id=18565239

Backend for codegrep was Play framework + Elasticsearch and you could search by programming languages.

Screenshot: http://archive.is/0mFML
Kinda the point though.

Granted I was married slightly before Tinder became big but from my reading it seems like the biggest issue with these apps is bots.

Making people jump through a hop bots can't fixes that problem.
Oh thanks, I am glad to be wrong about that one!
Most employers would rather you don't spread disease to everyone you come in contact with. It's pretty rare to find someone with zero sick days
Maybe contact support first, figure out what happened and why before writing the blog post?

Maybe it's a cloudflare issue, maybe it's an honest mistake, maybe they are bad at customer service... either way, it's not great to shame a company before you even open a support ticket or talk to someone to find out.
Our top political campaigns use Wickr (it's pushed down from on high) but I have a hard time believing it adds any more security than simply mandating 2fa security keys w/ google advanced protection.

Given the problems ive experiences with the wickr app and lack of basic phone security ive seen this feels LESS secure to me.

Google put out research saying they had 0 successful phishing after mandated fobs. I guess there's a concern about forwards and that Wickr shows when someone screenshots but that doesnt stop anything...

I have seen lots of campaign staff that dont have passwords on their phone, or weak 4 digit ones. I use a password manager to store a long wickr pass but I think most just use a simple pass or re-use a password...

Wickr on my phone has render problems all the time and it has shown messages without me logging in at least twice.

It's also super inconvenient. if they really care about E2E - which doesnt even feel like the actual problem they are trying to fix (phishing/ability to read past messages when an account is compromised) - I'd rather have some enthusiastic outsiders develop an open source basic PGP chrome extension to sit on top of gmail or something (maybe that already exists)
Tyler Winklevoss’s ticket to space now worth $3M in Bitcoin
"I can't imagine price would be major factor for a company of Cloudflare's size, but it's definitely true that the 48-core part is much cheaper."

I have worked at companies with 5 employees struggling day to day to keep afloat, highly profitable companies with employee counts in the 6 figures and multiple billions in revenue and just about everything in between. I have never worked at one where cost was not a major factor.

In Cloudflare's case revenues for 2019 were $287 million and they had a net loss of $105.8 million. They are competing with a market leader, Akamai, whose revenues for 2019 were 10 times theirs and had a profit of a few hundred million dollars, so I don't suspect Cloudflare is the exception to the rule of cost being a major factor.
Auto-investing? No thanks, I like my investments modular where I can fire them if they don't work
A REST API typically does the mundane CRUD operations on data so you would definitely need a database.

More importantly, who is the customer? Companies w/o developers wouldn't probably be building an API, they would be looking at full services they can just pay for with a CC. Companies with developers can scaffold a REST API with some web development frameworks out of the box.

Who is the customer and what value does this SaaS bring?

How will you handle API authentication, rate-limits, scaling, analytics, etc.?
This is a really nice idea. This already exists for some companies in the form of Twitter accounts. I doubt the people doing the typee-typee actually has any authority over business processes, or demand a change, but I think they at least have the business owners on their speed dial, vs normal support tickets. But having an email is far better.
I thought they were referring to the thousands of people who will die because they returned to smoking cigarettes instead of vaping.
I think S-expressions are annoying in that they tend to infect a language. If you're not careful, every function invocation becomes an s-expr, and you're left with the idea that + is no different from any other function, so we could write things like "plus(a, b, divide(c,2))" if we wanted to make a functional notation. And S-exprs don't save us from associativity, here you've made + associative, which is, fine, I guess, but what does (- a b c) mean, or (/ a b c)? This sort of asymmetry is a burden that isn't worth dealing with in my mind.

On thing that I think imperative languages bring to the table is naming intermediate values through assignment, so we can do things like

base_index = root_index + offset
midpoint = length / 2
final_index = base_index + midpoint

It's rarely useful to be so verbose, but it's nice to have the ability.
I agree that a lot of software will be done declaratively rather than imperatively. But we will create DSLs for that. I don't think we will use math for that. And somebody needs to create the DSLs.
> If you can't trust what your officials are telling you, you can't organize and maintain a quarantine, an effort that requires detailed coordination to keep the quarantined area well-supplied enough to avoid most escape attempts.

That's part of what contributed to various failures explored (I do not know how accurately) by the HBO Chernobyl series. Punish truth and reward lies, and you're bound to end up with fragile systems that can't be efficiently fixed or otherwise addressed when they fall apart, in part because information can't be trusted.

[EDIT] notably it also explores the benefits of authoritarianism: when The System finally decides people who can fix the problem should have what they need to fix it, by god, they'll get it.
I dont think this is a good idea, because it would need a lot of cash and man-hours to burn just to have a mediocre finished mockup at the end.

Microsoft had a better approach once, still expensive/buggy, but at least more doable, which was adapting the various iOS kits and calling back window primitives in the backend.

And yet, they abandoned because its also a bad move in the sense that nobody will care about your platform if they just need to target iOS.

You will be doomed and have to chase and implement everything they do in iOS, even if it doesnt make sense, and nobody will care about your platform.

You will also end with more bugs and application crashes, so your platform will be seing as something inferior to Apple (emphasizing the "nobody cares about you" effect)

By the way, Blackberry took that route by implementing Android and we can see how nobody cares about Blackberry as an app platform, because in the end you know they will have to follow Android.

For me the only way to get out of this trap, is to have a distinct platform, that for some reason, people want to develop for it.

I mean, the web did this trick once, Linux is also doing this. Its doable, but its a lot of hard work and community effort based a lot in other goals other than cash.

Another way to do this trick, is to create a consortium, and to create some base API, inspired by iOS, Android and the Web, and to have a lot of industry leaders onboard.

They would need to finance the prototype or the reference implementation on top of something like Linux.

It was tried with Tizen, but given it was more of a Samsumg project without community to drive it forward it failed. Also, i dont think it can compete with Android and iOS in platform quality.. so this probably was also one of the reasons they have failed.
TurboTax was sued for making it impossible to find their legally mandated free filing product. While many people qualified, they tricked most of them into paying for their paid product unnecessarily.

Just this year they were ordered to make that products slightly easier to find, but they can still do most of their tricks to direct people away from it.

Credit Karma is an existential threat because it makes free filing easy to find.

I suspect after this deal completes, the CK free file product will start having all the same dark patterns and TurboTax's free product.
Decimal Safety Right on the Money
Someone needs to start developing the next version of Credit Karma right now.

It is going to stagnate just like Mint. :(
> One such task is the implementation of user interfaces. All this code that’s behind various buttons, input fields, sliders, etc., is pretty much standard. Granted, you have to put a lot of effort to make the code portable to a myriad of platforms: various desktops, web browsers, phones, watches, fridges, etc. But that’s exactly the kind of expertise that is easily codified.

Good luck. There will always be a need for bespoke UI. Just as there's always a need for bespoke anything that can otherwise be mass produced.
Vietnam has closed its border to China and banned all flights weeks ago.

Vietnam has already started force quarantining passengers from South Korea.

Vietnam operates a ‘brutal’ militarized ring quarantine which is extremely effective. The SK residents will not be going to a militarized area but all VN exposed to them will. SK residents go to a hospital that has been sprayed and decontaminated.

Compare this with the US and I’d argue I’d feel safer in Vietnam than here.
> was blindly copied over from C++.

From C! AFAIK C++'s references can not be null!
It isn't generous at all. The material only seemed to get worse and worse to the point where it's basically unbearable by the time you hit Labs at the 4-5 month mark. Those with good experiences are lucky. Many others are stuck in the worst group settings possible.

You rope students in who have already quit their jobs for this opportunity. Most are going to want to hope for the best and stick it out, even if things seem fishy in the first 4 weeks.

Not only that, but Lambda often changes everything up after enrollment so the marketing materials/curriculum on the website are NOT the guarantee of what is delivered. You package this chaos up as "we are constantly improving" but the early cohorts who dry-run your experimental changes suffer greatly when curriculum is so underdeveloped to the point where we have to find so much supplementary material.
This made our day : ) Thank you!
I've tried speed dating probably 3 or 4 times. It's one of those horrible things I really shouldn't keep doing, but when there's nothing else out there...

Even in such events, I've only had one time where it wasn't 0 out of 0. With that one person we only went on two days. I dunno if meeting out in meatspace has that much of an impact really.
Firefox TLMC Response to Dark Matter Root Inclusion Request Appeal
Should All Children Learn to Code by the End of High School?
Do you have any good resources in learning more about these models / approaches?
I smell media hype, anyway. People could go just as nuts over the flu each year -- I really don't see a difference.
>TurboTax was sued for making it impossible to find their legally mandated free filing product

And Googling "turbotax free" brings the page right up as the top ad return and as the first search result.
> I think we need a political/organizational solution to the privacy problem

I think Privacy as a right comes when we get rid of politicians beholden to corporate interests. Luckily there's a lot of interest in that right now.

Once we start to remove Corporate interests from the loop then legislation enshrining privacy can allow startups like Purism to really shine, and force Apple and others to step up their game.
That's a nicely built valve. Looks like something from 1890.

If the Romans had discovered the Bessemer process for making steel in quantity, the industrial revolution might have happened two thousand years sooner. They had a "steel industry", but could only make enough for swords and such. A Bessemer converter is much simpler than that valve. Would have changed history. The railroad era might have started around 150AD.
Yes it's a good point that companies currently have some sort of Twitter presence trying to address bad publicity posts, often they seem to be able to get things done.

The Ombudsman role is there to get things fixed when all else has failed, and before the angry customer posts to social media.
It is hard to justify government control of the money supply with the argument that they protect its value when you look at the value of the dollar over the past hundred years.
As it was made out of lead, I'm not sure Roman plumbing would hold up to today's definition of "clean drinking water".

But yeah, todays access to clean drinking water is largely an economical issue, not so much a technical one.
It's only gotten worse since.
I did a Masters in Maths with the OU, continuously over five and a half years. It was brutal. The percentage of people who make it all the way to to the end is savagely low (although you can cash in your chips part-way through for a lesser, but still impressive, post-graduate award).

It's guided, and the tutors are available to help, and there's the help of your fellows in the forums, but it's very much on you; this does mean that if you're motivated and persistent, you don't just get good at maths - you learn how to take a textbook and tear it into tiny little pieces like some kind of math monster.

"Here's the textbook, here's some problem sheets that will buy you a seat at the exam if you do well enough, and here's that exam - it's three hours, you'll race to answer enough questions, everything rides on it and there's five of them, plus your thesis". They were not messing around, I discovered :/

If you really are eager to learn more, and ready to challenge yourself, it's good.
If the app does a good enough job selecting the men, that screening process delivers value to the women.
I'm not sure how it's a fair comparison between ready-made Unix tools and written-from-scratch solution. I mean it's like somebody asked me to implement a C compiler, and when I produced a huge pile of source code would tell me "Idiot, I can do all that by just typing "gcc"! Muah-hah-ha!"
Ban all traffic across the George Washington, Bayonne, Goethals, Outerbridge, Lincoln, and Holland tunnels, as well as cutting off the Hudson River rail tunnels. Next, set up checkpoints on all roads accessing or crossing I-287. Ban all ferries to or from Manhattan and Long Island. Shutdown LGA and JFK.

You now have a quarantine zone separating New York City, Long Island, and some of the nearby cities in New York from the rest of the country. The Hudson River provides a pretty decent barrier to travel along the NEC. The Delaware, Potomac, and Susquehanna also provides some barriers, but enforcing quarantine barriers to inland travel is much more difficult (unless you're cutting off the Delmarva entirely).
I find this whole infrastructure, despite my taking advantage of it, to be very flawed. There're many customers who might have alarming issues, who never get attention because they're fearful to be perceived as a "Karen" for bitching on Twitter.
They demo the skilled people and once they have the account they turn it over to the juniors...

But that probably works in most cases/places anyway.
I had a good friend who said he thought dating apps only work for people who are attractive. Looking at my own friends in my life who have had successful relationships from dating apps and those who are frustrated by them, I'd say my friend was wrong. Dating apps only work for _very_ attractive people, 7 out of 10 guys and up (6/10 and up for women).

The market graphs in the article are really apt.
It might make it easier to regulate. If you revoke access and can prove you own the pod the data originated from, it provides a way for a sort of "individual DMCA".
Great website for people passionate about tehnology
Now it does. That was part of the lawsuit. That before, when you googled [turbotax free], it took you to their paid product.
You build an abstraction layer, yes:

knit.sock(.left)

However, your next roadblock would be the framework itself: you throw new tasks at it that it can't handle, you start adding more states and conditionals, more lambdas and/or polymorphism until it gets so ugly you start hating the framework (and yourself) and realize you will never finish it. Time for a big rewrite.

One of the essential skills in software engineering is the ability to carefully craft beautiful and minimalist abstraction layers that won't let you down.
Wow, I totally missed this - good to know!
Hopefully we’ll get lucky with this one and it will “only” be a bit worse than the flu. We don’t know. The risks lie in the unknown.

But, if this thing (or some other thing down the road) is bad, then won’t democracies essentially be faced with the decision to suspend liberty in a martial-law type situation? Effectively becoming (at least temporarily) authoritarian?

If not, what’s the Democratic model for addressing a situation requiring mass quarantine? Seems like a good question to ask before facing such a crisis, even if it seems outlandish or fringe.
Pretty much my experience re Indian outsourcing. What I used to find most annoying is that 'manager' mentality: I appreciate a lot of people like to boss people around and,as the author states, it's kind of safer (and better paid) step on a corporate ladder, but boy some of them are useless.. You talk to the guy, he agrees to pretty much anything,even If I'd ask to build a lift to mars.Then eventually he comes back with dev's questions.I provide very detail and explicit info on what I need(For anyone who has any knowledge in the tech they used it would almost be like asking to write a couple of loops).Again lots of yes,yes,yes.Then silence and again even more questions. Manager's function is absolutely useless in this case. Also, if the churn rate is low, the companies usually have very capable people who tend to know their shit.
WiFi MAC randomization in Android 8.0
It's analogous to the systems that make your password show up as dots when you type it in. The security model isn't affected at all - dedicated attackers can "break the barrier" by just looking at your keyboard instead - but it significantly mitigates harm by making certain low-effort attacks harder to perform.