oinksoft

As far as I know, Furnace Creek is an oasis, and its golf course is irrigated by non-potable groundwater from local springs.

Water Conservation at The Oasis: https://www.oasisatdeathvalley.com/who-we-are/sustainability...

Hydrogeology of Lower Amargosa Valley (see Fig. 1 in report): https://pubs.er.usgs.gov/publication/sir20185151

oinksoft

6 年前議論

https://www.latimes.com/environment/story/2020-04-28/coronav...

> “It is possible that this was partially due to reduced emissions, but meteorology likely played a much larger role.”

Here in OC over the past couple weeks the haze has returned, while traffic is only slightly up.

oinksoft

9 年前議論

Somewhat related, from my .bashrc

  for a in $(git var -l | sed -nE 's/^alias\.([^=]*)=.*/\1/p') ; do
      if ! command -v g$a >/dev/null 2>&1 ; then
          alias g$a="git $a"
      fi
  done

Which creates a shell alias prefixed with `g` for each of my configured git aliases if there is no conflict. So I get not only the `gst` command you mentioned and ones like `gco` (because I have Subversion-equivalent aliases for common commands), but more complex ones like `gstpup` (stash, pull upstream, stash pop). Combined with `alias g=git`, I seldom type "git" and the setup is pretty convenient. I've thought of making the above alias unconditionally, or report conflicts, as it can be jarring when an alias is missing. I've also considered expanding it to all git commands because sometimes my custom ones live as `git-$command` scripts and not aliases.

oinksoft

9 年前議論

ML for the Working Programmer is my favorite programming book! It's fantastic because it is serious and goes into great detail about practical matters in working with SML. Its treatment of SML's module system is without match. It contains generally useful chapters on the implementation of streams, persistent functional data structures, parsers, and proof systems. My favorite thing about the book is its emphasis on designing correct programs. And the cover's pretty cool.

oinksoft

9 年前議論

I don't know if this is helpful for you, but I map <c-p> to run the open buffer in Vim in the buffer's filetype's interpreter (or compile and run, etc.). For GNU APL, this is:

  nnoremap <buffer> <C-P> :write !cat - <(echo ")OFF") \| apl --script<CR>

It took some time to figure that out, but combined with https://github.com/ngn/vim-apl, it is not too bad of an editing experience.

oinksoft

10 年前議論

Highly recommend https://github.com/othree/yajs.vim

oinksoft

10 年前議論

Either way, mapping the arrow keys to <nop> seems wasteful. In normal mode I map up/down to :cprevious/:cnext and left/right to :colder/:cnewer, which makes error list navigation effortless. Some other good targets are the buffer, tag and location lists (with a little work you could make them context-aware too). I don't remap the arrow keys in insert mode though, it'd be annoying to have to exit insert mode only to move the cursor a few characters.

oinksoft

10 年前議論

Obligatory warning about running `strings` on untrusted files: https://lcamtuf.blogspot.com/2014/10/psa-dont-run-strings-on...

oinksoft

10 年前議論

The Salton Sea is fascinating. Its bed is as low as Badwater Basin in Death Valley, and were it not inundated, it might be the hottest place in the US. A little while ago I submitted a fellow's account of hiking its perimeter during summer: http://dineshdesai.info/saltonwalk/

oinksoft

10 年前議論

Unfortunately, this is the only source I could find referring to plants marked as "cursed" by the church for the reason that they didn't "bow before [God]." Most primary sources are in Amharic, of which I know little.

oinksoft

10 年前議論

Apparently as recently as the 19th century, coffee was forbidden in Ethiopia (the birthplace of coffee, where its cultural importance is tremendous) by the Orthodox Church. Coffee, along with tobacco, cannabis and khat were considered "cursed plants" because they were reputed to have not dried when Christ was crucified.

The best source I could find is http://www.ijhssnet.com/journals/Vol_3_No_21_[Special_Issue_... which describes the condemnation of khat:

> Khat was cursed by God forever to be chewed by humans because of causing a divine displeasure when God came to Earth and all the plants bowed before him showing ultimate respect with the exception of Khat.

oinksoft

10 年前議論

