Well… it puts the key server externally, so it isn’t your problem 🙂
cloudflare/keyless · GitHub.

This project’s goal is to create a "best practices" web application penetration testing framework which users can implement in their own organizations and a "low level" web application penetration testing guide that describes how to find certain issues.

via OWASP Testing Project – OWASP.

Table of Contents here

General Dynamics C4 Systems and NICTA are pleased to announce the open sourcing of seL4, the world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. It is still the world’s most highly-assured OS.

What’s being released?

It includes all of the kernel’s source code, all the proofs, plus other code and proofs useful for building highly trustworthy systems. All is under standard open-source licensing terms — either GPL version 2, or the 2-clause BSD licence.

via Home | seL4.

Unique about seL4 is its unprecedented degree of assurance, achieved through formal verification. Specifically, the ARM version of seL4 is the first (and still only) general-purpose OS kernel with a full code-level functional correctness proof, meaning a mathematical proof that the implementation (written in C) adheres to its specification. In short, the implementation is proved to be bug-free (see below). This also implies a number of other properties, such as freedom from buffer overflows, null pointer exceptions, use-after-free, etc

FossaMail is an Open Source, Mozilla Thunderbird-based mail, news and chat client for Windows, brought to you by the Pale Moon developer (and therefore not affiliated with the Mozilla Corporation). It is an optimized and reconfigured re-build of Mozilla Thunderbird ESR.

via FossaMail.

De GEMMA Softwarecatalogus bevat het software-aanbod van ruim 130 ICT-leveranciers die zich committeren aan e-overheid standaarden. In de softwarecatalogus kunnen gemeenten eenvoudig hun eigen applicatieportfolio invoeren en een eigen applicatielandschap plotten. Gemeenten kunnen zoeken en kijken in elkaars applicatieportfolio om vervolgens ervaringen en kennis uit te wisselen.

via GEMMA Softwarecatalogus.

Microsoft’s streaming version of Office has broken for some users after a patch. Isn’t the cloud lovely!

Streamingversie Office start niet meer op na patch – Webwereld.

UNetbootin allows you to create bootable Live USB drives for Ubuntu, Fedora, and other Linux distributions without burning a CD. It runs on Windows, Linux, and Mac OS X. You can either let UNetbootin download one of the many distributions supported out-of-the-box for you, or supply your own Linux .iso file if you’ve already downloaded one or your preferred distribution isn’t on the list.

via UNetbootin – Homepage and Downloads.

ULTIMEYES® optimizes visual processing to reduce blurring. Proprietary algorithms monitor your performance and adapt to it, creating a customized session to ensure optimal progress.

Numerous scientific studies conducted over more than a decade support the principles upon which ULTIMEYES® was created.

via ULTIMEYES®.

A customizable open-source web application that assembles the tools you need to accomplish any task and enables those tools to communicate with each other.

It allows you to take information from different web based software packages you might have and turn them into widgets on a centralised website dashboard.

OZONE is a web application that allows users to easily access all their online tools from one location. Not only can users access websites and applications with widgets, they can group them and configure some applications to interact with each other via widget intents.

via OZONE Platform.

To bring your data to life, there are plenty of options around.

D3 is a JavaScript library for manipulating documents based on data. D3 helps you bring data to life using HTML, SVG and CSS. D3’s emphasis on web standards gives you the full capabilities of modern browsers without tying yourself to a proprietary framework, combining powerful visualization components and a data-driven approach to DOM manipulation.

As you can see, there are loads of different graphs, graphics, plots, etc you can generate to display your data differently.

Bokeh is a Python interactive visualization library for large datasets that natively uses the latest web technologies. Its goal is to provide elegant, concise construction of novel graphics in the style of Protovis/D3, while delivering high-performance interactivity over large data to thin clients

The advantage these packages have over, say, IBM ManyEyes is that they are locally installed and you don’t give your data away.

Munich open source switch 'completed successfully'.

MillionShort.

CollectiveAccess is free open-source software for managing and publishing museum and archival collections.

Runs on any modern web browser

Pre-configured with several library standards including Dublin Core, PBCore, VRA Core and more

Customizable through simple user interfaces — no complex programming required

Reporting tools easily generate finding aids and exports to PDF or spreadsheet-readable formats

Supports multilingual cataloging

Mapping tools allow you to georeference any asset

Integrated with Library of Congress subject headings, Getty vocabularies, GeoNames, and more

Plugins extend the software’s core functionality to support timelines, visualizations, image licensing and more

Import frameworks allow for the batch migration and transformation of media and data

Free online documentation and support

via Welcome to collectiveaccess.org | collectiveaccess.org.

Looks like it. It’s protocol independent, reduces complexity and duplication and will sigificantly reduce the packet filtering footprint in the kernel. It should also make it more easily extensible in the future, as it runs in user space in a virtual machine.

http://lwn.net/Articles/324989/

Run windows applications without installing them. Zero install also keeps the applications up to date.

http://0install.de/?lang=en

ZMap is an open-source network scanner that enables researchers to easily perform Internet-wide network studies. With a single machine and a well provisioned network uplink, ZMap is capable of performing a complete scan of the IPv4 address space in under 45 minutes, approaching the theoretical limit of gigabit Ethernet.

via ZMap · The Internet Scanner.

What a way to view your website logs, a bit like pong!

logstalgia – website access log visualization – Google Project Hosting.

What’s interesting about this, is that all the users on the PC get their own mouse to control independently ScreenHero