HNHacker News
TopNewBestAskShowJobs

pdexter

100 karma · joined September 15, 2015

https://phfilip.com https://github.com/philipdexter
submissionscomments
pdexter··on Tmux and Vim – better together
I have wished those two wishes before. Haven't seen a solution.
pdexter··on Tmux and Vim – better together
You can scroll using mouse in tmux too. :set mouse

Not sure about selecting panes with mouse though

pdexter··on Udp.c in Linux kernel pre-4.5 allows remote attackers to execute arbitrary code
Arch is on 4.10.9
pdexter··on We’re dropping Google Ads
I'm lost, why would someone buy a byte? To reduce load time for everybody?
pdexter··on An off-grid social network
I wonder if there was one added step on every post to this network "warning, you are about to make this public without the possibility of removal, are you sure you want to post this?", would that better educate people and make them less likely to make public that which they will later wish was private? I think the solution is also a culture or user education issue. Basically teach people more about how the Internet works and they're less likely to want to post information on it.
pdexter··on Ask HN: The most cyberpunk city in the world?
Where in Africa? Africa is huge, many different cultures and types of cities.
pdexter··on Idris 1.0
I said half.
pdexter··on Idris 1.0
I'm not sure that is quite a simple example actually. Sounds kind of complex to prove that all file handles are closed after use (how soon after use?) in the general sense, especially when they're opened dynamically.

Also, you can already do half of what you described in Haskell. Just require the functions that work over open files to require an Open type which the open function would return.

pdexter··on Idris 1.0
Though unlike Haskell, it is strict.
pdexter··on Linear types make performance more predictable
It's not a 'cyclic data structure' though. It allows cycles in that every node has an ID and you can freely point to nodes to create cycles. For a cyclic graph with true cycles see https://www.cs.utexas.edu/~wcook/Drafts/2012/graphs.pdf
pdexter··on Tyson Foods CEO: The Future of Food Might Be Meatless
The problem is, that's not what's happening. Not everyone who eats cows are getting them from people who treat them as nicely as I guess you claim to. Further, why waste food and water on cows when humans can just eat and drink that themselves? Why raise a cow and then shoot it in the head when you can just, you know, eat plants.
pdexter··on How Elixir helped Bleacher Report handle 8x more traffic
How many implementations are there?
pdexter··on Introducing PureScript Erlang back end
If they're not curious, then I am :)
pdexter··on Nim Programming Language v0.16.0 released
Nim is ML-inspired? How so?

Anyways, it looks like this is a code emitting example? I'm guessing the average user would never use that feature. I don't now nim but this is just an assumption. So I think we can let this one pass.

pdexter··on Announcing Rust 1.14
Haskell doesn't have this feature though. I mean it does, but you can just leave out the ones you don't want matched, you don't have to put in any dots.
pdexter··on How Discord handles over a million requests per minute with Elixir’s GenStage
http://ferd.ca/handling-overload.html

This is a good article about overload and back pressure. It also lists some tools in Erlang to solve these sorts of issues. It also mentions genstage (very) briefly.

pdexter··on FindBugs project in its current form is dead
GHC has had a few major rewrites of key components.
pdexter··on Tmux Resurrect – Persists tmux environment across system restarts
Wait... what? That's the whole point of tmux. As far as I know there's no such thing as 'saving'. They're automatically saved. Unless you're on a shared computer? If so... here's a solution I wrote up a while ago:

--- title: Tmux on a shared server ---

Normally, tmux stores its session sockets in the /tmp directory. This is bad news when trying to run tmux on a shared computer (e.g. shared compute nodes) since the tmp directory is probably cleared on every login. To get around this tmux offers a way to store session sockets in alternative locations. How to use this isn't entirely clear in the man page though, so I'll outline it here. First, I'll create a directory to store the socket with ``mkdir ~/.tmux.socket'`{.bash}. Tmux stores new session sockets in the tmp directory so we must change that when we start tmux:

  TMPDIR=~/.tmux.socket tmux
and to attach to this socket we use the `-S`{.bash} option and glob to the socket (defaulted to be named `default`{.bash})

  tmux -S ~/.tmux.socket/*/default attach

Here are some aliases to put into your shell config file to help:

  alias tmux-start="TMPDIR=~/.tmux.socket tmux"
  alias tmux-attach="tmux -S ~/.tmux.socket/*/default attach"
← PreviousPage 2 of 2