839
SMT-LIB The Satisfiability Modulo Theories Library
"SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT)." In particular, a language for representing SMT problems that multiple solvers understand.
site  software  smt  constraint 
5 weeks ago
GitHub - AlDanial/cloc: cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
"cloc counts blank lines, comment lines, and physical lines of source code in many programming languages."
repo  software  tools  statistics 
5 weeks ago
Why Automated Feature Engineering Will Change the Way You Do Machine Learning
"Automated feature engineering is a relatively new technique, but, after using it to solve a number of data science problems using real-world data sets, I’m convinced it should be a standard part of any machine learning workflow."
blog  machine  learning  featuretools 
5 weeks ago
Oztekin, Dennis Ekin, "The Lattice Boltzmann Methods and Their Applications to Fluid Flows" (2014). Theses and Dissertations. Paper 1581.
"The history of the Lattice Boltzmann Method and its application to fluid mechanics are
investigated here. Detailed formulations are provided to form a basis for the Lattice
Boltzmann Method and its many variations. These variations are designed to overcome
shortcomings in the standard single relaxation time Lattice Boltzmann model. Presented
here are: a model that utilizes the non-equilibrium parts of the stress tensor, the
Regularized Lattice Boltzmann model; a model that converts over to momentum space,
the Multi-Relaxation Time Lattice Boltzmann model; and a model that corrects itself
using the entropy equation, the entropic Lattice Boltzmann model. Extensions for the
Lattice Boltzmann method are derived that include: external forces, multiphase flows,
and thermal flows. Various types of boundary conditions are modeled using different
approaches. A detailed explanation on extracting common macroscopic flow properties in
physical units is provided. These extracted properties can be used to check temporal and
spatial convergence. A two dimensional, nine velocity model and a three dimensional,
fifteen velocity model are used to provide examples of a number of the approaches
mentioned. A two dimensional and three dimensional lid-driven cavity flow is used to
illustrate these methods. "
thesis  fluid  mechanics 
6 weeks ago
Lattice Boltzmann methods - Wikipedia
"Lattice Boltzmann methods (LBM) ... is a class of computational fluid dynamics (CFD) methods for fluid simulation. " Successor to lattice gas automaton methods.
article  algorithm  approximation  fluid  mechanics 
6 weeks ago
US Coastal Property at Risk from Rising Seas
"This national analysis identifies the number of US homes at risk from chronic flooding over the coming decades due to sea level rise."
site  visualization  gis  flooding 
june 2018
Plumbum: Shell Combinators and More — Plumbum: Shell Combinators
"Plumbum... is a small yet feature-rich library for shell script-like programs in Python. The motto of the library is 'Never write shell scripts again', and thus it attempts to mimic the shell syntax (shell combinators) where it makes sense, while keeping it all Pythonic and cross-platform."
software  python  shell  programming 
may 2018
GitHub - RelaxedJS/ReLaXed: Create PDF documents using web technologies
"ReLaXed creates PDF documents interactively using HTML or Pug (a shorthand for HTML). It allows complex layouts to be defined with CSS and JavaScript, while writing the content in a friendly, minimal syntax close to Markdown or LaTeX."
site  software  pdf  javascript 
may 2018
MacDown: The open source Markdown editor for macOS
"MacDown is an open source Markdown editor for macOS, released under the MIT License. "
site  software  editor  markdown  macos 
may 2018
WeasyPrint converts HTML/CSS documents to PDF - WeasyPrint
"WeasyPrint is a visual rendering engine for HTML and CSS that can export to PDF. It aims to support web standards for printing. WeasyPrint is free software made available under a BSD license."
site  software  css  html  pdf 
may 2018
A more privacy-friendly blog | Vincent Bernat
"When I started this blog, I embraced some free services, like Disqus or Google Analytics. These services are quite invasive for users’ privacy. Over the years, I have tried to correct this to reach a point where I do not rely on any “privacy-hostile” services."
blog  blogging  privacy  howto 
april 2018
Spread syntax - JavaScript | MDN
"Spread syntax allows an iterable such as an array expression or string to be expanded in places where zero or more arguments (for function calls) or elements (for array literals) are expected, or an object expression to be expanded in places where zero or more key-value pairs (for object literals) are expected." The spread operator is "...".
article  javascript  spread 
april 2018
Always start with a stupid model, no exceptions. – Insight Data
Advocates starting with simple models, like linear or logistic regression, and then understanding where those initial models fail.
march 2018
What Is a "Policy Imagination"? - Lawyers, Guns & Money
Interesting for citation of mid-20th century "National Balance Sheet" model by Baxter.
blog  economics  policy 
march 2018
Rough.js
"Rough.js is a light weight (~8k), Canvas based library that lets you draw in a sketchy, hand-drawn-like, style. The library defines primitives to draw lines, curves, arcs, polygons, circles, and ellipses. It also supports drawing SVG paths."
repository  javascript  svg  visualization 
march 2018
GitHub - mpetazzoni/ptftpd: A TFTP/PXE tool suite written in Python
"pTFTPd is a collection of tools related to TFTP. It includes a TFTP server, a TFTP client, and a complete PXE solution based on this TFTP server and a micro-DHCP or BOOTP server. All these tools are written in Python and designed to be fast, RFC compliant and easy to use."
repository  python  python2  tftp  pxe 
march 2018
Input: Fonts for Code
"Input is a flexible system of fonts designed specifically for code by David Jonathan Ross. It offers both monospaced and proportional fonts, all with a large range of widths, weights, and styles for richer code formatting."
site  font  programming 
march 2018
GitHub - Submanifold/latex-mimosis: A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
"This repository contains a minimal & modern LaTeX template for dissertations and other university documents." Very nice; A4 by default.
software  latex  typography 
february 2018
SfePy: Simple Finite Elements in Python
"SfePy is a software for solving systems of coupled partial differential equations (PDEs) by the finite element method in 1D, 2D and 3D. It can be viewed both as black-box PDE solver, and as a Python package which can be used for building custom applications. The word “simple” means that complex FEM problems can be coded very easily and rapidly."
site  software  fem  pde  python 
february 2018
Not Another Free Image Click-Bait Article | Create
"High-quality, free images that you can legally modify for commercial projects do exist. Here’s where to find digital files you can use in any [graphical] application."
article  design  image  library 
january 2018
Podcast analytics and hosting - Backtracks
Current pricing for a hobbyist is ~480$/a.
site  service  podcast 
january 2018
Tim O'Reilly - Frank Herbert - O'Reilly Media
O'Reilly wrote a short book--now out of print-- n Frank Herbert.
site  scifi  biography 
january 2018
55 [In]visible Cities Project — KARINA PUENTE
Drawings of the cities described in Calvino's _Invisible Cities_.
site  art  calvino 
january 2018
Let your code type-hint itself: introducing open source MonkeyType
"Today we are excited to announce we’re open-sourcing MonkeyType, our tool for automatically adding type annotations to your Python 3 code via runtime tracing of types seen." Trace Python 3 scripts, then output captured type assignments (or apply to source).
site  python  tools 
december 2017
gka/schnack: 🗣️ Simple node app for Disqus-like drop-in commenting on static websites
"schnack.js is a simple node app for Disqus-like drop-in commenting on static websites."
software  blog  comment  javascript  nodejs 
december 2017
GitHub - jessfraz/weather: Weather via the command line.
"Weather via the command line. Uses the darksky.net API so it's super accurate. Also includes any current weather alerts in the output."
software  weather  cli 
december 2017
12 trail runs under 10 miles in SF and the East Bay | Bzarg
"... I offer below a catalog of twelve routes we’ve found over the last year. Some of these have alternate routes, so be sure to use the Google Maps layer view to selectively view the one you’re interested in, so the two routes don’t clutter each other."
blog  running  sfbay  trail 
december 2017
Python API Checklist
"Useful checklist for building good Python library APIs." Many of the design principles apply to any small library interface.
site  webapp  python  api  process  design  software 
december 2017
HeavyThing x86_64 assembler library | 2 Ton Digital
An library for application programming in x86 assembly.
site  software  assembly  library 
december 2017
Linux containers in 500 lines of code
A very strong article on the code necessary to construct a container from scratch on Linux. Careful commentary and citations on capabilities and seccomp restrictions to limit processes within the container.
article  linux  container  capabilities  seccomp  privilege 
november 2017
Twitter
RT : RT if you're an adult who uses the library.
from twitter
october 2017
Vim After 15 Years | Ian Langworth’s Things of Variable Interest
Vim 8 added a lot of much-needed functionality, and new community sites like VimAwesome have made plugin discovery and evaluation easier. I’ve been doing a lot more work with Vim lately and have spent some time configuring my workflow for peak efficiency, so here’s a snapshot of my current state.
blog  tools  vim 
october 2017
Storyboarder - The best and easiest way to storyboard. | Wonder Unit
"Storyboarder makes it easy to visualize a story as fast you can draw stick figures. Quickly draw to test if a story idea works. Create and show animatics to others. Express your story idea without making a movie."
software  creative 
october 2017
Errata Security: "Responsible encryption" fallacies
RT : I wrote a thing on "responsible disclosure". I'm not happy with it, but some ideas need to be addressed.
from twitter
october 2017
No brogrammers: Practical tips for writing inclusive job ads
"By paying attention to the language we use to describe ourselves, our ideal candidates, and the job responsibilities, we can broaden the net of candidates that might apply and help in some small way to tackle the tech diversity problem."
blog  tech  hiring  language 
october 2017
Page Visibility API - Web APIs | MDN
"The Page Visibility API lets you know when a webpage is visible or in focus. With tabbed browsing, there is a reasonable chance that any given webpage is in the background and thus not visible to the user. When the user minimizes the webpage or moves to another tab, the API sends a visibilitychange event regarding the visibility of the page. You can detect the event and perform some actions or behave differently." Occurs regularly on mobile browsers.
software  browser  api  mobile 
october 2017
milochristiansen/lua: A Lua 5.3 VM and compiler written in Go.
"A Lua 5.3 VM and compiler written in Go." Has some language/library pruning, in support of security goals.
software  golang  lua 
october 2017
OmniOS build - asciinema
RT : Want to build yourself? It's easier than you think!
OmniOS  illumos  from twitter
september 2017
GitHub - tomazk/envcfg: Un-marshaling environment variables to Go structs
Interesting golang module that manages marshalling of application-relevant environment variables to and from a struct. Includes a convenient .ClearEnvVars() method that unsets the variable set, which would be used prior to spawning a child process.
software  golang  configuration 
september 2017
Tgres 0.10.0b - Time Series with Go and PostgreSQL - Grisha Trubetskoy
"Tgres is a Go program which can receive time series data via Graphite, Statsd protocols or an http pixel, store it in PostgreSQL, and provide Graphite-like access to the data in a way that is compatible with tools such as Grafana. You could think of it as a drop-in Graphite/Statsd replacement, though I’d rather avoid direct comparison, because the key feature of Tgres is that data is stored in PostgreSQL."
software  database  postgres  time_series 
august 2017
Offline-Friendly Forms | Max Böck - Frontend Web Developer
"Forms on the web don't usually play nice with bad connections. If you try to submit a form while offline, you'll most likely just lose your input.... With the introduction of Service Workers, developers are now able to supply experiences on the web that will work even without an internet connection. While it’s relatively easy to cache static resources, things like forms that require server interaction are harder to optimize. It is possible to provide a somewhat useful offline fallback though."
blog  programming  javascript  resilience 
august 2017
Ferret Programmer's Manual
"Ferret is a free software Clojure implementation, it compiles a restricted subset of the Clojure language to self contained ISO C++11 which allows for the use of Clojure in real time embedded control systems."
site  programming  lisp  clojure 
august 2017
A Massive Guide to Building a RESTful API for Your Mobile App - Savvy Apps
"In our experience, we've found that establishing guidelines on how to build better APIs for mobile apps saves time and effort during development and reduces headache later on in the process.... We wrote this guide to outline the best practices for building out APIs, web services, and databases for mobile apps and mobile clients. In this post, we go in-depth on creating a RESTful API specifically for mobile apps."
blog  design  web  api  rest 
july 2017
Calendar Versioning — CalVer
"CalVer is a software versioning convention that is based on your project's release calendar, instead of arbitrary numbers."
site  software  versioning 
july 2017
How to turn your website into a PWA | Max Böck - Frontend Web Developer
"A Progressive Web App, or PWA, uses modern web capabilities to deliver an app-like user experience. Any website can be a PWA - here's how to do it."
blog  web  application  html  javascrip 
july 2017
Fountain Pen Buying Guide: 7 Options Under $30 | WIRED
"We’ve rounded up seven inexpensive fountain pens (all are under $30; one is only $3) that either are disposable or employ swappable cartridges to make refilling simple and tidy."
article  pens 
july 2017
Wildcard Certificates Coming January 2018 - Let's Encrypt - Free SSL/TLS Certificates
Wildcard certificates will be offered free of charge via our upcoming ACME v2 API endpoint. We will initially only support base domain validation via DNS for wildcard certificates, but may explore additional validation options over time.
news  ssl  certificates  acme 
july 2017
GitHub - janten/keypad-layout: Control window layout using Ctrl + Numeric Keypad on macOS
Control window layout using Ctrl + Numeric Keypad on macOS. Press two number keys in a row while holding down Ctrl to select the new window frame on a 3x3 grid.
site  software  macos  wimp 
may 2017
Home products that fix/mitigate bufferbloat… | jg's Ramblings
"Bufferbloat is the most common underlying cause of most variable bad performance on the Internet; it is called 'lag' by gamers.... But new commercial products [that address bufferbloat] are becoming increasingly available.  Here’s some of them."
blog  networking  bufferbloat 
april 2017
A Graduate Course in Applied Cryptography
An in-progress textbook by Dan Boneh and Victor Shoup.
book  cryptography  software 
february 2017
OpenSSH certificates
A how-to on SSH certificate use.
blog  ssh  certificates  ca 
february 2017
Dpic distribution
dpic is a pic language implementation, with SVG output as a supported option.
site  software  pic  dwb  svg 
october 2016
How to De-Risk a Startup · Coding VC
Interesting risk spectra for various functional areas/maturity areas.
blog  startup 
october 2016
Raspberry Pi Kiosk Screen Tutorial - Dan Purdy
Example setup for Raspberry Pi-based kiosk, using chromium-browser.
article  kiosk  browser  raspberry-pi 
october 2016
How to Convert Temperature (K) to RGB: Algorithm and Sample Code – Tanner Helland (dot) com
"While working on a “Color Temperature” tool for PhotoDemon, I spent an evening trying to track down a simple, straightforward algorithm for converting between temperature (in Kelvin) and RGB values. .... I wrote my own algorithm, and it works pretty damn well. Here’s how I did it."
blog  image  color  temperature 
october 2016
adamhadani/logtools: Command-line utilities for working with log files - filtering, sampling, IP-based geolocation, summary statistics etc.
"Command-line utilities for working with log files - filtering, sampling, IP-based geolocation, summary statistics etc."
software  python  log  analysis 
october 2016
tdl - to-do list manager
"tdl is a to-do list manager. You can use it for keeping track of tasks you have to do, check them off as they get done, organise them into a project hierarchy, and generate reports of what you've completed over a period of time. It's often used for tracking programming tasks, but has also found various other uses." A classic; still great.
site  software  productivity  tools  shell 
september 2016
DNS-over-HTTPS  |  Public DNS  |  Google Developers
"Google Public DNS offers DNSSEC-validating resolution over an encrypted HTTPS connection using a web-friendly API that does not require browser or OS configuration or installing an extension. DNS-over-HTTPS greatly enhances privacy and security between a client and a recursive resolver, and complements DNSSEC to provide end-to-end authenticated DNS lookups."
site  dns  https  privacy 
september 2016
[1609.02993] Episodic Exploration for Deep Deterministic Policies: An Application to StarCraft Micromanagement Tasks
"We consider scenarios from the real-time strategy game StarCraft as new benchmarks for reinforcement learning algorithms. We propose micromanagement tasks, which present the problem of the short-term, low-level control of army members during a battle."
paper  machine  learning  game  strategy  starcraft 
september 2016
Twitter
Appropriate snack for ripping out old code?
redeye  from twitter
august 2016
Mom - Macros for GNU troff
Impressive macro library for groff. PDF output capable.
site  software  publishing 
august 2016
Now Available – IPv6 Support for Amazon S3 | AWS Blog
"Today I am happy to announce that objects in Amazon S3 buckets are now accessible via IPv6 addresses via new “dual-stack” endpoints. When a DNS lookup is performed on an endpoint of this type, it returns an “A” record with an IPv4 address and an “AAAA” record with an IPv6 address. In most cases the network stack in the client environment will automatically prefer the AAAA record and make a connection using the IPv6 address."
article  ipv6  aws  s3 
august 2016
p0f v3
"P0f is a tool that utilizes an array of sophisticated, purely passive traffic fingerprinting mechanisms to identify the players behind any incidental TCP/IP communications (often as little as a single normal SYN) without interfering in any way."
site  software  networking  classification 
august 2016
HOWTO Avoid Being Called a Bozo When Producing XML
"There seem to be developers who think that well-formedness is awfully hard—if not impossible—to get right when producing XML programmatically and developers who can get it right and wonder why the others are so incompetent. I assume no one wants to appear incompetent or to be called names. Therefore, I hope the following list of dos and don’ts helps developers to move from the first group to the latter."
article  xml  programming  practice 
july 2016
A Famed Hacker Is Grading Thousands of Programs — and May Revolutionize Software in the Process
"Mudge and his wife, Sarah, a former NSA mathematician, have developed a first-of-its-kind method for testing and scoring the security of software...."
article  software  security 
july 2016
ggplot | Documentation
"A package for plotting in Python."
site  software  python  data  graphing 
july 2016
liblfds.org
"Welcome to liblfds.org, a lock-free data structure library."
site  software  c  library  synchronization  lockfree 
may 2016
GitHub - handcraftsman/GeneticGo: Genetic problem solver written in Go
Appears to be a tidy generic genetic optimizer library for Go. Author's site has examples with discussion.
golang  genetic  optimization  repo 
april 2016
We need a new username system | VentureBeat | Social | by Adam Ghahramani
Proposes an interesting scheme where shorter names on a site are earned. (But does not consider loss of those short names when inactive.)
article  account  namespace  web 
april 2016
tcpdump is amazing - Julia Evans
Pleasant overview of tcpdump and simple HTTP examination.
blog  networking  tcpdump 
march 2016
OpenVPN
Ubuntu guide to OpenVPN configuration
article  network  vpn  openvpn 
march 2016
What's the Best Cloud? Probably GCP | Quizlet
"In 2015 we migrated Quizlet from our legacy host to a large cloud provider. AWS is the default choice for most companies, but after comparing the options, we went with Google Cloud Platform (GCP). This is a summary of our analysis."
blog  cloud  infrastructure 
march 2016
« earlier      
#ayso #ninjas 2006 2008.11 2009.06 3852 9-5 account acm_queue acme activestate activity aggregator ai ajax alerts algorithm amusing analysis android animation anniversary ansible ant apache api application approach approximation arch architecture archive archives arduino argument art article assembly asterisk astronomy atom attributes audio automatic award awning aws ayso background bandwidth barcode bash basketball bayesian bazaar bees benchmark binary bind biography biophysics bios bird bitkeeper black blog blogging blogs bmpx bonnie book boot browser bsd btree bufferbloat bug bugtracking build business bzip2 c c11 c99 ca cab caching california caltrain calvino camera camping canada canopy capabilities captcha cascade case_study catalog cddl celeron certificates chaos character check checksum chess chrome cio city-planning classics classification cli clojure cloud cluster co-infection code codereview codeville coffeescript collaboration collaborative color colour comment commerce community comparison compiler completion compression computing conference configuration conservation constitution constraint container content context continuous contrib control conversion cooking corpus correcting correlation cosmology course cover coverage creative criticism crsf cryptography cscope css csv ctags cuckoo cuda currency cvs darcs darwin dashboard data database datacenter dbm debugging decision defect definition deployment depot design dhs diagram dictionary diplomacy disaster distributed distribution dns documentation dojo dojox dprk driveway dsmc dtrace dvorak dwb dynamic ebook ecommerce economics editor education effective_ft election_2008 email embedded encoding engineering english environment error escape essay eurobsdcon events evolution exacct examples excel exercise extension facebook factoid faculty family faq farm featuretools feed fem ffmpeg file filebench filesystem filesystems film filter filtering finance firefox firefox:toolbar firewall flask flood flooding fluid font fonts food form forth forum framework freedos freeware from:bos from:richlowe from:stevel fsm fss fsstat fuse fuzzy galaxy galileoscope game gcc genetic geocoding geodynamo geometry getopt gis git github gnats gnome goggles golang governance government gq grammar grant graph graphic graphical graphics graphing green greylist grid groovy grub hadoop hardware harness hash hashing haskell hazards hg hiring history hole homepage hosting house howto html html5 http https humor hungarian hypothesis identification illumos image imagemagick imap imported indent independence indiana informal information infrastructure init inotify insects install intel intelligence interaction interface international internet internet2 interview intro intuititionism inverse io ipc ipv6 irc irs j2ee j2me java java_es javascrip javascript jenkinsconf jini jni journal joyent jquery json jython kde kernel keyboard keyvalue kindle kiosk knots knowledge kstat lambda language latex law lawncare ldap learning lgpl libmicro library licence lighttpd limit link lint linux lisp list literate live livecd lockfree log logging logic lolcat lopsa lu lua lucene lunar machine machines macos magazine mail mailman make manageability management manifest manufacturing markdown marketing markup marshalling masscustomization math mathml mba meaning mechanics media medical meek meeting mentor mercurial merge metacompiler metadata metaprogramming mexico microphone midlet migration milkyway mit mobile model modern monitor monitoring monotone mozilla mtp mua multicast multithread munsell music mysql nail namespace neckties netbook network networking nevada news newsticker nfs nfsmapid nfsv4 nginx ninjas nodejs notesystems notifications noweb ntp numeracy numeric ogb ogle omnios on open opengrok openid openjdk openness opensolaris opensolaris_summit_2007 opensource openvpn opera optimization outdoors package packaging painting paleomagnetism palm pamf pandoc paper park parliament password patch patching pde pdf peer peninsula pens perception performance perl personal pex phishing photography php physics pic pipeline pipes pkg pkg5 planet plugin plumbing plusredeye podcast podcasting poisson policy politics pools pop popular port positioning posix post postgres power powerpc practical practice prefab presentation press print privacy privilege probability problems process processing productivity program programming proliferation prolog protein_folding proteomics prototype provable proxy public publishing puzzle pxe python python2 qrcode quality quantum queuing race radio rain rake random raptor raspberry-pi rbac rctl rdio reader reading recommendations recruiting redeye redis redwood-city redwoodcity reed reference references regexp renovation replay repo repository reputation requirements research researcher resilience resource rest reviews rfc rhetoric rm rmiregistry rss ruby run running s3 s3fs saab safari safety scale scaling scanner scheduling schema scheme scifi scm screencast script search seccomp secretary-problem security selection selfheal sendmail sensor series server service seti sfbay sfe sfw shade shell sighting:maybe sip site skincare slides slimserver slrn smallcomputer smf smt smtp soap social society socks software solar solaris solid solomon song sort sortition sound spam spanish sparc sparkline spread ssh ssl standard starcraft startup statistics storage store strategy streaming string structures stv subversion sun sun4u svg svk sweden sybase symbolic symbolic_algebra symbolics symbols synchronization syndication syslinux system systems t-shirt tagging talk tastetest tax tcpdump teamware tech technical technique technology temperature template terminal test testing tex text textbook textile tftp theory thesis thought threads threat thttpd time_series timer tivoli tomcat tool tools tooltip tracking trail transfer trivia tshirt tutorial typematrix typography ubuntu ucsc uk unit unix up4 upgrade uri usa usb use vacation validation vendor versioning vi video vim virtualbox vis visualization vlc vocabulary voip volcano volcanology voting vpn water weather web webapp webdav widget wiki wikipedia wimp wind windows winter withholding woodworking wordpress work workers workflow workshop wrapper writing wsdl wsgi x10 x11 x86 xargs xine xlsx xml xorg yaml yui z9 zfs zones zope

Copy this bookmark:



description:


tags: