Sign in with Twitter

Username:

Philip Monk @pcmonk Bay Area, CA

Software Engineer. ~wicdev-wisryt @urbit

296 Following   740 Followers   663 Tweets

Joined Twitter 1/12/12


@lrettig By contrast, a purveyor of precious metals is long volume but they don't bleed money in volatility because… https://t.co/XwE6cJhcC7 @lrettig I'm not sure that's long volatility, it's more like long volume plus long correlation between the two asse… https://t.co/KNKoz0ZgfD
9/24
2020
I suppose you might be able to make it back if enough people who want to trade "unprofitably" -- eg they want to be… https://t.co/ijjuuSG6JqAm I wrong that Uniswap is a raw deal for liquidity providers? You let someone else (arbitrageurs) rebalance your p… https://t.co/b2xd6VheDt
9/23
2020
@tylershuster Arguably monarchy just shrinks the set of relevant people but still is 4. For 1, you need that *any*… https://t.co/2rTIlqxwWDWish I knew good names for 1 and 3There are five levels of trust requirement in a group of people. 4 - all be honest (consensus) 3 - all but n be h… https://t.co/d5VCH03RlPbroke: using old names for old things woke: using new names for old things bespoke: intentionally misusing old na… https://t.co/nc1XTmAWSO
9/17
2020
@__laudiacay__ @newtonlaw @jbwoglom @an_empty_string it's super important to get errors right because unlike other… https://t.co/ww4EVwGMrL @__laudiacay__ @newtonlaw @jbwoglom @an_empty_string well there's errors and then there's errors. deterministic er… https://t.co/zOaGvDnm49 @__laudiacay__ @newtonlaw @jbwoglom @an_empty_string State and very occasionally IO. But overuse either and you're… https://t.co/wRhJK4Fhu1 @__laudiacay__ @newtonlaw @jbwoglom @an_empty_string 2 monads ought be enough for anyone. Haskell is degenerate for… https://t.co/wFEmU2YkXy @__laudiacay__ @newtonlaw @jbwoglom @an_empty_string how many layers of functional are you on? NixOS: like 5 or 6… https://t.co/vg4srOLOX1
9/15
2020
@mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit I'm going to be honest, I haven't looked into it much but I had… https://t.co/HUjzkSujFj @mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit Someone might think you can start a company by figuring out how… https://t.co/aO0QHc7vA8 @mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit So you can't build an ID system and then be like "everyone should use this it's better" @mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit I agree identities have value. To be clear: most social media… https://t.co/vhtRFtn1bn @mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit What people care about is Urbit OS, and Urbit OS needs an ID to be the best OS it can be @mwilcox @arcalinea @fonnyx_nopmer @lsalas81 @urbit Urbit is an operating system for waves @arcalinea @fonnyx_nopmer @lsalas81 @urbit Even if it's not Urbit, I'll bet decentralized identity tags along as pa… https://t.co/b3OJgfYfEB @arcalinea @fonnyx_nopmer @lsalas81 @urbit Something a lot of people miss is that identity isn't a product, which i… https://t.co/c6UI1UCZxh @matildepark_ @tylershuster Naming runes is the hardest problemThis is why "everyone uses comets" is such a poor solution. Owning your data and compute has little value if you do… https://t.co/BV6kin437j
9/12
2020
@newtonlaw Not just twitter, I've been reading whitepapers again and I just read "a refrigerator may accept any reo… https://t.co/uXdNJ5ngbfIs there a name for "rollups but without a state hash"? Where you just put the txs in calldata and don't bother tr… https://t.co/0WeNeP1j71
9/10
2020
@JRstract I don't know if Chalkdust does younger ages though. I felt like Abeka was fine, but I was young and haven… https://t.co/iL2ZJNBqFC @JRstract I had Abeka until high school, when I did Saxon for algebra 1 and then Chalkdust for algebra 2 and precal… https://t.co/n9TUOGrfYn
8/24
2020
@lucifertowers The best two ways are probably to learn hoon (I recommend https://t.co/YN8GTA0KFg) and/or work on gr… https://t.co/LuEftJN45b
8/22
2020
The internet of the 1980/90s was open, but it wasn’t accessible. The modern internet is closed but accessible. The… https://t.co/jfwTgs8k2s
Retweeted by Philip Monk
8/21
2020
These aren't *new* priorities btw -- it's mostly what we've been working on anyway. But sometimes you gotta say it out loud.For C programmers, this is a rare use of switch without break: https://t.co/rSPUW0JvZxThese are *not* orthogonal -- they form a triangular sum. Twice the stability makes it twice as scalable, twice as… https://t.co/piUkeUuYy9Things to do when you're here (D): - Most people stick around for the communities here or to experiment with the te… https://t.co/KRFIiruD9LEase to join and maintain (E): - The interface needs to be clean and intuitive - OS and apps need to not break or r… https://t.co/Bd7e3CSiA4Scalability (K): - Another Nike problem. Identify what's holding you back at any time and fix it. Don't guess, in… https://t.co/V7G3KotQh9Stability (S): - This is a Nike problem -- you just gotta do it. - Fog of war is thick, so you have to push hard wh… https://t.co/sc1bsviW53Coming back from vacation, my priorities for short-term Urbit development seem pretty clear. Note that I work on t… https://t.co/t5C35qGiuPThe four most important work areas for @urbit: - (S) Stability - (K) Scalability - (E) Ease to join and maintain -… https://t.co/dchrz4FLnR"So the product is fine, it was user error after all?" "Yes, I erred by using it"
8/20
2020
h/t ~litmus-ritten on #urbit https://t.co/rlFDq42zGy
Retweeted by Philip Monk
8/13
2020
@JRstract They varied in severity and enforcement, but you were always worried that your kids would be taken away i… https://t.co/6mU7NOI5JQI wonder how many new homeschoolers realize homeschooling was illegal in nearly every state 40 years ago until a ba… https://t.co/XRE2bAiqfV
8/11
2020
@marcoJcosta Unironically wpa_supplicant + rc.inet1.conf is easier than NetworkManager. GRUB was a mistake, graphic… https://t.co/dtCuvzrHaUIt's like the last 6 years have been a bad dream https://t.co/BCwrURUZvjThis feels so right https://t.co/rZItYNnUt6Slackware I never stopped loving you https://t.co/ipsgF9cc13
8/10
2020
@dpc_pw @Ngnghm Reverting *is* a linear extension, and I don't know of any use for the metadata that links it to th… https://t.co/tQ3oRDgvOX
8/3
2020
@djinnius @Ngnghm @dpc_pw I've never seen a coherent patch-based system that didn't have serious flaws, do you know… https://t.co/YLd7W1xlaw @Ngnghm @dpc_pw The question of whether small chunks of work are available is separate from whether they're an appr… https://t.co/p1ZeMLBGKw @Ngnghm The reason to do it as a merge is that it's really a property of a set of commits in the context of a paren… https://t.co/KichsCFRKH @Ngnghm This is just a single bit per commit to say "this is a real, working commit", right? Then just default to o… https://t.co/vyKLwElLBw
8/2
2020
@risruc_habteb @Counteredlogos I'll evacuate the galaxies, you get all the planets out safe
7/21
2020
"Urbit isn't exactly a traditional operating system, so the comparison is somewhat unfair, but the purpose of bette… https://t.co/B8VYLiKQgEWhoa, YouTube parsed the TOC out of the description and made little markers on the video - Intro: 0:00:00 - Buildi… https://t.co/FG9Za8jnnmPerhaps less dramatic than the last one, but at least it's in Hoon. Here I write a small @urbit app and thread to… https://t.co/DMPOVwxvJw
7/15
2020
@tylershuster These are my aesthetic sensibilities: https://t.co/55KRcEmrI1How come every color on its own is so pleasant? Every hour this bot puts another color on my timeline and I stop fo… https://t.co/62QVAfTotr
7/13
2020
@zerker2000 As far as I can tell this is the original commit that extended the atom-wise murmur3 to work on nouns: https://t.co/PfsBz5P3EE @zerker2000 Crazy that it's in the test suite, nice catch. However, if *I* may be so bold, it goes back to well in… https://t.co/o5vr1AsIzE @nmgrm @urbit of course, this is a high compliment @nmgrm @urbit oh no you summoned him from the grave https://t.co/aMZHv4CmqH
7/8
2020
Also let me know if you'd be interested in me recording and/or streaming debugging sessions in the future (maybe in… https://t.co/Owv4uaO5yeIf you just want to skip to the climax, go to the 15 minutes starting around 2:27:30I was debugging performance issues recently and found a rather astonishing bug. I was experimenting with recording… https://t.co/2Gu7XEG7cG @everysigil Fella's just lying down, chilling with a book @dpc_pw I would love to spend like a year just taking advantage of how legible the programming environment is and b… https://t.co/ZF5vFu0MN8 @dpc_pw Yeah exactly. Have you looked at the hoon-language-server stuff? While LSP will never be that powerful, it'… https://t.co/e6S9fk1M83
7/7
2020
@dpc_pw There's only one solution then: take the next 6 months and build out a really powerful LSP client for kakou… https://t.co/ZvEQc99Yha @dpc_pw @_dasfeb @urbit @Raspberry_Pi Do people usually have publicly accessible ipv6 ports? @dpc_pw @_dasfeb @urbit @Raspberry_Pi The one other feature that would be really nice is if you could somehow give… https://t.co/4LD7V5G9kB @dpc_pw Well then yeah it's good to experiment and see if those features really are as helpful as they are cool. Lo… https://t.co/xodkJOoVn0 @dpc_pw There are LSP clients for vim and emacs, though they may not be quite as fully featured
7/3
2020
@everysigil me looking for my glasses"This is a significant refactoring and rearchitecting of our build system and over-the-air update system." https://t.co/5vCPHK3g4W
Retweeted by Philip Monk @williamsbk @urbit When we run out of numbers
6/30
2020
@lukechampine Sorry I meant I type it "oustanding" @lukechampine I don't even know if it's muscle memory, but about 20% of the time I type `git chekcout`. I've resis… https://t.co/wRNri61CCOOnce you decide programming languages aren't to be read aloud, this is the inevitable conclusion https://t.co/pCfebFx0e7
6/29
2020
@nicktweattie The only acceptable startup message is "Help poor children in Uganda!" @chc40 Ha! Reading proc in a signal handler probably voids your warranty @chc40 Ah, very interesting. Looks like Vere predates userfaultfd, maybe we should switch to that. Always better… https://t.co/iKw9zUdij2 @chc40 I doubt anyone triggers as many SIGSEGVs as we do @chc40 The loom is split into 16KB blocks which are mprotected after each checkpoint. When we get a SIGSEGV, we ch… https://t.co/xh2Nvl0xoy @JRstract It was only caching at the outermost layer, so any old =+ makes everything later miss the cache. I think… https://t.co/EjUw1Malfx @JRstract Our +fond caching was so bad that I took it out and it went fasterMy point is that, yes, Urbit is slow. However, it's really easy to attribute that slowness to deep architectural c… https://t.co/iqhqPgKWApThese aren't the last such bugs in Urbit. The compiler calls the "find a name in our subject" function 1 million t… https://t.co/57rGOna7hlFor the Linux issue, I just attached a debugger and got a backtrace about 10 times and noticed it was in read() whi… https://t.co/D2olt5aa2XWhile these are excellent results, I want to point out that I didn't do any sophisticated profiling. For the compi… https://t.co/6f5czqWQO9Turns out we were spending most of our time... reading from procfs in libsigsegv. This PR makes a CPU-heavy benchm… https://t.co/If3GEe8KaHRunning Urbit on Linux has been much slower than on MacOS for years, which is frustrating because most people run i… https://t.co/TLkPtbNagpThis PR made compiling hoon.hoon take 90% less memory and 10% less time. https://t.co/gufJPsR9PGWe used to use 500MB of RAM to compile hoon.hoon, which is a 17k line file defining the hoon compiler and part of t… https://t.co/qYxLyLCr7OYou know how sometimes you *know* there's a bug for months or years because the numbers are absurd but there's no c… https://t.co/9WgatUghTs
6/26
2020
New @urbit binary out: https://t.co/n1URMAkXsE Please upgrade to this before the Ford Fusion OTA, which is tentat… https://t.co/MqWe6G79h3
Retweeted by Philip Monk
6/25
2020
@sonyasupposedly If it helps, I didn't think you didn't *know* the content -- I think knowledge of that sort is wor… https://t.co/80IIYjXd5p @sonyasupposedly Sorry, it briefly crossed my mind that it could come across that way, good to know I should have listened to that thought. @sonyasupposedly It feels great to be able to say "you can do it this way" and they say "yeah that's how I'm going… https://t.co/g8TVdukno9 @sonyasupposedly FWIW, if you can get past this and are confident the other person also doesn't mind, a whole new w… https://t.co/qelJKabrWx
6/22
2020
I'm not sure what exactly counts as type inference, but I'd almost call what Hoon does "type implication". Each ru… https://t.co/CZEXt7Wych
6/20
2020

0