Stories by based2

Oq – A portable/performant jq wrapper

New ransomware is targeting network attached storage devices

Inox: Solver for higher-order functional programs

Formal Verification of Scala Programs with Stainless – Romain Ruetschi

A language which does term inference (2008)

Keynote: Some Mistakes We Made When Designing Implicits – Martin Odersky

Tekton Pipelines – K8s-style resources for declaring CI pipelines

Patch Tuesday Megathread (2019-07-09)

Apache Maven Wagon 3.3.3 Released

Detecting the Impossible: Serverless C2 in the Cloud

Ex-NASA Mars InSight contractor sets legal eagles on JPL over whistleblower sack

First Announces CVSS Version 3.1

CVE-2019-1855 Cisco Jabber for Windows could allow an authenticated, local attac

Trend Micro to Deliver Transparent, in Net SEC with AWS Web Services Transit G

Usenet file-swapping was acceptable in the '80s – but not so much now: Pirate p

Amazon brings serverless pie to Visual Studio Code party

Brilliant Boston boffins blow big borehole in Bluetooth's ballyhooed bar

Premera Blue Cross pays states $10M over data breach

Generates a Sitemap Automatically

Sonic: Fast, lightweight and schema-less search back end (Rust)

71
72
73
74
75
76
77
78
79
80