The latest blog posts to take off on Hacker News. 5,567 posts.
Robin Milner's type system with parametric polymorphism was a significant advance over the systems of Russell and Church. Arguably it is the ability to use type-variables that makes higher order logic a practical vehicle for proving non-trivial theorems. The Hindley-Milner algorithm is used to automatically infer…
At some point in my software engineering/leadership career, it became evident that I was expected to have Impostor Syndrome. Indeed, it became clear that all underrepresented people in tech were expected to have Impostor Syndrome. I noticed this mostly in groups of women where especially the younger women would talk…
No Idea What We're Doing Do What Makes Money People Using Our Free Tool We Made $10 I know what you’re thinking. “That title has to be a typo. No one
Clojure REPLs are used for a broad spectrum of purposes, from learning the language to data exploration to live music performance. This chapter will provide some guiding principles for applying Clojure REPLs to the more common use case of pragmatic software development.
Hi, my name is Adam Ramirez. I am a UX Designer who focuses on Design Facilitation and Product Analytics with 10 years of experience under my belt. In the past 5 years, I have been working to deliver the best possible user experience to my clients and their users.
Pinboard is eleven years old today! Every year when I don't forget I try to publish the same stats:
We are looking for feedback on the Temporal proposal to improve date & time handling in JavaScript.
What are PostgreSQL templates and what are they used for?
By Brandon Azad, Project ZeroAt 3 PM PDT on May 23, 2020, the unc0ver jailbreak was released for ...
A new law being proposed in Germany would see all 19 federal state intelligence agencies in Germany granted the power to spy on German citizens through
GitHub has introduced READMEs for profiles that allow to display profile views
The importance of testing in modern software development is really hard to overstate. Delivering a successful product is not something you do once and forget about, but is rather a continuous and recurring process. With every line of code that changes,…
To dwellers in a wood, almost every species of tree has its voice as well as its feature. Thomas Hardy, Under the Greenwood Tree
Washington, D.C.—The Electronic Frontier Foundation (EFF) and leading cybersecurity experts today urged the Supreme Court to rein in the scope of the Computer Fraud and Abuse Act (CFAA)—and protect the security research we all rely on to keep us safe—by holding that accessing computers in ways that...
My experience with both languages.
Starting today, July 8th, the Tor Project is running a one month campaign called #MoreOnionsPorfavor to raise awareness about onion sites, that is, websites available over onion services. We recently released a feature called Onion-Location in Tor Browser that announces to users if a website has an onion site…
But hey, at least Reddit gets less ad fraud!
I'll be looking for a new job soon, readers! And this has been cause for some reflection. In Emeryville, CA, there is an "international...
Attempting to model modern dating using the lessons learned from the stable marriage problem
By Chris Sells (Google) & Ken VanDine (Canonical) Google’s goal for Flutter has always been to provide a portable framework for building beautiful UIs that run at native speeds no matter what platform you target. To validate this capability, we started by focusing on the mobile platforms, Android and iOS, where we’ve…
Modern OpenGL, and by extension WebGL, is very different from the legacy OpenGL I learned in the past. I understand how rasterization works, so I’m comfortable with the concepts. However, every tutorial I’ve read introduced abstractions and helper functions that make it harder for me to understand which parts are…
Got things to do and things to watch? Do both using Picture-in-Picture in Firefox. It lets you pop a video out of its webpage and pin it to your screen so you can keep watching while you're on other pages, tabs and apps.
