~?~

~?~

[if lt IE 7]> <style type="text/css"> #logo_holder img { filter:progid:DXImageTransform.Microsoft.Alpha(opacity=0); } #logo_holder { display: inline-block; width: 176px; height: 44px; filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='http://store.akamai.steamstatic.com/public/images/v5/globalheader_logo.png'); } </style> <![endif] STORE COMMUNITY ABOUT SUPPORT Install Steam login | language Български (Bulgarian) čeština (Czech) Dansk (Danish) Nederlands (Dutch) Suomi (Finnish) Français (French) Ελληνικά (Greek) Deutsch (German) Magyar (Hungarian) Italiano (Italian) 日本語 (Japanese) 한국어 (Korean) Norsk (Norwegian) Polski (Polish) Português (Portuguese) Português-Brasil (Portuguese-Brazil) Русский (Russian) Română (Romanian) 简体中文 (Simplified Chinese) Español (Spanish) Svenska (Swedish) 繁體中文 (Traditional Chine...

Branding and Header https://www.youtube.com/watch?v=ZkUHGvy2pNU TIS-100 is an open-ended programming game by Zachtronics, the creators of SpaceChem and Infinifactory, in which you rewrite corrupted code segments to repair the TIS-100 and unlock its secrets. It’s the assembly language programming game you never asked for! Now available on Steam Early Access for Windows, OS X, and Linux! Purchase on Steam Print and explore the TIS-100 reference manual, which details the inner-workings of the TIS-100 while evoking the aesthetics of a 1980’s computer manual! Solve more than 20 puzzles, competing against your friends and the world to minimize your cycle, instruction, and node counts. Design your own challenges in the TIS-100’s 3 sandboxes, including a “visual console” that lets you create your own games within the game! Uncover the mysteries of the TIS-100… who created i...

<![endif] [if lt IE 9]> <p class="chromeframe">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience.</p> <![endif] Begin Header Galois, Inc. Menu Research & Development Services Blog Team End Header Begin Page Blog > Announcing the Software Analysis Workbench Cryptography Domain Specific Languages Elections Formal Methods Functional Programming News Systems Software Tech Talks Share this article Facebook Twitter Google+ Aaron Tomb Tuesday, June 9, 2015 Cryptography , Formal Methods We are pleased to announce a public preview of the Software Analysis Workbench. The Software Analysis Workbench (SAW) provides the ability to formally verify properties of code written in C, Java, and Cryptol. It leverages automated SAT and SM...

~?~

~?~

A Few Thoughts on Cryptographic Engineering Some random thoughts about crypto. Notes from a course I teach. Pictures of my dachshunds. corrects IE6 width calculation google_ad_section_start(name=default) Friday, May 22, 2015 In case you haven't heard, there's a new SSL/TLS vulnerability making the rounds. Nicknamed Logjam , the new attack is 'special' in that it may admit complete decryption or hijacking of any TLS connection you make to an improperly configured web or mail server. Worse, there's at least circumstantial evidence that similar (and more powerful) attacks might already be in the toolkit of some state-level attackers such as the NSA. This work is the result of an unusual collaboration between a fantastic...

A Few Thoughts on Cryptographic Engineering Some random thoughts about crypto. Notes from a course I teach. Pictures of my dachshunds. corrects IE6 width calculation google_ad_section_start(name=default) Thursday, November 27, 2014 One of the best things about modern cryptography is the beautiful terminology. You could start any number of punk bands (or Tumblrs ) named after cryptography terms like 'hard-core predicate', 'trapdoor function', ' or 'impossible differential cryptanalysis'. And of course, I haven't even mentioned the one term that surpasses all of these. That term is ' zero knowledge '. In fact, the term 'zero knowledge' is so appealing that it leads to problems. People misuse it, assuming that zero know...

~?~

~?~

Skip to content Sign up Sign in This repository Explore Features Enterprise Blog Watch 12 Star 2 Fork 0 infoforcefeed / Clear-Waste-of-Time /.container /.repohead Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with HTTPS or Subversion . Download ZIP /.repository-sidebar branch: master Switch branches/tags Branches Tags master Nothing to show Nothing to show Clear-Waste-of-Time / the-script-downloading-protocol / WORKS EVERYTIME latest commit 228b36c620 qpfiffer authored Jun 9, 2015 Permalink .. Failed to load latest commit information. client.py BEHOL<D THE FILE TRANSFER! Jun 9, 2015 server.py WORKS EVERYTIME Jun 9, 2015 /...

