1771
A Foray into Go Assembly Programming
This blog post started last August when I was integrating the Spectator PercentileTimer concept into the metrics library in Rend so we could get better cross-fleet latency percentiles.
1772
TLA+ in Practice and Theory, Part 4: Order in TLA+
We learn how to encapsulate and compose TLA+ specifications, of the precise mathematical definition of abstraction, and compare TLA+'s notion of abstraction with those of other formalisms. Plus some various cool stuff.
1773
Tech Workers' Values
For good and bad, technology has become a central force in all our lives. As members of the community, we're interested in ways in which tech companies can use their collective power to protect...
1774
To type or not to type: quantifying detectable bugs in JavaScript
To type or not to type: quantifying detectable bugs in JavaScript Gao et al., ICSE 2017 This is a terrific piece of work with immediate practical applications for many project teams. Is it worth th…
1775
The End of ProTube 2
I am very sad to announce that ProTube was removed from the App Store by Apple on September 1, 2017. This comes after multiple requests and threats by YouTube which ultimately led Apple to suddenly pulling the app from the App Store. ProTube and many other 3rd party YouTube apps on the App Store have been targeted by…
1776
1777
Why So Many Top Hackers Hail from Russia
Conventional wisdom says one reason so many hackers seem to hail from Russia and parts of the former Soviet Union is that these countries have traditionally placed a much greater emphasis than educational institutions in the West on teaching information technology in middle and high schools, and yet they lack a…
1778
AWS Lambda – Best practices
In this post we are going to go through the best practices while building an AWS Lambda function. In order to go through this blog you should know what is it and you should ideally have built at le…
1779
Turn your website into a Progressive Web App
A Progressive Web App, or PWA, uses modern web capabilities to deliver an app-like user experience. Any website can be a PWA - here's how to do it.
1780
1781
Photovoltaic growth: reality versus projections of the IEA
This is a guest blog by Auke Hoekstra, senior adviser electric mobility at the Eindhoven University of Technology and developer of agent-based models for electric vehicles and renewable energy adop…
1782
Clojure Linear Algebra Refresher: 1 – Vector Spaces
This article is a starting article in a series that is going to briefly skim through a good engineering textbook on linear algebra, making notes that help yo...
1783
Removing everything from GitHub
Github recently drafted an update to their Terms Of Service. The new TOS is potentially very bad for copylefted Free Software. It potentially neuters it entirely, so GPL licensed software hosted on Github has an implicit BSD-like license. I'll leave the full analysis to the lawyers, but see Thorsten's analysis .
1784
1785
Charlie Munger on Getting Rich, Wisdom, Focus, Fake Knowledge and More
Charlie Munger offers timeless and pithy wisdom on getting rich, focus, fake knowledge, understanding our circle of competence, and so much more.
1786
1787
1788
Rise and fall of JVM languages
Every now and then, there’s a post predicting the death of the Java language. The funny thing is that none of them writes about a date. But to be honest, they are all probably true. This is the fate of every language: to disappear into oblivion - or more precisely to be used less and less for new projects.
1789
Obscurity Is a Valid Security Layer
Good Obscurity vs. Bad Obscurity Camouflage OPSEC An SSH Example Reducing Impact or Probability Summary Many of us are familiar with a concept know as Security
1790
Typing with pleasure, and low latency
In this article I examine human- and machine aspects of typing latency (“typing lag”) and present experimental data on latency of popular text / code editors. The article is inspired by my work on implementing “zero-latency typing” in IntelliJ IDEA.
1791
Elon Musk’s Ideas About Transportation are Boring
Four years ago, I broke my comment section by declaring that Elon Musk’s Hyperloop proposal had no merit, combining technical criticism with expressions like “barf ride” and ̶…
1792
Google terminating YouTube channels and videos (2016)
YouTube partners are struggling to get their videos reinstated after false copyright claims. Where's the Fair Use?
1793
Show HN: “Statements and State”, the next chapter of my book on interpreters
All my life, my heart has yearned for a thing I cannot name. André Breton, Mad Love
1794
Zero-knowledge proofs, Zcash, and Ethereum
Part 3 of a series on “Privacy on the Blockchain”.
1795
Hacker News for Hackers
Hacker News is one of the best sources for news in the intersection of technology and business. Hacker News gets nearly 1000 submissions on a busy weekday, and quite a bit less on the weekends:
1796
Announcing DatHTTPD
Serve sites over Dat and HTTPS, with automatic certificate provision.
1797
1798
The Shape of Rome (2013)
The new Mayor of the city of Rome, Ignazio Marino, just announced his intention to destroy one of the city’s central roads, the Via dei Fori Imperiali, and turn the area around the old Roman Forum into the world’s largest archaeological park. Reactions have ranged from commuters’ groans to declarations from…
1799
The Ethics of Running a Data Breach Search Service
No matter how much anyone tries to sugar coat it, a service like Have I been pwned [https://haveibeenpwned.com/] (HIBP) which deals with billions of records hacked out of other peoples' systems is always going to sit in a grey area. There are degrees, of course; at one end
1800