Grokking Fix
This post is intended for beginners of functional programming interested in an exploration of laziness, Haskell, and recursion
23 hours ago
Interactive lessons for learning Music Theory.
Why Number(symbol) crashes?
"...the coercion rules for the original JS primitive types were created at a time when JavaScript did not have an exception handling mechanism and hence all operations were required to produce some value..."
8 days ago
15+ Pics That Show Photography Is The Biggest Lie Ever | Bored Panda
The internet is full of beautiful and amazing photographs, but do you ever stop and wonder just what went into that perfect shot? I'm not just talking about the
8 days ago
SQL style guide by Simon Holywell
A consistent code style guide for SQL to ensure legible and maintainable projects
17 days ago
Simple testing can prevent most critical failures | the morning paper on WordPress.com
Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems Yuan et al. OSDI 2014 After yesterday's paper I needed something a little easier to digest today, and 'Simple testing can prevent most critical failures' certainly hit the spot. Thanks to Caitie McCaffrey from whom I first heard about…
18 days ago
Coq Tactic Index
Coq Tactic Index: A brief introduction to some common proof tactics.
19 days ago
The Arduous Journey of Porting C to Rust - anna harren's corner of the internet
Hey, have you heard the great news about our lord and saviour Rust?Jokes aside, Rust is a seriously good language and is worthy of the endless evangelism you...
20 days ago
On the Origin of Circuits • Damn Interesting
In a unique laboratory in Sussex, England, a computer carefully scrutinized every member of large and diverse set of candidates. Each was evaluated dispass
20 days ago
ClickMonitorDDC is a portable freeware tool to adjust brightness or contrast of a DDC compatible monitor by simply clicking a notification icon in the taskbar tray area, this icon also shows the actual monitor-values. There is support for multi monitors,
Simply click the notification icon in the taskbar tray area to adjust brightness or contrast, much more comfortable and faster than manually messing around with monitor buttons, works with external monitors (DDC-protocol) and internal LCD-Display of notebooks/laptops. The notification icons inform you about the monitor values, you simply look at the icons to check if the wanted values are already set. You can adjust brightness, contrast and volume by using sliders or clicking buttons, but ClickMonitorDDC can also deal with command lines in all possible ways, assign hot keys, create context menu popup entries, use batch files or append arguments in icon properties shortcut target. You can use multiple arguments, lower/uppercase and spaces are optional. For instance b20 c30 sets first monitor brightness 20 and contrast 30 optionally you can prepend monitornumber (1 or higher), for instance 2 c55 2 b40 sets second monitor contrast 55 and brightness 40 b+6 c-8 increases actual brightness by 6 and decreases actual contrast by 8 v90 sets volume to 90%, v+10 increases volume by 10%, v-8 decreases volume by 8% m for mute, u for unmute, x for shutting off monitors, q quits program, ? shows a notification about the actual values. The portable file can be run from any location without installation, needs windows 7/8/10 You use this software at your own risk, I disclaim any responsibility for any harm. You are allowed to use and spread this program for free.
25 days ago
A Hoare Logic for Rust · Ticki
In this post, I introduce a Hoare logic specifically for the Rust MIR.
26 days ago
Five Myths about Hash Tables | Hugh E. Williams on WordPress.com
A hash table is data structure that is used to search for exact matches to a search key. For searching, they work like this: Take a search key (example: the word "cat") Hash the search key: pass the key to a function that returns an integer value (example: the hash function returns 47 when the…
27 days ago
Container Queries: Once More Unto the Breach · An A List Apart Article
Tying responsive CSS to viewport sizes can lead to tangled stylesheets—Mat Marquis issues a challenge to find a simpler solution.
4 weeks ago
How to Scale SVG | CSS-Tricks
The following is a guest post by Amelia Bellamy-Royds. Amelia has lots of experience with SVG, as the co-author of SVG Essentials and author of the upcomin
4 weeks ago
Understanding the npm dependency model
Currently, npm is _the_ package manager for the frontend world. Sure, there are alternatives, but for the time being, npm seems to have won. Even tools like Bower are being pushed to the wayside in favor of the One True Package Manager, but what’s most in...
4 weeks ago
Firefox is eating your SSD - here is how to fix it
Firefox has been observed writing tens of GB per day even on inactive/ idling workstations. If you use Firefox and a SSD, we can show how to limit writes
4 weeks ago
Museum of Wi-Fi
Turn your Wi-Fi ON and get lost in this endless gallery of wireless masterpieces.
5 weeks ago
transistors - Why do CPUs need so much current? - Electrical Engineering Stack Exchange
I know that a simple CPU (like Intel or AMD) can consume 45-140 W and that many CPUs operate at 1.2 V, 1.25 V, etc. So, assuming a CPU operating at 1.25 V and having TDP of 80 W... it uses 64 Amps...
5 weeks ago
CSS for Decoration
Practical use cases for CSS Gradients, multi-background, and CSS Blend Modes
5 weeks ago
Listen to early Soviet synthesizer music, hand drawn on film and made from cut paper | Dangerous Minds
Sometime in the early 1920s the Bauhaus artist László Moholy-Nagy suggested that a new form of “music writing” could be created from the grooves in phonographic records. He believed experimenting with the groves would enable composers, musicians and artists to produce music without recording any instruments. Long before scratching, Moholy-Nagy also believed the phonograph could become “an overall instrument… which supersedes all instruments used so far.” With the arrival of synchronized sound in movies, as seen and heard in the first talkie The Jazz Singer in 1927, Moholy-Nagy refined his idea believing a whole new world of abstract sound...
5 weeks ago
Neil Mitchell's Haskell Blog: Progress Reporting in Shake
Summary: Shake can predict you how long your build will take. The prediction makes use of stateful applicative streams. The Shake build syst...
5 weeks ago
Paginators are Mealy Machines in disguise
Alfredo Di Napoli - Computer Scientist, Scala and Haskell Programmer
5 weeks ago
BRIN Indexes in Postgres 9.5 - Sortable Engineering Blog
We recently had a chance to explore one of Postgres 9.5’s new features: block range indexes.
5 weeks ago
Our framework for real-time filtering of location streams | HyperTrack on WordPress.com
One of the biggest challenges with continuous location tracking is dealing with volatile quality of smartphone's GPS readings. Numerous factors affect GPS accuracy such as: Quality of GPS receiver Source of signal (GPS, WiFi, cell tower triangulation) Environment (weather, skyline visibility, enclosed spaces, multipath reception) Device state (low power mode, flight mode, initial fix) Due…
6 weeks ago
Futile Fonts | We Saw a Chicken …
I make fonts sometimes. All of them have very permissive licensing. ThreeFourTwoTwo — In the early 1980s, just before dot-matrix displays became a thing, companies produced more and more complex al…
6 weeks ago
Why are the Microsoft Office file formats so complicated? (And some workarounds) - Joel on Software
Hint: they’re not the product of a demented Borg mind. And don’t bother reading or writing them.
6 weeks ago
Think Before You Parallelize
In 2005 Intel release the Pentium D, which began the era of multi-core desktop CPUs. Today, even our phones have multiple cores. Making useof all of those c...
7 weeks ago
So I lost my OpenBSD FDE password
The other day I set up a new OpenBSD instance with a nice RAID array, encrypted with Full Disk Encryption. And promptly proceeded to forget part of the passphrase. We know things get interesting when I lose a password. I did a weak attempt at finding some public bruteforce tool,
golang  unix  admin 
8 weeks ago
« earlier      
accessibility admin algo android apple audio c clojure content css culture design devops django dotnet elixir emacs erlang fun gc gimp git golang graphics hardware haskell java javascript latex math music mysql nethack networking ocaml photoshop php pl postgres privacy prolog python redis ruby rust scala security smalltalk svg swift talk tools typography unicode unix via:gohai via:macdrifter via:sunpig via:tlockney video vim webdev windows zfs

Copy this bookmark: