pozorvlak + programming   952

Introducing EmacSQL « null program
And the problems with running subprocesses via ptys.
computers  programming  emacs  databases  unix  sqlite 
15 days ago by pozorvlak
The three-page paper that shook philosophy: Gettiers in software engineering « the jsomers.net blog
Supppose you’re standing in a field and off in the distance you see a cow. But suppose that what you’re actually looking at isn’t a cow, it’s just a convincingly lifelike model of a cow made out of papier-mâché. You’re not seeing a cow, you’re seeing the model. But then finally suppose that right behind the papier-mâché cow is a real cow!

On the one hand, you have a justified true belief that “there is a cow in the field”: (1) you believe there’s a cow in the field; (2) that belief didn’t come ...
computers  programming  debugging  philosophy 
15 days ago by pozorvlak
The Surprising Security Benefits of End-to-End Formal Proofs » CCC Blog
Buffer overflows and code-injection attacks give the attacker so much power that nearly any functional specification can be thwarted. That’s why mechanized proof of modest-seeming behavioral specifications can yield big security dividends.
computers  programming  security  infosec  testing  formalmethods 
27 days ago by pozorvlak
Why Don't People Use Formal Methods? • Hillel Wayne
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.
computers  programming  testing  formalmethods  theoremprovers 
28 days ago by pozorvlak
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 weeks 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 
5 weeks ago by pozorvlak
Parsing
Comparison of the Parsec, Attoparsec and Megaparsec libraries
computers  programming  parsing  haskell 
6 weeks 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 
6 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 
10 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 
11 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 
12 weeks ago by pozorvlak
Mutual Purpose and Agreed-Upon Methods – Jessica Kerr – Medium
Can we please replace “shared values” with “mutual purpose and agreed-upon methods”?
teamwork  programming  jobs  socialinteraction 
12 weeks ago by pozorvlak
« earlier      
per page:    204080120160

related tags

1950s  abortion  abuse  academia  addresses  adhd  adhdproblems  agile  aging  ai  aiexperiments  aircraft  algorithms  amazon  android  angularjs  anxiety  api  APL  apple  apps  architecture  arduino  arguments  art  asmjs  assembly  audio  augmentedreality  aws  azure  babbage  badscience  banks  bash  bbc  bdd  beer  benchmarking  benfordslaw  bigdata  bigpharma  binary  bio  biography  birthdays  bitcoin  bittorrent  boats  books  bootprocess  bsd  buddhism  building  buildsystems  bureaucracy  business  c  c++  cake  cars  categorytheory  chaos  chart  checklists  chemistry  children  china  chrome  civilliberties  class  clocks  clojure  cloudcomputing  clustering  coal  codereview  cogsci  colours  combinatorics  community  comparch  compilers  computers  computervision  concurrency  constraintprogramming  constraints  continuousintegration  cooking  cpan  crdts  creativity  crime  crypto  cs  css  cthulhu  culture  d  dancing  darcs  data  databases  datacentres  datascience  dataviz  debt  debugging  deeplearning  deployment  design  develops  devops  diet  distributedsystems  django  docker  documentation  drac  drink  drivingchange  drugs  ducks  economics  education  elasticsearch  elections  electronics  elm  emacs  email  embedded  emberjs  emulators  engineering  enterprise  erlang  esolangs  estimation  ethics  evolution  explosives  facebook  fear  federatedml  feminism  fibonacci  filesystems  finance  firefox  floatingpoint  fonts  food  formalmethods  fortran  funny  fuzzers  gamedev  games  gaming  garbagecollection  gender  geometry  GHC  git  github  gitlab  go  golang  google  government  gps  gpus  graphics  graphtheory  growstuff  hackett  hadoop  hardware  harrypotter  haskell  healthcare  heartbleed  hinduism  hiring  history  hogarth  homelessness  housing  hpc  html  http  humor  humour  ides  idris  impostorsyndrome  indiedev  infosec  integration  intelligence  interactivefiction  internationalization  internet  interviews  ios  iraq  israel  j  java  javascript  jit  jobs  jokes  journalism  json  julia  kubernetes  langsec  language  lean  learning  lifehacks  lifeimitatessf  linearprogramming  linters  linux  lisp  literature  llvm  logic  london  lotr  lovecraft  lovelace  lowpower  machinelearning  making  management  manufacturing  maps  mathematica  maths  medicine  memory  mentalhealth  mercurial  meteorology  microservices  microsoft  military  mining  mobile  molesworth  monitoring  moocs  motivation  mozilla  msx  music  names  nasa  navigation  netflix  networking  neuroscience  nixos  node.js  nosql  obama  observability  ocaml  opendata  opensource  openstack  operatingsystems  optimization  packagemanagers  pandas  parallelism  parsing  payment  perl  perl6  phds  philosophy  phones  photography  php  physics  pinups  police  politics  postgres  postscript  presentation  probability  procrastination  programming  prolog  psychology  pubs  pypy  python  quotes  racism  rails  raspberrypi  react  reading  RedHat  refactoring  regex  religion  research  reverseengineering  rf  robots  ruby  russia  rust  rustlang  safety  sanfrancisco  satire  Scala  scaling  scheme  schizophrenia  school  science  security  selfhelp  sex  sexism  shell  slovakia  smalltalk  sml  socialinteraction  socialnetworks  softwarearchitecture  sound  space  sqlite  startups  staticanalysis  statistics  stockmarket  streams  suicide  teaching  teamwork  techindustry  terminology  testing  tex  texteditors  theoremprovers  tigers  time  timetravel  tmux  tools  toys  training  travel  travisci  turing  twitter  types  typescript  typography  ui  uk  unicode  UniverseOfDiscourse  university  unix  usa  usnavy  ussr  ux  vcs  verilog  vi  video  virtualization  virtualreality  visualization  watches  weather  web  wikipedia  windows  women  writing  yaks  zen  zig 

Copy this bookmark:



description:


tags: