2025-02-23 00:00:42 are you sure 2 < and 1- are what you want there? 2025-02-23 00:01:35 !gforth : FACTORIAL ( n1 - $n2) DUP 2 < IF DROP 1. ELSE DUP 1- RECURSE ROT 1 M*/ THEN ; 5 FACTORIAL D. 2025-02-23 00:01:36 !gforth : FACTORIAL ( n1 - $n2) DUP 2 < IF DROP 1. ELSE DUP 1- RECURSE ROT 1 M*/ THEN ; 1 FACTORIAL D. 2 FACTORIAL D. 2025-02-23 00:02:27 !gforth : fac dup 2 < if drop 1. else dup 1- recurse rot 1 m*/ then ; : factorials 0 do fac . loop ; 11 factorials 2025-02-23 00:03:28 !gforth SOURCE TYPE 2025-02-23 00:03:40 SOURCE TYPE 2025-02-23 00:04:23 we should request the bot to print errors too 2025-02-23 00:04:34 yes, and not mangle UTF-8 2025-02-23 00:04:42 Yeah it goes bad when stderr is involved 2025-02-23 00:05:38 !gforth : fac dup 2 < if drop 1. else dup 1- recurse rot 1 m*/ then ; : factorials 0 do i fac d. loop ; 11 factorials 2025-02-23 00:05:39 1 1 2 6 24 120 720 5040 40320 362880 3628800 2025-02-23 00:11:19 !gforth WARNINGS OFF : ! 1. ROT 1 MAX 1 ?DO I 1 M*/ LOOP ; 1 ! D. 2 ! D. 3 ! D. 30 ! D. 2025-02-23 00:11:20 1 1 2 8841761993739701954543616000000 2025-02-23 00:11:50 !gforth WARNINGS OFF : ! 1. ROT 1+ 1 MAX 1 ?DO I 1 M*/ LOOP ; 1 ! D. 2 ! D. 3 ! D. 30 ! D. 2025-02-23 00:11:50 1 2 6 265252859812191058636308480000000 2025-02-23 00:13:00 Also maybe turn warnings off 2025-02-23 00:15:07 !gforth BASE ON 1 . 10 . 100 . 1000 . 2025-02-23 00:15:08 1 -1 1 -1 2025-02-23 00:17:58 !gforth 10 DUP [IF] DUP . 1- 5 >IN ! [THEN] 2025-02-23 00:17:59 10 9 8 7 6 5 4 3 2 1 2025-02-23 00:31:10 I was thinking "why is Forth so hard", then I just realised I don't even know how to do the above factorial program in C without breaking out bignums or GCC extensions 2025-02-23 00:31:32 yeah, standard C doesn't have double precision integer math 2025-02-23 00:32:19 your nonrecursive factorial is certainly a great deal more readable 2025-02-23 00:32:41 Which is roughly my proof of why Forth isn't a functional programming language 2025-02-23 00:33:37 The nonrecursive one doesn't stack overflow either, but it does throw an exception on gforth when the number overflows 2025-02-23 00:44:58 that's interesting! C isn't very good at that either 2025-02-23 00:47:28 I think the reason it's hard to write it that way with an arithmetic for loop in most functional languages is that in Forth the return value of each iteration of the loop is the argument to the next iteration of the loop, which seems pretty functional to me. 2025-02-23 00:47:47 !gforth : 广州市 37 ; 广州市 . 2025-02-23 00:47:48 37 2025-02-23 00:50:52 I think all x86 forths get this for free with M*/ as DIV raises an exception if the result overflows 2025-02-23 00:51:12 C gets this too, but because it doesn't do mixed precision you only see this for e.g. INT_MIN/-1 2025-02-23 00:53:02 hm! 2025-02-23 00:53:13 thought-provoking 2025-02-23 01:20:24 Also the mixed precision DIV runs slower, which isn't too surprising 2025-02-23 01:21:00 Might depend on how old your CPU is but the ones I looked at the stats for it was definitely slower 2025-02-23 01:23:13 interesting, I'd've expected it not to be on i386 and amd64 2025-02-23 01:23:56 since they have a native divide-double-precision-by-single-precision instruction, and their division isn't constant-time, running faster for smaller divisors 2025-02-23 01:24:23 Yeah I mean in general case, it's faster depending on the value yeah 2025-02-23 01:24:41 Well except for some crap atom processors probably 2025-02-23 01:24:59 and really old stuff that's not worth thinking about 2025-02-23 01:26:02 I mean, I assume you're talking about the case where the high word of the dividend is 0 2025-02-23 01:26:39 because, when it's not, it isn't meaningful to say "runs slower" than single-precision division, because single-precision division gives the wrong answer! 2025-02-23 01:27:25 You've certainly assumed things there :P 2025-02-23 01:28:12 it's a bad habit 2025-02-23 07:54:29 guys do you know about postscript? 2025-02-23 07:54:41 is it as hard as forth? 2025-02-23 07:57:12 I mean forth forces you to factor your code in small pieces because if you don't you are fucked up 2025-02-23 07:57:48 ps is a much higher level language, but so is my abomination 2025-02-23 07:58:16 and both my abomination and forth are extremely hard unless you factor 2025-02-23 11:30:55 !gforth ." \rabc" 2025-02-23 11:30:55 !gforth ." abc" 2025-02-23 11:31:05 !gforth ." \rNOTICE ##forth :test" 2025-02-23 11:31:14 that's one vulnerability 2025-02-23 11:32:12 !gforth s" strace gforth" system 2025-02-23 13:39:11 !gforth s" ps aux" system 2025-02-23 13:40:37 !gforth ." \rNOTICE ##forth :test" 2025-02-23 13:40:38 \rNOTICE ##forth :test 2025-02-23 13:42:01 the bot has been patched 2025-02-23 13:42:03 :) 2025-02-23 13:57:38 !gforth .\" \rNOTICE ##forth :test" 2025-02-23 13:57:51 !gforth .\" \r\nNOTICE ##forth :test" 2025-02-23 13:58:01 !gforth .\" \nNOTICE ##forth :test" 2025-02-23 13:58:22 !gforth : T .\" \rNOTICE ##forth :test" ; T 2025-02-23 13:58:30 veltas: it's being pinged out by the server 2025-02-23 13:58:37 I don't know the cause 2025-02-23 13:59:02 !gforth ." \x41" 2025-02-23 13:59:04 Probably something you've changed with input is dropping your pings? Or dropping your pongs? 2025-02-23 13:59:14 !gforth ." x41" 2025-02-23 13:59:33 pgimeno: I missed that the bot isn't even in the channel right now 2025-02-23 13:59:35 yeah I am debugging 2025-02-23 13:59:37 oh right 2025-02-23 13:59:55 ghodawalaaman btw please make it show the errors when you can 2025-02-23 13:59:59 nick gforth_eval_bot 2025-02-23 14:00:07 oh, darn :) 2025-02-23 14:00:34 vms14: yeah I will redirect stderr to stdin so that we can see the error messages 2025-02-23 14:00:40 :D 2025-02-23 14:00:46 I cannot help you with bash 2025-02-23 14:00:48 to stdout you mean? 2025-02-23 14:00:52 but I can with perl 2025-02-23 14:01:16 veltas: oh yes, stdout 2025-02-23 14:01:48 vms14: 2>&1 2025-02-23 14:03:22 yeah, but I mean in general 2025-02-23 14:03:43 gforth! ." :D" 2025-02-23 14:03:53 !gforth ." :D" 2025-02-23 14:03:53 lol 2025-02-23 14:04:12 vms14: I suspect you will consider PostScript very easy 2025-02-23 14:04:16 I'm waking up yet 2025-02-23 14:04:27 xentrac I have no idea 2025-02-23 14:04:37 hahaha, good job pgimeno 2025-02-23 14:04:52 !gforth : TEST .\" \rNOTICE ##forth :test" ; TEST 2025-02-23 14:05:10 and good job ghodawalaaman 2025-02-23 14:05:15 my main concern was because of rpn 2025-02-23 14:05:16 veltas: oh no you crashed vms14! 2025-02-23 14:05:29 lol 2025-02-23 14:05:50 rpn is quite unintuitive and I find it very hard to do even the most simple things 2025-02-23 14:06:03 emanuele6 said there is something wrong with "[[ $line =~ $regex ]] || echo "Something weird happened" >> log;" but I don't know what's wrong in the line 2025-02-23 14:06:30 vms14: it may be helpful to use an HP calculator to do some calculations 2025-02-23 14:06:34 so I wonder if ps being rpn will also have the same problem 2025-02-23 14:06:44 Yeah looks like I did 2025-02-23 14:06:53 RPN is a thing you can learn 2025-02-23 14:07:12 !gforth : TEST .\" \r\nNOTICE ##forth :test" ; TEST 2025-02-23 14:07:23 !gforth : TEST .\" test" ; TEST 2025-02-23 14:07:24 test 2025-02-23 14:07:30 Seems legit 2025-02-23 14:07:39 !gforth 1 2 + . 2025-02-23 14:07:49 !gforth 1 2 + . 2025-02-23 14:07:58 !gforth 1 . 2025-02-23 14:10:53 !gforth ." hello" 2025-02-23 14:10:53 hello 2025-02-23 14:11:39 I just added quotes(") to the BOT_NAME and also patched the printf statement 2025-02-23 14:11:45 I didn't change anything else 2025-02-23 14:12:10 !gforth ." 1 " 2025-02-23 14:12:11 1 2025-02-23 14:12:37 !gforth 13 emit ." NOTICE ##forth :test" 2025-02-23 14:12:40 !gforth decimal 1 . 2025-02-23 14:12:50 pgimeno: I already did that 2025-02-23 14:13:04 .\" with \r 2025-02-23 14:13:10 ok 2025-02-23 14:13:24 !gforth 65 emit ." NOTICE ##forth :test" 2025-02-23 14:13:36 !gforth ." NOTICE ##forth :test" 2025-02-23 14:13:46 !gforth ." NOTICE forth test" 2025-02-23 14:13:47 NOTICE forth test 2025-02-23 14:13:57 !gforth ." NOTICE forth :test" 2025-02-23 14:13:58 NOTICE forth :test 2025-02-23 14:14:01 !gforth ." NOTICE #forth :test" 2025-02-23 14:14:08 it doesn't like the # 2025-02-23 14:14:16 !gforth ." #" 2025-02-23 14:14:34 Yeah but it also dislikes `1 .` over `." 1 "`, which should be the same 2025-02-23 14:14:57 !gforth ." 1" space 2025-02-23 14:15:36 yesterday was working fine 2025-02-23 14:15:52 rip 2025-02-23 14:16:17 ACTION debugging it 2025-02-23 14:29:00 vms14: even after 40+ years I still don't find RPN as readable as infix notation, but I also don't think of it as being very hard 2025-02-23 14:29:53 yeah it's also the fact that I have to get used to 2025-02-23 14:30:54 do you do calculations? 2025-02-23 14:30:54 but my toy language sucks for more than a hello world and I like to blame rpn 2025-02-23 14:31:04 like yesterday I was calculating the population density of 广州周大福中心: https://news.ycombinator.com/item?id=43140544 2025-02-23 14:32:04 that is a thing you could productively do on an HP-48GX or HP-12C to wire RPN into your brain 2025-02-23 14:32:15 but it has to be something you're interested in 2025-02-23 14:32:43 do you do any kind of science or engineering thing that involves numerical calculations 2025-02-23 14:35:35 !gforth 1 1 + . 2025-02-23 14:35:36 2 2025-02-23 14:35:41 finally! 2025-02-23 14:35:47 Thank you emanuele6 2025-02-23 14:35:59 !gforth ping localhost 2025-02-23 14:38:29 !gforth s" ping localhost" system 2025-02-23 14:38:31 PING localhost(localhost (::1)) 56 data bytes 2025-02-23 14:38:31 https://0x0.st/8T4w.txt 2025-02-23 14:38:55 xentrac no, but I like to play with the js version of my abomination 2025-02-23 14:39:05 since it can mess with the dom and the canvas 2025-02-23 14:39:10 and draw rectangles! 2025-02-23 14:41:08 vms14: graphics involves a lot of math but not a lot of ad-hoc calculations of the kind I'm talking about 2025-02-23 14:43:22 !gforth something 2025-02-23 14:48:42 !gforth 1 2 + . 2025-02-23 14:48:43 3 2025-02-23 14:51:35 !gforth unknown_word 2025-02-23 14:51:36 https://0x0.st/8T4n.txt 2025-02-23 14:51:45 vms14: not it outputs errors too! 2025-02-23 14:51:49 s/not/now 2025-02-23 14:59:16 that's cool 2025-02-23 14:59:26 now I can realize whether I'm stupid or not 2025-02-23 14:59:28 :D 2025-02-23 15:02:13 !gforth s" strace gforth -e bye" system bye 2025-02-23 15:02:14 sh: 1: strace: not found 2025-02-23 15:02:18 ow 2025-02-23 15:03:14 !gforth s" file /bin/*" system 2025-02-23 15:03:15 /bin/bash: ELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86 2025-02-23 15:03:15 https://0x0.st/8TJ8.txt 2025-02-23 15:05:08 huh, an echo binary. i thought it was a shell builtin. 2025-02-23 15:07:12 usually both 2025-02-23 15:07:19 for hysterical raisins 2025-02-23 15:13:29 vms14: btw you can join #bsah if you want to spam gforth commands ^^ 2025-02-23 15:13:49 that's cool 2025-02-23 15:13:55 I will try to remember that channel 2025-02-23 15:14:01 or at least that it exists 2025-02-23 15:14:10 I have gforth installed though 2025-02-23 15:14:23 so I would test there and then showcase my abilities here 2025-02-23 15:14:25 xd 2025-02-23 15:14:31 yeah it's better to run command locally :) 2025-02-23 15:14:56 still the bot is really helping this channel a lot 2025-02-23 15:15:04 you can see how active it has become 2025-02-23 15:15:26 and it keeps the forth topic more focused 2025-02-23 15:16:16 yeah, I have really learned a lot about forth in this week 2025-02-23 15:20:54 > An impossibly large buffer error is even worse, because these errors often linger in the background, quietly overwriting your state with evil; if a misaligned memory access is like a criminal burning down your house in a fail-stop manner, an impossibly large buffer error is like a criminal who breaks into your house, sprinkles sand atop random bedsheets and toothbrushes, and then waits for you to slowly 2025-02-23 15:21:00 discover that your world has been tainted by madness. 2025-02-23 16:31:40 xentrac: Re your HN post about space in Barcelona, I'd say steel framed buildings are quite cheap to build if you don't get to the typical 'skyscraper' level. But any building is built to make a profit so it depends on the local market 2025-02-23 16:32:12 ghodawalaaman: Yeah I agree with vms14, a bot is extremely helpful, it will be a huge aid to new learners 2025-02-23 16:35:00 xentrac: I think life and cynicism with government is just turning me into a libertarian at this point, just let the market figure it out 2025-02-23 16:36:19 Don't try to regulate this stuff. I'm not saying don't protest or form unions, that's part of the market IMO, I'm just saying the solution exists in money, not enforcement of non-violent disputes 2025-02-23 16:40:28 yeah, get rich first, then the world will obey you 2025-02-23 16:40:36 veltas: I thought so too, so I was surprised that the one case I analyzed didn't end up quite cheap. but it did exceed the typical skyscraper level by a lot. Any idea how I could get reliable information about the costs of a more typical building? 2025-02-23 16:40:38 if you are poor then f u 2025-02-23 16:42:18 vms14: living in poverty due to a severe local deficiency of capitalism, I long for a less regulated environment with more capitalism and more productivity and wealth for everyone 2025-02-23 16:42:22 Not sure, my only knowledge is short prefab steel commercial buildings 2025-02-23 16:43:08 where do you live? 2025-02-23 16:43:13 Argentina 2025-02-23 16:43:17 oh 2025-02-23 16:43:25 veltas: built at a factory and transported fully built to an installation site where they're placed on top of pre-poured concrete? 2025-02-23 16:43:32 Yeah 2025-02-23 16:43:47 And that's insanely cheap compared to a 'house', and better quality IMO 2025-02-23 16:43:50 And will last longer 2025-02-23 16:44:06 it's true that they're insanely cheap 2025-02-23 16:44:09 There's a lot of interesting engineering problems in this 2025-02-23 16:44:13 I didn't hear too much about argentina, just something like the economy is not good 2025-02-23 16:44:19 the ones I've used have not been better quality 2025-02-23 16:44:25 but at least it's not venezuela 2025-02-23 16:44:31 yes, I agree 2025-02-23 16:45:10 I heard some people save money here to then come to argentina and live like a king 2025-02-23 16:45:15 note that Venezuela is worse specifically because of being more regulated and even less capitalist than Argentina 2025-02-23 16:46:13 where are you? 2025-02-23 16:47:19 Barcelona 2025-02-23 16:49:02 In the UK it's getting less and less attractive to let property, partly because of gov policy. So a lot of landlords are actually just selling up. Been great for first time buyers, loads going on market 2025-02-23 16:49:06 heh, amusingly the comment of mine veltas was commenting on is largely about Barcelona 2025-02-23 16:49:30 However the poorest won't be able to afford a property so will have to rent, and now there's less options and what's left has gone up! 2025-02-23 16:49:54 maybe you can read it and tell me if my assertions about Barcelona are wrong. I might be full of shit: https://news.ycombinator.com/item?id=43140544 2025-02-23 16:52:21 Comes down to this, imagine this person: "I have the money to solve this problem, and the means, and I am motivated by the profit I could make: but the government won't let me do it that way, and it's not profitable otherwise" 2025-02-23 16:52:53 xentrac I'm very disconnected from the world 2025-02-23 16:53:09 usually it's in irc where people tells me what happens in my country xd 2025-02-23 16:54:30 This has got to be one reason why so much investment is in stuff like AI, because all the 'real problems' are so regulated it's not worth touching them 2025-02-23 16:55:10 some friends have noted elsewhere that there are diminishing returns to building up: The higher you go, the more elevator space is needed to accomodate the additional floors. 2025-02-23 16:55:49 No one wants to live where they have to wait a long time for an elevator. Not to mention the various safety problems with that. 2025-02-23 16:55:59 dzho: yeah, the Burj Khalifa had to use super fast elevators so it could use fewer of them 2025-02-23 16:56:01 The race upwards in the US during the 20's was because it was actually financially worth it, because there's a lot of business benefitting from being 'close' 2025-02-23 16:56:10 And basically no regulation 2025-02-23 16:56:16 ACTION nods 2025-02-23 16:56:32 100 years on there's no such incentive, technology enables the closeness without the physical proximity 2025-02-23 16:56:47 I'm not brave enough to live in a skyscraper I guess 2025-02-23 16:57:08 The "work from home" phenomenon has been playing out for 100 years, it's cheaper to learn distance communication, and that's been evolving continuously in that time 2025-02-23 16:57:12 just an elevator with glass where you can see the outside traumatizes me xd 2025-02-23 16:57:16 What a lot of this kind of conversation in English tends to avoid is how car dependent have become a lot of the countries where English is the primary language, with the US being the worst. 2025-02-23 16:57:20 In the 20's a lot of people were still using horses to get around 2025-02-23 16:57:33 That's part of it dzho 2025-02-23 16:57:48 Cars but also metros have helped get us out of skyscrapers 2025-02-23 16:58:22 Densities like that of Amsterdam, which doesn't really have skyscrapers, do pretty well. 2025-02-23 16:58:40 Regulation and land prevented that 2025-02-23 16:59:16 Skyscrapers are a US phenomenon, they were campaigned against but the supreme court found that there was no govt right to regulate that kind of building 2025-02-23 16:59:29 Whereas in the UK it was just outright illegal, and I'm assuming amsterdam too 2025-02-23 16:59:31 we have a giant dildo in barcelona 2025-02-23 16:59:40 But the US benefitted from the lack of regulation 2025-02-23 16:59:41 eventually regulations did go into effect, see all the talk about "zoning" 2025-02-23 16:59:50 I always think some female giant will come some day and use it 2025-02-23 16:59:55 lol 2025-02-23 17:00:03 oof 2025-02-23 17:00:46 the phallic character of towers and various monuments have long been noted. 2025-02-23 17:01:37 The shape is to do with profit and the sudden availability of cheap steel to build up in small desirable places 2025-02-23 17:01:55 So related to the phallus I guess because that's also about 'profit' and 'desirable places' 2025-02-23 17:02:19 https://www.reddit.com/r/ArchitecturePorn/comments/xpdtkj/torre_glories_in_barcelona_espana_os/ 2025-02-23 17:02:21 Lowers the tone of the conversation a bit though 2025-02-23 17:02:50 ACTION nods 2025-02-23 17:02:55 vms14: Maybe I have an innocent mind, but it doesn't look particularly lewd to me 2025-02-23 17:03:23 You can just complain about it being ugly, that's fair, it is quite ugly 2025-02-23 17:03:30 anyway, there is a lot that goes into this issue, some of it definitely technical, but so much more of it now is strictly political 2025-02-23 17:03:33 But these buildings are built for profit, not looks 2025-02-23 17:03:38 political/social 2025-02-23 17:03:46 My opinion is it's worth removing the politics and just making it about money 2025-02-23 17:03:49 like, we know how to build what we need 2025-02-23 17:04:01 money is an implementation of politics 2025-02-23 17:04:15 Yes but I'm saying remove as much politics as possible 2025-02-23 17:04:50 well 2025-02-23 17:05:29 I guess I try to draw a distinction between immediate and obvious partisanship and the way social connections and politics overlap 2025-02-23 17:06:07 because there's no getting around that these are inherently social questions: how do people live, and live near each other? 2025-02-23 17:06:31 I'm just becoming very open to libertarian arguments about how to do that 2025-02-23 17:06:40 hmm. 2025-02-23 17:07:02 libertarianism tends to focus on the individual more than generally seems useful in these circumstances, to me. 2025-02-23 17:07:29 the kinds of buildings we are talking about require cooperation 2025-02-23 17:08:25 and a stable time horizon for planning, implementation, and use 2025-02-23 17:08:35 I definitely agreed with that at some point, I just think that we're pretty good at cooperating without a big authority pantomime 2025-02-23 17:09:30 Those skyscrapers wouldn't have been built if the US didn't have an extremely libertarian view on property when they started 2025-02-23 17:09:36 Obviously things have changed a lot since then 2025-02-23 17:10:53 things changed almost immediately: The Empire State Building was built pretty much just before the crash of 1929 and ensuing great depression. 2025-02-23 17:10:53 Yeah that's why it's the famous one, it's the last 'tallest' building from that period 2025-02-23 17:11:35 then again, I thought we were talking about housing, and very few of Manhattans huge towers are, or ever were, housing. 2025-02-23 17:12:02 On the other hand, you've got the still very big but not skyscraper apartment buildings for instance lining Central Park 2025-02-23 17:12:20 I think it's all related, but yes it's true that those developments were mostly commercial space 2025-02-23 17:12:40 Companies had the most money to spend, and the most reason to be right in the epicentre 2025-02-23 17:12:52 Demand changes, just because there was a crash doesn't mean we should accept the system that would have prevented the boom 2025-02-23 17:14:22 and I'm saying there are always going to be politics involved. Maybe those politics are authoritarian politics, where someone comes in and says "we will build this here regardless of the impact on everyone around" 2025-02-23 17:14:27 but those are still politics 2025-02-23 17:14:48 Is it authoritarian if you own that land though? 2025-02-23 17:14:56 how much of the land? 2025-02-23 17:15:11 what if everyone who owns adjacent land denies transit rights? 2025-02-23 17:15:56 "no I'm sorry trucks carrying that much steel will degrade the road too much" 2025-02-23 17:16:21 Question is who owns the road 2025-02-23 17:16:44 dzho: land tenure often does not convey that degree of control 2025-02-23 17:16:57 xentrac: well, that's because politics apply 2025-02-23 17:17:24 There's actually a lot of interesting theory about how to achieve that without a government, and in an "anarcho capitalist" way 2025-02-23 17:17:26 right-of-passage is a thing in some countries, but not in the US 2025-02-23 17:17:45 I am not an "anarcho capitalist" but there are actually answers to those kinds of questions 2025-02-23 17:18:26 dzho: in terms of safety problems of skyscrapers, you have to consider the safety problems that come from homelessness or tiny houses 2025-02-23 17:18:49 It's interesting at first anyway, and then it's boring because you understand it isn't an issue and move on 2025-02-23 17:20:39 except it is an issue. tolls into Manhattan are at this very moment a huge issue. 2025-02-23 17:21:04 the fantasy of maintaining rights-of-way "without government" are just that. 2025-02-23 17:21:30 dzho: the difference between politics with money and politics with votes is that with money you only need to find 10 or 100 or 1000 people willing to take a risk on your project, and with votes you need to convince half the electorate, which may be tens of millions of people 2025-02-23 17:21:37 there is always a "government" of some form or another. Calling the governing entity a "government" or a "corporation" or an owner doesn't change that. 2025-02-23 17:22:43 Let me find my youtube proof videos ;) 2025-02-23 17:22:50 I often joke that those who prefer small government should love New York, because it has lots of small government! 2025-02-23 17:23:22 seriously, the authorities that manage a lot of the transportation infrastructure in and out of Manhattan are infamous in this regard. 2025-02-23 17:23:28 dzho: here in Buenos Aires a large fraction of the housing stock is buildings of ten to thirty stories. things that would have been called "skyscrapers" in the 01920s and that Barcelona can't build (except in exceptional cases) 2025-02-23 17:23:45 similarly for Manhattan, I think 2025-02-23 17:24:42 xentrac: interesting 2025-02-23 17:25:47 dzho: yes, politics generally apply to the social construction of property rights, especially land tenure, because it *is* a social construction. there are no objective facts about who owns what property in what degree except the facts about what's inside people's brains 2025-02-23 17:26:00 ACTION nods 2025-02-23 17:26:14 I see we've lost vms14 2025-02-23 17:27:08 dzho: You may or may not find interesting https://www.youtube.com/watch?v=AqvRgl0mUWo 2025-02-23 17:27:13 anyway, I'm much more interested in the transportation side of this 2025-02-23 17:27:20 Has an argument about how to do roads without a government 2025-02-23 17:27:21 what's that, veltas? 2025-02-23 17:27:25 ah 2025-02-23 17:27:55 but to the extent that those social constructions promote individual agency and autonomy and welfare can vary a lot from one society to another 2025-02-23 17:28:12 *but the extent 2025-02-23 17:28:14 Yeah I'm not an anarchist, but there are 'ways' to do this stuff. I think it's an interesting theoretical benchmark, I just don't think it's practical over restraint 2025-02-23 17:28:19 But maybe restraint is impossible 2025-02-23 17:28:24 I guess that's the crux of the issue 2025-02-23 17:28:46 dzho: with respect to the transportation side, I wrote a note you might like 2025-02-23 17:29:13 https://dercuano.github.io/notes/tunnel-prt.html 2025-02-23 17:33:23 veltas: interesting to see he leads off with highway deaths, which is a great hook for me, because I very much believe we'd have been better off to put and keep tolls on the US interstate highway system. 2025-02-23 17:33:40 I'm not an individualist, I mean I don't want to live in the woods, and I think the way I interact with society matters. But I just think we've failed to really improve much over money/property/security for resource allocation and cooperation 2025-02-23 17:34:20 then I have a record-scratch moment when he mentions "tragedy of the commons" which has a rather unsavory history, but also has gotten pretty good empirical critique from eg https://archive.org/details/governingthecommons 2025-02-23 17:35:34 And spiritually I am careful about agreeing with these ideas, without 'loving' money, because I think that's morally wrong. I *want* money for what I do because I want to actually have resources for my family etc in a responsible way, not because I want shiny things or to show off 2025-02-23 17:36:57 dzho: Walter Block is eccentric, and I disagree with a lot of what he's said. But that video does contain a lot of solid beginnings of an argument for how to do roads without a government, just using money/markets/etc 2025-02-23 17:37:02 Which is what I was after 2025-02-23 17:38:11 I would prefer a limited government, it's a lot simpler and if it's all the same then why not. Unfortunately it's hard to restrain that power, but money's actually quite good at that 2025-02-23 17:38:35 veltas: sure. I mean, I was into reading all this stuff about 30 years ago but have gotten very over it :-) 2025-02-23 17:39:00 You'll have to sober me up then lol 2025-02-23 17:40:42 ACTION sends a bottle to veltas  2025-02-23 17:40:49 cheers 2025-02-23 17:40:53 heh 2025-02-23 17:42:47 xentrac: I've skimmed your page there. the first thing that came to mind is various personal transportation systems there used to be in a couple of places in the US, though there are obvious differences. 2025-02-23 17:45:14 dzho: yeah, there are a few PRT systems in the US and also Canada 2025-02-23 17:45:25 Wikipedia has a worldwide list 2025-02-23 17:46:02 turns out there are quite a few, but I had three in mind, two of which are defunct: Indianapolis, and Durham, NC. The other one is Morgantown, West Virginia 2025-02-23 17:46:34 as for cut-and-cover depths: we need to start no higher than ~125cm down because of frost heave here 2025-02-23 17:47:47 that is, the tunnel roof needs to be 1.25m or more below ground? 2025-02-23 17:47:53 yes 2025-02-23 17:47:56 so that it never freezes 2025-02-23 17:48:32 that might require you to make the trenches 2.5m deep instead of 2m 2025-02-23 17:49:10 around me, that's limestone 2025-02-23 17:49:27 that's great 2025-02-23 17:49:35 good news, bad news 2025-02-23 17:50:52 limestone is not as soft as dirt, but it's soft as rocks go, and it's very stable 2025-02-23 17:50:52 "dig" makes me think of using a backhoe to remove soil, not drills 2025-02-23 17:51:35 I was pretty excited to learn of a completed project here for overflow storm drainage. The went quite deep, I think boring through granite 2025-02-23 17:52:04 the stuff you learn from noodling around on OpenStreetMap :-) 2025-02-23 18:56:22 does it time out if the process takes too long? 2025-02-23 19:00:04 I guess it did