recentpopularlog in

pozorvlak : computers   1253

« earlier  
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 
8 days ago by pozorvlak
1/0 = 0 • Hillel Wayne
Pretty much every counterargument makes this exact same mistake: it assumes that because 1/0 is now defined, there is now some 0⁻ that generalizes our theorems. But there’s not.
maths  programming  computers 
12 days ago by pozorvlak
[1611.03530] Understanding deep learning requires rethinking generalization
Specifically, our experiments establish that state-of-the-art convolutional networks for image classification trained with stochastic gradient methods easily fit a random labeling of the training data. This phenomenon is qualitatively unaffected by explicit regularization, and occurs even if we replace the true images by completely unstructured random noise. We corroborate these experimental findings with a theoretical construction showing that simple depth two neural networks already have perfect finite sample expressivity as soon as the number of parameters exceeds the number of data points as it usually does in practice. 
computers  machinelearning  deeplearning  badscience 
20 days ago by pozorvlak
Notes on test coverage - jml :: Jonathan Lange
every new project should have 100% test coverage
every existing project should have a ratchet that enforces increasing coverage
“100% coverage” means that every line is either:
covered by the test suite
or has some markup in code saying that it is explicitly not covered, and why that’s the case
these should be enforced in CI
computers  programming  haskell  testing  continuousintegration 
26 days ago by pozorvlak
The Origin of the Shell
Then in 64 came the Multics design time, in which I was not much involved, because I had made it clear I wanted to return to France in mid 65. However, this idea of using commands somehow like a programming language was still in the back of my mind. Christopher Strachey, a British scientist, had visited MIT about that time, and his macro-generator design appeared to me a very solid base for a command language, in particular the techniques for quoting and passing arguments. Without being invited on the subject, I wrote a paper explaining how the Multics command language could be designed with this objective. And I coined the word "shell" to name it. It must have been at the end of 64 or beginning of 65.
computers  programming  history  operatingsystems  shell 
29 days ago by pozorvlak
random-choose.md · GitHub
Select k sorted distinct natural numbers less than n, fairly among all the ways of doing so. By Ciphergoth (Paul Crowley)
algorithms  maths  computers  programming  python 
4 weeks ago by pozorvlak
The Phantom Duo - The Daily WTF
For most people, such a story would elicit a chuckle and a hmph, I didn’t realize MRI machines could explode. But for those who work closely with MRI machines, the knee-jerk reaction is please don’t let it be our MRI and please don’t let it be our fault .
computers  programming  debugging  medicine  explosives 
4 weeks ago by pozorvlak
Ned Batchelder: Print this file, your printer will jam
In the case of the bug report file, the page took longer than three seconds, but only slightly longer, so not only did the drum have to stop, but it hadn’t quite totally stopped before it was started again. That mechanical edge case is what made the printer jam. The file had pages that took just the right amount of time to hit a bad timing window in the drive train firmware, and the printer jammed every time. Once the hardware guys adjusted the firmware, the problem went away.
computers  debugging 
4 weeks ago by pozorvlak
Making Money When all the Industry Wants is Free Beer – The Business Behind jOOQ
I was terrified. After 5 years of doing jOOQ as an all Open Source project between 2008 - 2013, I suddenly switched to commercial licensing. Will I be ripped to pieces? Will the community hate me? Will there be an unfriendly fork? This blog post will show that my fears 5 years ago were completely…
techindustry  opensource  computers  programming  business 
5 weeks ago by pozorvlak
Getting the exit code from a batch file that is run from a Python script
set RC=
setlocal
somecommand.exe
endlocal & set RC=%ERRORLEVEL%
goto omega

:returncode
exit /B %RC%

:omega
call :returncode %RC%
computers  programming  python  windows 
6 weeks ago by pozorvlak
Top 10 Performance Tuning Tips for Amazon Athena | AWS Big Data Blog
Amazon Athena is an interactive query service that makes it easy to analyze data stored in Amazon S3 using standard SQL. Athena is serverless, so there is no infrastructure to manage, and you pay only for the queries that you run. Athena is easy to use. Simply point to your data in Amazon S3, define the schema, and start querying using standard SQL.
aws  cloudcomputing  computers  databases  optimization 
6 weeks ago by pozorvlak
Charity Majors on Twitter: "Then they hear they should structure their logs, so they add structure to their existing shitty logs, which adds a few bytes, and then wonder why they aren't getting any benefit -- just paying more. You need a fundamentally dif
The basics of design for observability:
- log a single structured event per service hop
- stuff anything you can think of into it (hundreds of dimensions)
- IDs are particularly useful
- keep a weighted sample of these events to control costs
- you can derive metrics and aggregates from events, but not the other way round
- don't log strings randomly throughout your code
devops  computers  distributedsystems  debugging  observability 
6 weeks ago by pozorvlak
Miserlou/Zappa: Serverless Python
Zappa makes it super easy to build and deploy server-less, event-driven Python applications (including, but not limited to, WSGI web apps) on AWS Lambda + API Gateway. Think of it as "serverless" web hosting for your Python apps.
computers  programming  aws  cloudcomputing  python 
6 weeks ago by pozorvlak
Using a Jenkinsfile
Creating a Jenkinsfile, which is checked into source control [1], provides a number of immediate benefits:

Code review/iteration on the Pipeline

Audit trail for the Pipeline

Single source of truth [2] for the Pipeline, which can be viewed and edited by multiple members of the project.
computers  programming  testing  continuousintegration 
6 weeks ago by pozorvlak
Packaging a python library | ionel's codelog
TL;DR

Put code in src.
Use tox and detox.
Test both with coverage measurements and without.
Use a generator script for tox.ini and .travis.ini.
Run the tests in Travis with tox to keep things consistent with local testing.

Too complicated? Just use a python package template.
computers  python  programming  testing  continuousintegration  packagemanagers 
6 weeks ago by pozorvlak
Assume worst intent (designing against the abusive ex) – alexwlchan
Diversify your team
Think about your name policies
Robust privacy controls
Human moderation
Design with abusive personas in mind
internet  abuse  socialnetworks  web  computers  programming  socialinteraction 
7 weeks ago by pozorvlak
« earlier      
per page:    204080120160

Copy this bookmark:





to read