This is a real problem with ML. There's competing tooling from SML/NJ and MLton, not to mention interesting, useful projects like MoscowML or PolyML. So finding reusable libraries and such is a real battle, and you can't escape knowing both MLBasis and CM, as well as SML/NJ extensions and differences in the respective Basis libraries. The underlying "problem" is that MLton is too good to ignore, but takes so long for even small programs that it's impractical for day-to-day, let alone interactive development.

That's what's so exciting about new work on MLton like this: A JIT-ing MLton, for instance, could be an amazing thing. It seems like the community has been coalescing around MLton against all odds, and any improvements to it are a big deal.

SML is nicer syntactically than OCaml, but OCaml brings so much to the table that it's hard to ignore (a simpler compilation model, niceties like named arguments, single development target, good community). Also Paulson's ML For the Working Programmer explains SML's warts well, in a historical context. It goes into great detail of some of the limitations of SML's module type safety and some of the nasty things you need to do to make functors generic and reusable, which really turned me off of the language and explained why Caml and OCaml exist. I still love SML but must concede that it's mostly a teaching language. The Little MLer is wonderful.

oinksoft

10 年前議論

Not a pun, just what this immediately reminded me of :) I've always found it astonishing that people would live on an island with such a low maximum elevation.

oinksoft

10 年前議論

Tuvalu is in similar straits.

oinksoft

10 年前議論

Also here: https://en.wikipedia.org/wiki/Reston,_Virginia

oinksoft

10 年前議論

Echoing what you said, I've never met nicer people or made friends more easily than when I lived in Sacramento.

oinksoft

10 年前議論

Mali is on the west coast of Africa, so such an ocean crossing would not require rounding the Cape. They're also well-situated to take advantage of trade winds, and are at the point of the narrowest middle Atlantic crossing. So it's not so far-fetched that they could have made these trips.

oinksoft

10 年前議論

According to their oral history, they went clear across the ocean. My source is "A History of Madagascar" by Mervyn Brown (2001) and it could be incorrect, I didn't seek out the primary sources.

oinksoft

10 年前議論

Of course it's realistic. The Malagasy people are descendants of Polynesians who crossed the Indian Ocean to Madagascar, in canoes. With calm seas, there's no reason you couldn't make such a trip. Canoes can have sails too, and you can row your way out of the doldrums.

oinksoft

10 年前議論

EC2 is a proprietary service for creating virtual machines on demand in Amazon's infrastructure, it is not a computation system. Much as a relational database system provides a framework for storing and retrieving relational data, a computation system provides a framework for performing (usually large-scale) computations, like transforming text files. It is open-ended, just as an RDBMS imposes no schema. A simple example would the processing pipeline of some web crawler.

Hadoop is one of the better known computation systems, though it does other things too (e.g. persistence with HDFS). Apache Storm is another popular computation system, particularly in the Clojure world. Onyx was created a few years ago, is implemented in Clojure, and competes with Storm (it's the first such system mentioned in the "What is it?" section of https://github.com/onyx-platform/onyx).

Onyx is distributed (meaning there are multiple nodes cooperating, typically over a network), and Jepsen is a rigorous tool for testing fault-tolerance in such systems. Being masterless (no node has central authority) is valuable for fault-tolerance. It means that in the event of a network partition, either side of the partition can continue processing as normal and recover when the partition is resolved. Jepsen simulates these and other fault conditions.

投稿

Eddie Paul: How to build a mechanical shark

Cassette Tapes Find New, Unlikely Following in Southeast Asia

The Violin Thief (2016)

An Art Powerhouse from North Korea

TempleOS: Kernel Algorithms

Don't be a Stanford Asshole

Hotter Than Death Valley? A Summer Walk Around the Salton Sea

Perl Advent Calendar 2014

Ask HN: Question

Gravity Hill

Agile: Software Meets Agriculture

Testing One-off Scripts in Vim

Guido van Rossum: Tail Recursion Elimination in Python (2009)

Pig livers and blindness: Growing up in North Korea’s famine

Style Guide for Writing Comparisons in Conditions

A minimal security response process

Man convicted in hit-and-run killing of Seth Vidal, gets 12-24 months

Single assignment C

Discount – a C implementation of the Markdown markup language

Zope.cooties

コメント