Another week has passed, and another 3 million people in the US have filed for unemployment. While the current situation hasn’t impacted programming jobs quite as much, it’s just a matter of time before the economic damage hits most everywhere. There will be layoffs, and plenty of them, and occasionally whole…
This is somewhat of a followup to my post on Lua integration from a few days ago.
The Internet continues to evolve at a rapid pace. New services, applications, and protocols are being developed and deployed in many areas.
PCjs offers a variety of online machine emulators written in JavaScript. Run DOS, Windows, OS/2 and other vintage PC applications in a web browser on your desktop computer, iPhone, or iPad. An assortment of microcomputers, minicomputers, terminals, programmable calculators, and arcade machines are also available…
How is your startup sharing knowledge with the rest of your team?We’ve been using slack’s #general or #random channels to make announcements.We regularly post documents and PPTs in slack channels s...
Researchers at EPFL are assessing Switzerland’s solar power potential. Their results show that photovoltaic panels could be installed on more than half of the country’s 9.6 million rooftops. The resulting power would meet more than 40% of Swiss electricity demand.
This is the absolute best guide you'll find in the internet about how php handles typing internally and in userland.
This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs. Quick…
Throughout my career, I’ve developed some opinions. Some have worn particularly deep ruts, reinforced by years of experience. I tried to…
The event that would eventually lead to Isaac Newton writing and publishing his magnum opus, the Philosophiæ Naturalis Principia Mathematica (the Mathematical Principles of Natural Philosophy), too…
If you click on this picture, you’ll see a zoomable image of the Milky Way with 84 million stars: But stars contribute only a tiny fraction of the total entropy in the observable Universe. If…
Blog of Guillaume Gomez (Guide on how to write documentation for a Rust crate)
A “cold start” is the time it takes to load and execute a new copy of a serverless function for the first time. It’s a problem that’s both complicated to solve and costly to fix.
Nim is in an excellent position to “get married” with static analysis, and it doesn’t have to be based on some intermediate representation but can achieve a solution more similar to Spark.
The Agency knew that their best asset for selling their wars was Barack Obama -- the same reason so many in the security state were eager to get rid of Donald Trump.
Mendoza is a new, super efficient format for expressing differences between JSON documents.
When polarizing topics are discussed in meetings, passions can run high and cloud our judgment. Learn how mental models can help you see clearly from this real-life scenario.
Research by: Eyal Itkin Overview One of our goals for every research project we work on in Check Point Research is to get an intimate understanding of how software work: What components do they contain? Are they vulnerable? How can attackers exploit these vulnerabilities? And more importantly, how can we protect…
Adding a reader to our Lisp compiler
Hi, I’m Ann. I was one of the first investors in Lyft, Refinery29, and Xamarin. I have been on the Midas List for the past 3 years and was…
In the mid-90s I was an avid user of online conferencing system called CIX (Compulink Information eXchange). CIX was built using the CoSy Conferencing system from the University of Guelph, which has since been open sourced. Think of it like a dial-up or telnet-accessed forum or message board with a nerd-heavy…
In this post I'll outline several ways to build containers without the need for Docker itself including buildkit, kaniko, GitHub Actions, GitLab and Jenkins
This blog post is about my journey to understand the current practice of de-anonymization via the clickjacking technique whereby a malicious website is able to uncover the identity of a visitor, including his full name and possibly other personal information. I don’t present any new information here that isn’t already…
An extensible developer-friendly application security platform that scans source code to surface true and actionable security issues with AI-assisted SAST, SCA, and Secrets Detection solutions.
In late 1986 and early 1987 an ad hoc group of Smalltalk implementors got together to see if they could agree on a design for the next major version of Smalltalk, after Smalltalk-80. The intent was that what they agreed upon would feed into an IEEE standardization process. That process never got