current community chat blog Information Security Information Security Meta Sign up or log in to customize your list. more stack exchange communities Stack Exchange sign up log in tour help Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site Information Security Questions Tags Users Badges Unanswered Ask Question Take the 2-minute tour × Information Security Stack Exchange is a question and answer site for Information security professionals. It's 100% free, no registration required. Can a zero knowledge proof of voting be made using a trusted auth server (without client side crypto)? up vote 3 down vote favorite 4 Questions: Can one implement a se...

~?~

Skip to content Sign up Sign in This repository Explore Features Enterprise Blog Watch 12 Star 2 Fork 0 infoforcefeed / Clear-Waste-of-Time /.container /.repohead Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with HTTPS or Subversion . Download ZIP /.repository-sidebar Don't worry about it 2 commits 1 branch 0 releases 1 contributor Python 100.0% Python branch: master Switch branches/tags Branches Tags master Nothing to show Nothing to show Clear-Waste-of-Time / Add RGB -> HSV converter. latest commit d4def16985 qpfiffer authored Jun 8, 2015 Permalink Failed to load latest commit information. .gitignore Add RGB -> H...

~?~

Sign up for a GitHub account Sign in All Gists qpfiffer / gist:9f4de72c6e43485bdade Created June 10, 2015 Code Revisions 1 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav View gist:9f4de72c6e43485bdade gistfile1.txt Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 -- Installing: /home/quinlan/src/Polycode/Standalone/../Release/Linux/Standalone/Docs/html/css/bootstrap-theme.min.css -- Installing: /home/quinlan/src/Polycode/Standalone/../Release/Linux/Standalone/Docs/html/css/bootstrap.css -- Installing: /home/quinlan/src/Polycode/Standalone/../Release/Linux/Standalone/Docs/html/css/bootstrap.css.map -- Installing: /home/quinla...

Toggle navigation Features Gallery Download Learn Community /.nav-collapse Polycode is a C++ and Lua framework for building interactive applications. It is free, open source and cross-platform. Learn more © Ivan Safrin , Polycode team 2015 /.container ...

Lua JIT Home LuaJIT Download ⇩ Installation Running Extensions FFI Library FFI Tutorial ffi.* API FFI Semantics jit.* Library Lua/C API Status Changes FAQ Performance on x86/x64 on ARM on PPC on PPC/e500 on MIPS Wiki » Mailing List Sponsors This is the common project page for: LuaJIT — a Just-In-Time Compiler for Lua. Coco — a Lua extension for True C Coroutines . DynASM — a Dynamic Assembler for code generation engines. Lua Bitop — a Lua extension for bitwise operations on numbers. 2015-05-14 LuaJIT 2.0.4 has been released LuaJIT 2.0.4 is available for download . This release has various bugfixes over 2.0.3 — an update is recommended. Please check the changelog for more details. Copyright © 2005-2015 Mike Pall · Contact – IMPRESSUM ...

Toggle navigation Features Gallery Download Learn Community /.nav-collapse Introduction Lua scripting Basic app setup Scenes and entities Cameras and resolutions Entity instances Images and primitives Sprites and sprite sheets Rendering text Rendering meshes Skeletal animation Textures and images Materials and shaders. Lights and shadows. Post processing Particle systems Rendering to texture and virtual scenes Event system Processing input Loading and playing sounds Positional sound <h4>Utilities</h4> <div class="list-group"> <a href="/learn/timers" class="list-group-item">Timers</a> <a href="/learn/core" class="list-group-item">Core and CoreServices</a> <a href="/learn/threads" class="list-group-item">Multithreading</a> <a href="/learn/tweens" class="list-group-item">Tweens</a> ...

Skip to content Sign up Sign in This repository Explore Features Enterprise Blog Watch 170 Star 1,903 Fork 213 luvit / luvit /.container /.repohead Code Issues Pull requests Wiki Pulse Graphs HTTPS Subversion You can clone with HTTPS or Subversion . Download ZIP /.repository-sidebar Lua + libUV + jIT = pure awesomesauce https://luvit.io/ 2,402 commits 14 branches 48 releases 48 contributors Lua 97.2% JavaScript 1.3% Other 1.5% Lua JavaScript Other branch: master Switch branches/tags Branches Tags coro-all-the-things feat/port_more_tests fixes/add_append_file_support fixes/close_on_finish fixes/connect_proxy_tls fixes/nil_the_root_cas_after_load...