3971
Datafun
"Datafun is a new language I'm working on with Neel Krishnaswami. It's a simple, pure, and total functional language that generalizes Datalog. Datafun's superpower is that it can concisely and declaratively express and compute fixed points of monotone maps on semilattices."
database  datalog  query  prolang 
10 weeks ago
Notes on a smaller Rust
What would be needed for a non-systems Rust.
rust  languagedesign 
12 weeks ago
Small Seasons
Japanese farming year with 24 seaons.
seaons  nature  calendar 
july 2019
Filesystem Hierarchy Standard | Linux Journal
A nice modern overview of Linux filesystem layout.
linux  fhs 
june 2019
Kubernetes API Reference Docs
Oh, wow, actual Kubernetes YAML documentation!
kubernetes  documentation 
june 2019
Joe Medicine Crow - Wikipedia
The last War Chief of the Crow Nation.
history  military 
may 2019
Moving from Heroku to Google Kubernetes Engine | Hacker News
Lots of real-world experience with Helm and Kustomize.
kubernetes  cage 
april 2019
NASA wiring standards
How to solder, crimp, etc., for spacecraft.
electronics  nasa 
march 2019
Understanding Real-World Concurrency Bugs in Go - go-study.pdf
"Surprisingly, our study shows that it is as easy to make con-
currency bugs with message passing as with shared memory,
sometimes even more. For example, around 58% of blocking
bugs are caused by message passing. In addition to the viola-
tion of Go’s channel usage rules (
e.g.
, waiting on a channel
that no one sends data to or close), many concurrency bugs
are caused by the mixed usage of message passing and other
new semantics and new libraries in Go, which can easily be
overlooked but hard to detect."
golang  concurrency  bugs 
march 2019
Halide
A tensor/matrix-based programming language implemented as a C++ DSL.
proglang  tensors 
december 2018
There's a really good point in here that I had to learn the hard way: one of a f... | Hacker News
Searching for product-market fit, and how it relates to "premature optimization is the root of all evil."
startup  business  optimization 
december 2018
« earlier      
3d 3dprinting advertising ai amazon analytics android anki anthropology api arduino art assimil audio aws backpressure bayes bd bigdata bigquery biology blog book books brain business c c# c++ categorytheory ci cloud comics compilers compression consulting cooking copyright coq corpus cryptography css culture data database debugging deeplearning design distributedsystems docker dvd ebola economics ecs education egyptian electronics elixir elm emacs embedded ember.js encryption environment erlang ethics evolution exercise facebook factorio fantasy feminism film finishing fitness food france french fun fuzzing game games genre git github go golang google gpu grammar graphics graphql hadoop hamilton hardware haskell hbase health heroku history hive home html html5 http humor image internet interviewing java javascript journalism json kernel ksp kubernetes lambda language languagedesign languages law linguistics linux mac machinelearning macros management mapping marketing marriage math medicine microservices mobile moderation monad music networking neuralnet nlp node.js ocr opensource os osm parallel parenting parsing patents performance photography politics postgresql printrbot privacy probability proglang programming psychology python rails raspberrypi react reading ruby rust safety scaling science search security sf shell software space spanish spectre sql ssl startup startups statistics streaming subtitles sysadmin technology tensorflow testing translation tutorial tv types typescript ubuntu ui unicode vc video vocabulary vpn wasm web weightlifting writing

Copy this bookmark:



description:


tags: