2011
A gentle introduction to automated reasoning
Meet Amazon Science’s newest research area.
New
The latest blog posts to take off on Hacker News. 2,332 posts.
2012
2013
Safari now supports File System Access API with private origin
WebKit supports new API that makes it possible for web apps to create, open, read, and write files directly, or create directories and enumerate their contents.
2014
2015
2016
GStreamer 1.20: Embedded and WebRTC lead the way
At the forefront of contributors for this latest release, our team's work focused on two areas in which we believe GStreamer shines the brightest: embedded systems, and network streaming, in particular WebRTC.
2017
2021 at OCamlPro
OCamlPro was created in 2011 to advocate the adoption of the OCaml language and Formal Methods in general in the industry. 2021 was a very special year as we celebrated our 10th anniversary! While building a team of highly-skilled engineers, we navigated through our expertise domains, programming la...
2018
LXC vs. Docker
Are you confused about whether to use LXC or Docker for your containerization needs? This article compares the two container platforms in terms of ...
2019
Rethinking Levels, Promotions and Salaries
Daily recently restructured our levels, promotions and salaries in somewhat unusual ways, and we want to share what we’re doing. We’re still early enough in our growth that we can’t compete with companies like Google and Netflix on salary alone. But we can be thoughtful in how
2020
Nix: An idea whose time has come
Joe Armstrong once described Erlang as the quest for programs you “write once, run forever.” Nix, conversely, might be one that runs wherever, whenever.
2021
Controlling the nuclear fusion plasma in a tokamak with reinforcement learning
Successfully controlling the nuclear fusion plasma in a tokamak with deep reinforcement learning
2022
2023
WebGL 2.0 Achieves Pervasive Support from All Major Web Browsers
One of the great headaches of developing interactive graphics applications for online deployment is covering every base. Your targets likely include a near-infinite combination of browser vendors, browser versions, and graphics hardware. The Khronos Group created WebGL to slice through this Gordian knot, rendering…
2024
NSA's Backdoor of the PX1000-Cr
In 1983, the PX-1000 pocket telex used DES encryption. But with help of Philips, the NSA managed to replace DES with an alternative (weaker) algorithm that they could break. That NSA algorithm is now broken.
2025
Building for the 99% Developers
Software development is not all clean code and automated processes -- and it never will be. Buyers and vendors both need to realize this.
2026
Elastic and Amazon reach agreement on trademark infringement lawsuit
We’re pleased to share that Elastic and Amazon have resolved the trademark infringement lawsuit related to the term Elasticsearch. Now the only Elasticsearch service on AWS and the AWS Marketplace is ...
2027
Current MFA fatigue attack campaign targeting Microsoft Office 365 users
We provide around-the-clock threat detection and incident response, backed by expert consulting to keep your organization secure.
2028
Some neurons are active when adding, others when subtracting
Most elementary school children probably already know that three apples plus two apples add up to five apples. However, what happens in the brain during such calculations is still largely unknown. The current study by the Universities of Bonn and Tübingen now sheds light on this issue.
2029
Study: Effectiveness of Apple's app tracking transparency
Does it stop third-party tracking? Or is it just an illusion of privacy?
2030
Aserto: Developer API for permissions and RBAC
No one should build permissions and RBAC on their own. Aserto's authorization-as-a-service platform is here to make sure of it!
2031
Apache Arrow Flight SQL: Accelerating Database Access
This post introduces Arrow Flight SQL, a protocol for interacting with SQL databases over Arrow Flight. We have been working on this protocol over the last six months, and are looking for feedback, interested contributors, and early adopters.
2032
Intel to Acquire Tower Semiconductor for $5.4B
Intel and Tower Semiconductor on Feb. 15, 2022, announced a definitive agreement under which Intel will acquire Tower for $53 per share in cash, representing a total enterprise value of approximately $5.4 billion. (Credit: Intel Corporation and Tower Semiconductor)
2033
I quit my job to make free web tools
Explore fast and reliable DNS lookup tools, domain information, and essential network utilities all in one place on NSLookup.io.
2034
2035
2036
Lorinda Cherry, author of dc, bc, eqn has died
Aisha Washington is a global people and culture executive with more than two decades of experience driving enterprise growth through HR M&A integration, workforce AI transformation, high-performance culture, and team
2037
No one cared about my spreadsheets
The most painful part of writing The Case Against Education was calculating the return to education. I spent fifteen months working on the spreadsheets. I came up with the baseline case, did scores of “variations on a theme,” noticed a small mistake or blind alley, then started over. Several programmer friends advised…
2038
Akamai to Acquire Linode
Akamai today announced it has entered into a definitive agreement to acquire Linode, one of the easiest-to-use and most trusted infrastructure-as-a-service (IaaS) platform providers.
2039
The Unbundling of Airflow
Star us on GitHub In each subdomain of software, we have seen the same story over and over again. Products start small, in time, add adjacent verticals and functionality to their offerings and end up becoming a platform. Once these platforms become big enough, people start to figure out how
2040
The Fun Scale (2014)
What is your idea of fun? Kelly Cordes details The Fun Scale, measuring the degrees of fun activities in the outdoors.