recentpopularlog in

pozorvlak : computers   1323

« earlier  
DeepState: Symbolic Unit Testing for C and C++
DeepState is a tool that provides a Google Test-like API to give C and C++ developers push-button access to symbolic execution engines, such as Manticore and angr, and fuzzers, such as Dr. Fuzz. Rather than learning multiple complex tools, users learn one interface for defining a test harness, and can use various methods to automatically generate tests for software. In addition to providing a familiar interface to binary analysis and fuzzing for parameterized unit testing, DeepState also provides constructs that aid in the construction of API-sequence tests, where the tool chooses the functions or methods to call, allowing for even more diverse and powerful tests. By serving as a front-end to multiple tools, DeepState additionally provides a way to apply (novel) high-level strategies to test generation, and to compare effectiveness and efficiency of testing back-ends, including binary analysis tools.
computers  programming  testing  c  c++  fuzzers 
5 days ago by pozorvlak
[1806.07366] Neural Ordinary Differential Equations
We introduce a new family of deep neural network models. Instead of specifying a discrete sequence of hidden layers, we parameterize the derivative of the hidden state using a neural network. The output of the network is computed using a black-box differential equation solver. These continuous-depth models have constant memory cost, adapt their evaluation strategy to each input, and can explicitly trade numerical precision for speed. We demonstrate these properties in continuous-depth residual networks and continuous-time latent variable models. We also construct continuous normalizing flows, a generative model that can train by maximum likelihood, without partitioning or ordering the data dimensions. For training, we show how to scalably backpropagate through any ODE solver, without access to its internal operations. This allows end-to-end training of ODEs within larger models.
maths  deeplearning  machinelearning  computers  programming  ai 
6 days ago by pozorvlak
Comparison of the Parsec, Attoparsec and Megaparsec libraries
computers  programming  parsing  haskell 
13 days ago by pozorvlak
smallstep - Everything you should know about certificates and PKI but are too afraid to ask
Public key cryptography lets computers “see” across networks. If I have a public key, I can “see” you have the corresponding private key, but I can’t use it myself. If I don’t have your public key, certificates can help. Certificates bind public keys to the name of the owner of the corresponding private key. They’re like driver’s licenses for computers and code. Certificate authorities (CAs) sign certificates with their private keys, vouching for these bindings. They’re like the DMV. If you’re t...
computers  programming  security  infosec  crypto  web 
17 days ago by pozorvlak
The best computer is one you hate a little | The Outline
A good computer should not be so user-friendly that it tricks you into believing that its world, full of passive consumption and active surveillance, is the same as the real one. Instead, it should be just annoying enough and full of weird novelties to remind you that a computer is just a tool that you use to do stuff. You should hate your computer a little bit. That way, you’re always ready to stop using it and get on with your life.
computers  apple  windows 
5 weeks ago by pozorvlak
Dark knowledge
Use "soft targets" (temperature-smoothed average predictions from ensemble models) to train smaller summary models - they carry much of the information from the teacher models.

Random dropout can achieve a similar effect more cheaply.

Ensembles-of-specialists can perform well, but must be combined with care.
computers  machinelearning  deeplearning  ai  google 
5 weeks ago by pozorvlak
Out of shape? Why deep learning works differently than we thought
Current deep learning techniques for object recognition primarily rely on textures, not on object shapes.
computers  programming  ai  machinelearning  deeplearning  science  computervision 
6 weeks ago by pozorvlak
The deepest problem with deep learning – Gary Marcus – Medium
It fails for anything outside perceptual classification, and fails badly for out-of-dataset examples even there. The author suggests that it should be supplemented with symbolic manipulation.
computers  programming  ai  deeplearning 
6 weeks ago by pozorvlak
Today’s JavaScript trash fire and pile on – Chris Northwood – Medium
Four years ago I wrote a slightly inflamatory blog on what still sucks in front-end dev. One of the points was on Bower and how JS library management sucks. Sadly, the tools have changed, but JS…
packagemanagers  javascript  node.js  computers  programming  security  infosec 
7 weeks ago by pozorvlak
October 21 post-incident analysis | The GitHub Blog
In-depth analysis of the incident that impacted GitHub services on October 21 and 22.
postmortem  github  computers  distributedsystems  databases  datacentres 
8 weeks ago by pozorvlak
Simul | Version Control for Microsoft Word | Simul Documents
RT : BTW on the other end of this problem, is something I'm aware of (but have…
tools  computers  writing  microsoft 
10 weeks ago by pozorvlak
Rosette: About
Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it to logical constraints solved with off-the-shelf SMT solvers. By combining virtualized access to solvers with Racket’s metaprogramming, Rosette makes it easy to develop synthesis and verification tools for new languages. You simply write an interpreter for your language in Rosette, and you get the tools for free!
computers  programming  logic  constraintprogramming  lisp 
10 weeks ago by pozorvlak
« earlier      
per page:    204080120160

Copy this bookmark:

to read