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 "...".
april 2018
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
Modern CSS Explained For Dinosaurs – Actualize – Medium
Survey from CSS basics to methodologies used today.
article  css  tutorial
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
RT : RT if you're an adult who uses the library.
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.
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!
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
Appropriate snack for ripping out old code?
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

Copy this bookmark:

description:

tags: