2712 results for “two-factor”
Adversarial Robustness - Theory and Practice Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 4 - Adversarial training, solving the outer minimization Download notes as jupyter notebook From adversarial examples to training robust
Learn how to create and maintain digital design systems, allowing your team to roll out higher quality, more consistent UIs faster than ever before.
You can protect important branches by setting branch protection rules, which define whether collaborators can delete or force push to the branch and set requirements for any pushes to the branch, such as passing status checks or a linear co
Hacker News new | past | comments | ask | show | jobs | submit login Stanford University Free Class: Design and Analysis of Algorithms I ( algo-class.org ) 207 points by ziyadb on Nov 20, 2011 | hide | past | favorite | 53 comments pcestrad
Dive deep into the Apple 'goto fail;' vulnerability. Discover its details, its impact, and effective strategies to mitigate this cybersecurity threat.
Sarah Drasner's site
Binary protocol generator. Contribute to janestreet/bin_prot development by creating an account on GitHub.
A multi-disciplinary producer and creative director specializing in turning ambitious ideas into polished, professional digital experiences.
terrytao.wordpress.comWhat's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao Home About Career advice On writing Books Mastodon+ Applets Subscribe to feed Work hard Every mathematician
Winners of the International Obfuscated C Code Contest - Pull requests · ioccc-src/winner
Winners of the International Obfuscated C Code Contest - winner/2024/ferguson2/deobfus.c at master · ioccc-src/winner
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Generation of comparison functions from types. Contribute to janestreet/ppx_compare development by creating an account on GitHub.
Introducing JSON العربية Български 中文 Český Dansk Nederlands English Esperanto Français Deutsch Ελληνικά עברית Magyar Indonesia Italiano 日本 한국어 فارسی Norsk Polski Português Română Русский Српско-хрватски Slovenščina Español Svenska Türkçe У
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially
Winners of the International Obfuscated C Code Contest - winner/2024/endoh1/README.md at master · ioccc-src/winner
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim! - syl20bnr/spacemacs
…ublications Resources Support Related Projects Center for Network Programming Probabilistic NetKAT Merlin Ox PyResonance a family of network programming languages Learn More » See on Github » Overview The languages used to program networks
Base library and tools for ppx rewriters. Contribute to ocaml-ppx/ppxlib development by creating an account on GitHub.
NetKAT is a network programming language with a solid mathematical foundation. In this paper, we present an operational semantics and show that it is sound and complete with respect to its original axiomatic semantics. We achieve automatic
Add a site to JM Search
JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.
Log in to submit a site.
Site owner? About JMSearchBot