Clik here to view.
North American F-82 Twin Mustang
From Wikipedia, the free encyclopedia"F-82" redirects here. For other uses, see F82 (disambiguation).P-82/F-82 Twin MustangXP-82 prototypeRoleLong-range escort fighter and night...
View ArticleClik here to view.
Designing a Tree Diff Algorithm Using Dynamic Programming and A*
17 June 2017During my internship at Jane Street, one of my projects was a config editing tool that at first sounded straightforward but culminated in me designing a custom tree diffing algorithm using...
View ArticleClik here to view.
Car Wash Hack Can Strike Vehicle, Trap Passengers, Douse Them with Water
The security problems found in internet-enabled medical equipment and cars in recent years have raised a lot of awareness about the public safety risks of connected devices. But it's not just...
View ArticleClik here to view.
Cooling the Earth with a cloud of small spacecraft near the inner Lagrange point
Roger Angel*University of Arizona, Steward Observatory, 933 North Cherry Avenue, Tucson, AZ 85721Contributed by Roger Angel, September 18, 2006AbstractIf it were to become apparent that dangerous...
View ArticleClik here to view.
Same day ACH: moving payments faster in the USA
New capabilities of Same Day ACH become effective over phases to allow financial institutions and businesses to acclimate to a faster processing environment, as well as to ease the implementation...
View ArticleClik here to view.
Writing a Formally-Verified Porn Browser in Coq and Haskell
It’s uncommon to use formal verification when developing software. Most people are unfamiliar with the tools and techniques, or assume they’re only for specialized use.This article will show how to...
View ArticleClik here to view.
Beginners Guide to Vulkan
Recently I asked the community for beginner-friendly resources on Vulkan, and I compiled a list of them that you can find below. For the beginners reading this, Vulkan is a new graphics API-- in other...
View ArticleClik here to view.
MTuner is a C/C++ memory profiler and memory leak finder
README.mdMTuner is a C/C++ memory profiler and memory leak finder for Windows, PS4, PS3, etc.MTuner utilizes a novel approach to memory profiling and analysis, keeping entire time-based history of...
View ArticleClik here to view.
Things That Turbo Pascal Is Smaller Than (2011)
Turbo Pascal 3 for MS-DOS was released in September 1986. Being version 3, there were lesser releases prior to it and flashier ones after, but 3 was a solid representation of the Turbo Pascal...
View ArticleClik here to view.
Destroy All Monsters: A Journey Deep into the Caverns of Dungeons and Dragons
If you are on a personal connection, like at home, you can run an anti-virus scan on your device to make sure it is not infected with malware.If you are at an office or shared network, you can ask the...
View ArticleClik here to view.
Catching the Great American Eclipse at 35,000 Feet
There’s nothing Alaska Airlines pilots like more than a challenge. As a company that started out flying between remote airfields deep in the Alaskan “bush,” safely navigating where other airlines can’t...
View ArticleClik here to view.
Fun vs. Computer Science (2016)
I've spent most of my career working on games, either programming or designing them or both. Games are weird, because everything comes down to this nebulous thing called fun, and there's a complete...
View ArticleClik here to view.
AdNauseam – Clicking Ads So You Don't Have To
As online advertising becomes ever more ubiquitous and unsanctioned, AdNauseam works to complete the cycle by automating Ad clicks universally and blindly on behalf of its users. Built atop uBlock...
View ArticleClik here to view.
If the Waffle House is closed, it's Time to Panic (2016)
On a warm, cloudy morning in the first week of October, in an anonymous office park just outside Atlanta, operations analyst Matt Stark opened a computer program, ran through some data and looked...
View ArticleClik here to view.
Category Theory
Entry Navigation Entry ContentsBibliographyAcademic ToolsFriends PDF Preview Author and Citation Info Back to Top First published Fri Dec 6, 1996; substantive revision Fri Oct 3, 2014 Category theory...
View ArticleClik here to view.
How it feels to learn JavaScript in 2017
Hey, I got this new web project, but to be honest I haven’t coded much web in a few years and from what I’ve been reading it looks like the landscape changed a lot. You are the most up-to-date web dev...
View ArticleClik here to view.
Chinese gov't demands name verification for online commenting
China announces new rules, forbidding unidentified netizens from posting anything on internet platformsChina’s internet censorship is getting tougher and more comprehensive every day. On August 25,...
View ArticleClik here to view.
Germany's facial recognition pilot program divides public
German Interior Minister Thomas de Maizière paid a special visit on Thursday to Berlin's Südkreuz train station, one of the largest railway junctions in the country's capital. With local and long...
View ArticleClik here to view.
Breaking up the Container Monolith
Dan Walsh, of SELinux Coloring Book fame, presented on the work he and his team have been doing with containers. Dan has long been a technical leader in the container and SELinux spaces and is an...
View ArticleClik here to view.
Introducing Puppet Support for Google Cloud Platform
By Nelson Araujo, Software EngineerThe ability to control resources programmatically with tools they know and love can make a big difference for developers creating cloud-native applications. That’s...
View Article