00:00:00 --- log: started forth/18.12.18 00:04:36 i'm finally got around to watching the Charles Moore interview 00:05:29 I can't recall ever watching one, but I know I've read two 00:14:19 this might be it: https://wiki.forth-ev.de/doku.php/events:ef2018:interview 00:14:47 the video is unsupported for me :-( 00:16:23 found it: https://www.youtube.com/watch?v=SX3kXbLmwn4 00:19:31 --- quit: pierpal (Ping timeout: 246 seconds) 01:10:36 --- quit: libertas (Ping timeout: 250 seconds) 01:12:32 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 01:13:34 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 01:37:09 --- quit: libertas (Ping timeout: 240 seconds) 01:39:07 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 01:42:39 --- join: xek (~xek@apn-31-0-23-82.dynamic.gprs.plus.pl) joined #forth 01:50:25 --- quit: libertas (Ping timeout: 245 seconds) 02:02:36 --- quit: ashirase (Ping timeout: 250 seconds) 02:03:37 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 02:12:39 --- join: pierpal (~pierpal@95.239.223.85) joined #forth 02:12:57 --- join: ashirase (~ashirase@modemcable098.166-22-96.mc.videotron.ca) joined #forth 02:35:13 --- join: gravicappa (~gravicapp@94.228.252.233) joined #forth 02:38:35 --- quit: libertas (Ping timeout: 250 seconds) 02:40:23 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 02:45:31 --- quit: libertas (Ping timeout: 250 seconds) 02:46:37 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 03:07:46 --- quit: pierpal (Read error: Connection reset by peer) 03:28:57 --- quit: gravicappa (Remote host closed the connection) 04:25:50 --- join: rdrop-exit (~markwilli@112.201.164.82) joined #forth 04:28:41 --- quit: mark4 (Ping timeout: 250 seconds) 04:28:46 dave0: nice interview, thanks for the link 04:32:37 i just finished it just as you said that :-) 04:33:10 the hardware stuff went whoosh over my head, but i liked the history 04:34:09 he sounds like a nice guy 04:34:27 i want to hear more :-) 04:34:40 espeically about coding 04:37:15 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 05:29:05 I think he likely is a quite nice guy. 05:29:46 I think he's been taken advantage of more than once by business acquaintances - he doesn't seem to bring a "cutthroat" mentality to such interactions, so he winds up getting used. Such a shame. 05:31:15 He's had some ideas that became rather important in the CPU business, but they came under the control of patent trolls. 05:31:37 At least I think that's the case - I'm not a particular expert in all that history. 05:33:27 See references online to the "Moore Microprocessor Patent Portfolio." 05:34:24 https://spectrum.ieee.org/at-work/innovation/qa-with-moores-ip-manager 05:34:24 but don't confuse him with Intel's Gordon Moore 05:34:49 That article I just linked states Chuck as the primary inventor of the portfolio technologies. 05:35:03 Thing is, that's been around for a long time - surely most of it has timed out by now. 05:35:18 It's like 17 years in patent law, isn't it? 05:36:01 I've read that renewals are allowed only rarely, primarily when the patent holder can claim that the government itself interfered with ability to extract profit from the technology. 05:36:14 Like if a drug license or something was required and the FDA drug its feet. 05:36:38 heh nice pun :-) 05:37:02 So if you patent a drug, then the FDA takes five years to let you sell it - under those conditions the patent folk will give you a five year extension. 05:37:09 :-) Accident - I'm not that awake yet. 05:38:12 I'm in favor of renewals being rare - I think the general approach of allowing some period of time for inventors to profit and then pushing tech into the public domain is exactly the right approach. 05:39:08 After all, you can't profit from your creations without a market and a stable society that's generally violence free and orderly. 05:39:14 And it takes all of us to create that environment. 05:39:41 As you extract your profit, you benefit from the culture all of us cooperate to create. 05:40:34 That's my main arguement against strict Liberetarianism. Libertarians like to claim they achieved their success totally on their own, but that's just not really true. 05:40:39 Patents make sense in some cases. 05:41:05 Oh, I'm all for patents. Just of limited duration. 05:41:19 Imo copyright should have a limited duration, too. 05:41:36 Like, not "70/95 years after the death of the artist". 05:41:48 But none of us "go it alone" these days. Maybe 150-200 years ago you still had people out in the sticks that raised their own food, built their own homes, sewed their own clothes, fought off the Indians by themselves, etc. 05:42:08 Things that were just released when my grandfather was a baby are still copyrighted today. It's crazy. 05:42:11 But these days we are thoroughly "interlocked" - my ability to support myself by practicing an engineering specialty depends completely on our stable culture. 05:42:23 Yeah, copyright isn't handled quite as well. 05:42:40 It's really shitty. 05:42:43 A few years ago a fan group Kickstartered a new Star Trek movie, called "Prelude to Axanar." 05:42:53 There's a teaser video out there - search for that title. 05:42:55 It's EXCELLENT. 05:42:59 Paramount shut them down. 05:43:09 Damn it, Star Trek is 50 years old and Gene Roddenberry is dead. 05:43:14 The CONCEPT should be public domain now. 05:44:07 I could get behind a "lifetime of the author" rule, provided the author himself still wanted to hold the rights. 05:44:16 I think when he sells the rights off, though, the rules should change. 05:44:20 Eh, that's a different thing. 05:44:30 The name "Star Trek" is a registered trademark. 05:44:50 Companies can exist for centuries. It makes sense that their trademarks can be protected for a long time. 05:45:33 Well, I don't want to argue over it. All I know is that the rules cost us what looked like it could have been a superb offering. 05:45:50 You can retell Harry Potter and sell it as "Harald Töpfer" without problems. The only issues are, when you directly plagiate and when you use trademarked names. 05:46:37 I don't know the details of the Paramount claims, but I think it had to do with things as trivial as uniform design and so on. 05:47:06 Anyway, all I'm saying is that some sort of process for gradually making intellectual creations public domain should exist, like in the patent realm. 05:47:11 Design is a patent thing. 05:47:31 The proper length of time might vary depending on the industry and so forth. 05:48:09 Otoh a specific design/work of art is also copyrighted... 05:48:19 And my argument for it is what I said above - that it takes the whole community to "enable" that sort of profiting. 05:48:21 People should just release their stuff with copyleft licenses. 05:49:02 Releasing stuff as CC-by-sa-nc would be totally enough for most purposes. 05:49:04 will gnu software still be useful when the copyright expires? :-) 05:49:05 The same argument is a good philosophical defense of taxation. 05:49:12 Libertarians also like to say "all taxation is theft." 05:49:28 But you do benefit from the society - like I said, no one goes it alone anymore. 05:49:37 It's not wrong to ask you to contribute back. 05:49:47 That doesn't mean all specific tax structures are "fair." 05:50:24 David Revoy releases the "Pepper&Carrot" comic as cc-by-sa. He makes thousands a month via patreon and lives well from it. 05:50:37 That's great. 05:50:41 I am pretty sure that this would work just as well with movies, books or anything else. 05:50:49 I love seeing things like that happen with the "corporate middle men" cut out. 05:51:14 KipIngram: Which "corporate middle men" are there in the case of Pepper&Carrot? 05:51:26 There used to be a place for them - like musicians couldn't get their work out without factories to manufacture LPs and CDs and so on. 05:51:43 But with the internet they're really not needed as much anymore - those industries still exist primarily by legal inertia. 05:51:54 I'm eager to see them wither away. 05:52:10 They are afraid. 05:52:12 Well, maybe done - I don't know Pepper&Carrot. 05:52:22 Sure they are - their money machine is breaking. 05:52:36 It's not broken yet. 05:52:36 The world has evolved so that they're less necessary, and that would scare any vested interest. 05:52:56 No, it's held together by contracts and laws and so on. But it's not as NECESSARY as it used to be. 05:52:57 They just find newer and more aggressive ways of making money. 05:53:43 There are musicians who filled stadions when they were on the top of the wave. Now they are old but make more money than in their bloom because they manage themselves. 05:53:58 Right. 05:54:14 I'm just in favor of the most direct possible money pipe between the consumers and producers. 05:54:36 Of course, we don't help that process along when we brazenly pirate stuff. 05:54:37 But things are changing. People are starting to use things as patreon to crowdfund and micropay producers. 05:54:51 Yes, and that's great. 05:55:09 The Fediverse started to exist and it's growing more and more. 05:55:15 Those "possibilities" are really good things to come from the internet age. 05:55:27 i'm not familiar with that. 05:55:32 Googling. 05:55:53 ssssssh 05:55:56 shhhhhh 05:56:01 don't jinx it 05:56:05 :-) 05:56:11 talking about copyright terms, I mean 05:56:33 in just a few short weeks ... if no one messes it up ... things will start entering the public domain again in the United States 05:56:36 https://en.wikipedia.org/wiki/2019_in_public_domain#Entering_the_public_domain_in_the_United_States 05:57:30 and by "things" I mean copyrighted things that were covered by the Copyright Term Extension Act 05:57:51 Good. 05:59:51 * dzho reads back 05:59:56 patents are 20 years, now 06:00:30 on or after 1995 06:00:32 Ok. Well, I don't fret too much over the EXACT number. 06:00:34 in the US 06:00:57 well, it's interesting imnsho because a lot of so-called "intellectual property" stuff changed a lot in the '90s 06:01:02 As fast as tech changes these days I could see arguing for a lower number, but at least the stuff "gets there." 06:01:09 US also moved from first-to-invent to first-to-file 06:01:19 We just have to start and continue producing creative-commons-licensed content. 06:01:32 I like first to invent better, but oh well. 06:01:45 First to file favors larger entities that have the money to pay the filing costs. 06:01:49 but yeah I'm much less squicked out by patents than I am by copyright extension, especially with patent trolling starting to be dealt with 06:01:51 So it's "pro-corporate." 06:02:12 Yes, the copyright game is pretty broken. 06:02:16 first-to-file encourages disclosure, so it's also pro public interest 06:02:31 Copyright is 95 years or so for corporations. 06:02:35 I'd be fine with it, if we could make the filing costs more reasonable. 06:03:03 That's something else that the internet should do but hasn't - it should be possible to get stuff "filed," whether a patent is granted or not, much more cheaply now. 06:03:07 you have to remember what the non-patent default is: Trade secrets governed by contract law. 06:03:56 I also think that patents shouldn't cover personal private use - if I can build something for my own use, I shouldn't be prohibited from doing so. 06:04:02 obviously this cannot apply to creative works covered by copyright--the whole point of an interest in most such works is in their dissemination while still being covered by legal restrictions. 06:04:04 Not many people can do that, so it's not economically significant. 06:04:14 I wouldn't be allowed to sell it if someone else had it patented. 06:04:14 fair use for patents--I like it 06:04:28 you can see how that'd be gamed, though: people would sell kits 06:04:33 But I don't like the notion that I can be forbidden from building something for personal private non-profit use. 06:04:39 same 06:04:44 That would still be profiting. 06:04:49 Patent should protect against that. 06:04:58 A judge can tell when someone is profiting vs. personally using. 06:05:17 If I'm not badly mistaken, that is how it's done in Europe. 06:05:57 Me even "consulting" with a friend (for a fee) to assist them in building their own would also be "profiting." 06:06:05 On the other hand if I did it for free it wouldn't be. 06:06:50 Practically speaking that's not really an issue - if I build something at home and use it at home, no one is likely ever to know. 06:07:00 So it's a moot point, if I'm smart about it. 06:07:05 And don't "tell on myself." 06:07:54 Like if I design a processor in an FPGA, it's fairly likely that I'd have stepped on something in that Moore portfolio. There are some pretty fundamental things in there. 06:10:38 That link I gave earlier says that having separate CPU and I/O clocks is in the portfolio, and fetching multiple instructions on one fetch is too. 06:10:55 So that "packed opcode" approach that I'd use in a Forth-style processor? Looks covered. 06:11:12 That seems like it would be easy to dodge, though. 06:11:44 What if I just defined a huge instruction set that was the three-way product of my individual instructions? 06:11:59 I just wouldn't CALL the five bit things instructions; I'd call the 16-bit things instructions. 06:12:13 And I'd have 32768 instructions instead of 32. 06:13:08 And the multiple clocks - what if you just designed your I/O so that it used the fast CPU clock, but took critical actions only every four or eight states? 06:13:22 It wouldn't really be USING a slower clock then. The state machine would still be clocked by the CPU clock. 06:16:59 I actually consider both of those things rather lame things to have allowed a patent on. 06:17:22 That is one of the problems with the patent system - all too often it allows patenting of "obvious" things, even though it *purports* to avoid that. 06:30:53 --- quit: rdrop-exit (Quit: Lost terminal) 06:32:07 --- join: DKordic (~user@178-221-182-126.dynamic.isp.telekom.rs) joined #forth 06:47:06 KipIngram: what you have described as Libertarianism here really isnt. It is just GOPpers that fled the destruction they caused themselfs. 06:49:49 regarding copyright and patents: their duration are 14 years, regardless of whatever later regulatory capture occured 06:51:21 what I have found intriguing is the idea of fixed taxes. That is, no new kinds of taxes. 06:53:26 A good idea is to abolish personal income tax and just have corporate and sale taxes as the sources from work expended. 06:53:58 I do think the income tax was, and remains, a bad structure. 06:54:37 how is corporate tax not income tax? 06:54:53 It is an income tax, just on a corporation instead of an individual. 06:54:57 I lean more toward VATs. 06:55:10 the individuals are paid by the corporations 06:55:16 you think it won't still come out of your salary? 06:55:30 Of course it will - any tax ultimately does. 06:55:48 There's really just "the pie," and taxes take a slice of it. 06:56:06 Taxation is theft btw 06:56:07 Whether they take before or after the pie is divided up isn't really relelvant. 06:56:10 :-) 06:56:14 zy]x[yz: and those salaries/wages/etc are actually expenses for the corporation. 06:56:39 i just don't understand how one recognizes individual income tax as a bad thing but justifies corporate tax 06:56:41 And yet an orderly society has value, WilhelmVonWeiner. 06:56:54 We all benefit from it - you're saying we should get those benefits for free? 06:56:59 How would that work? 06:57:18 the vast majority of government spending, i don't benefit from 06:57:21 That's not at all what "Taxation is theft" means, nor what I believe 06:57:28 Really, all taxes are "bad," but the government has to be paid for some way. 06:57:33 I don't believe anarchy is the right answer. 06:57:52 zy]x[yz: so if a corporation pays its employees so it doesnt have as much netto income then those peeps can 'stimulate' more 'economic activity' 06:57:58 I just think it's apodictic that private business has always provided better service than socialised business 06:58:02 Now, you can argue that a particular tax structure isn't "fair," and in that sense it would be theft from the people being treated unfairly. 06:58:10 Don't see why that can't be extended elsewhere. 06:58:22 I do think that the government is involved in way too many things. 06:58:25 Is there a way to put politicians on a stack? 06:58:26 I agree with that. 06:58:41 The "basic list" of things the government obviously needs to be involved in is pretty damn short. 06:58:55 Military defense of the nation, law enforcement within the nation. 06:59:00 Zarutian, i see what you're saying. employment expenses are deductible 06:59:02 And anything beyond that is arguable. 06:59:10 WilhelmVonWeiner: do it like the old Persia did it? With limited-duration&scope-enterprises and waqfs providing most of the usual services provided by governments? 06:59:39 The most obvious one to me is education. I don't really see why that can't be completely privatized. 06:59:56 And yet the government's been in it basically forever. 07:00:01 I don't see why police can't be privatised, really. 07:00:08 i like this channel 07:00:21 KipIngram: privatized and run by 3 R charities (Reading, wRiting and aRithmetic) 07:00:39 Well, I can't agree with you on that one, but I support your right to the opinion. 07:00:46 (to prevent too much fucking stupidity) 07:01:14 If police protection isn't uniform, you're just setting up a target group. 07:02:10 But there are LOTS of things we can talk about getting the government "out of" before we come to that one as our arguing point. 07:02:28 If you've ever got the time read the book "Anarchy, State, and Utopia" by this guy, Robert Nozick 07:02:41 real tome, but very worthwhile 07:03:54 I think what military and police have in common is that they are "authorized users of force." I think it's just a better idea to keep the authorized use of force in the public domain. 07:04:16 We could talk about fire protection, though - I might be more likely to agree with you there, in the end. 07:04:24 All force is CC0 07:04:32 CC0? 07:04:51 https://creativecommons.org/choose/zero/ 07:05:05 what I have seen via the 'Net of USA is that much of its taxes does go to what governments purports they go to 07:05:25 Does or does not? 07:05:26 It's a license that enforces public domain in places there may not be a "public domain" 07:05:29 doesnt sorry 07:05:44 Yeah, I think there's a lot of gamesmanship going on, which is bad, of course. 07:06:12 No doubt in my mind that most people in government are just building power rather than "serving the public." 07:06:34 Whoever decided it was a good idea to let the DEA decide what chemicals should and shouldn't be banned was an idiot. 07:06:50 They just add new ones to the list constantly, and it's obvious the purpose of that is to "build their empire." 07:07:14 I generally disapprove of agencies getting to make rules - it should all have to go through Congress. 07:07:19 --- join: mark4 (~mark4@148.80.255.161) joined #forth 07:07:23 most people "in government" are just working to make money like any other job 07:07:29 And not in "omnibus form," either - Congress should have to discuss and debate every single rule. 07:07:35 DEA isnt per se an governmental institution, they are just legalized thugs 07:07:35 maliciousness vs incompetence 07:07:51 Ok, most "significant decision makers." 07:08:08 Agency chiefs and so on. 07:08:52 I don't know that I consider any (or "many") of them "malicious." 07:08:53 WilhelmVonWeiner: to me, the difference between those two is basically intent but the effect the same. 07:08:55 They're just self-serving. 07:09:09 It's a game, and they play it to their best career advantage. 07:09:30 And you can't expect otherwise - it's the rules of the game that need to be changed, not the people playing. 07:09:34 Humans are human. 07:10:47 Of course the NSA is going to want to monitor everything - it's "better success" at what's supposed to be their job. They're not going to restrain themselves - we need to just not let them go that far. 07:10:51 Zarutian: I think that's the point of Hanlon's razor, the quote I'd "optimised" (read: lazily quasi-paraphrased) 07:11:51 KipIngram: ya know of the game genre called nomic? What I have seen in the Agora nomic (which is played via a few mailinglists) is that if there are rules that are relatively easy to change and yet are more powerfull/primitive/fundemental they will be changed to serve the intrests of few. 07:13:30 KipIngram: re no "omnibus form,": that is how Swiss does it iirc 07:14:44 --- quit: smokeink (Ping timeout: 268 seconds) 07:15:04 KipIngram: re NSA: something that has irritated me for a long while now is that no one seems to want to give good concrete definition what 'national security' means. 07:17:43 Yeah, that sounds reasonable. People are always looking for ways to game the system. 07:18:13 It's human nature. 07:18:57 That's one of the reasons I'm very glad it's quite hard to change our Constitution. 07:19:14 apparently it's not hard to just ignore it though 07:19:19 "National Security" means whatever your superiors have deemed it to means, Citizen ZR433B. Your McFreedom is safe in our hands. Do Not Panic. 07:19:21 So true. 07:19:30 for instance, I know what computer security means. I know what financial security means (both in the sense of having enough and those tranferable financial instruments) 07:19:36 Back to the silicon mines, Citizen. 07:20:43 Well, the first and most obvious thing that national security means to me is that operatives of foreign nations are prevented from entering the country and deploying force. 07:20:55 WilhelmVonWeiner: that then just means that it is a meaningless buzz phrase. 07:21:06 I could probably add some things about ensuring that the operation of our government is driven by US citizens and not foreign nationals. 07:21:19 But you're right - having a nice crisp "bullet list" of things that it means would be a good thing. 07:21:49 KipIngram: yeah here is a thing. Is a corporation a 'citizen'? No. 07:21:51 As it is today it's a "conjuring phrase," which I think was your point. 07:22:14 Yeah, I totally disagree with the idea of regarding a collective of any kind as a separate legal entity. 07:22:20 PEOPLE are citizens. 07:22:24 Period and full stop. 07:22:28 KipIngram: no, my point is that I want to get a good definition so I can nail weasles that try to use it 07:22:42 Yes, that's what I meant. 07:22:59 You claim "national security" - precisely which bullet item and how? 07:24:00 All too often "national security" is invoked when what they're really talking about is "protecting the status quo." 07:24:28 more precisely it is most often invoked to protect their arses 07:25:09 :-) Yes, that too. 07:26:55 --- quit: dave0 (Quit: dave's not here) 07:28:33 something I recentlyish found out that might be in the same vein. "Qualified immunity" of governmental agents/employees only applies in front of governmentally run courts and not international arbitration tort courts. Something to keep in mind, perhaps. 07:35:37 --- quit: tabemann (Ping timeout: 268 seconds) 07:44:05 Kipingram people are NOT citizens, People are defined as the sovereign. a citizen is someone who OWES HIS ALLEGIANCE to and may claim reciprocal protections from a government. a CITIZEN is a subject of (a SLAVE of) his government had has NO RIGHTS, only privileges granted to him by his overlord masters 07:44:23 solon.x10host.com 07:44:44 mark4: sovereign translate as up above. What do you mean exactly? 07:45:13 lol why am i not surprised mark4 is a sovereign citizen 07:45:25 im NOT a sovereign citizen, there is no such thing 07:45:44 im one of the People. NOT a citizen. the citizen is a creation of the 14th amendment 07:46:04 I thought it was a creation of the old Greek city states 07:46:28 Zarutian: look at the legal definition for a republic: Where the POWERS of sovereignty are VESTED in the people, who exercise those powers either DIRECTLY or indirectly through representatives. 07:46:51 and VESTED means "Having the character of giving the rights of absolute ownership" 07:47:17 not disagreeing btw, i just think it's hilarious how perfectly it fits. i guess if you make sense it one area, it follows that you'd make sense in another 07:47:18 mark4: oh, you mean, goverance. Self-rule etc. But I am still puzzled by the word sovereign being used in this sense 07:47:35 in the united states it was a creation of the federal government when they enacted the 14th amendment. btw, the constitution does NOT give the people any rights 07:47:51 sovereign == KING 07:48:22 The People of a state have every right that did formerly belong to the king by his prerotative. 07:49:04 mark4: yeah, so much I have gathered, that sovereign was used as synonym for kings, queens and emprors. 07:49:37 mark4: I agree about the 14th. In particular, I've never been able to convince myself that the Confederate states were outside the law when they seceded. 07:49:51 I don't see how the previous Constitution forbade that. 07:49:53 mark4: the people always had those rights. It just happended that those kings tried to convince peeps otherwise with violence. 07:50:27 KipIngram: it was perfectly legal to secede and the revolution was about lost tax revenue due to that act, NOT about the slaves. the slaves were never freeed 07:50:35 Zarutian: I agree. People do have rights. Some governments recognie them - some don't. And the ones that don't are just... wrong. 07:50:42 they were simply moved from private ownership to PUBLIC ownership under the 14th amendment 07:50:59 mark4: you a freeman on the land? 07:51:04 its my belief that the powers that be did not want the freed black man to be "We the People" so created the citizen 07:51:13 Right. I think the accurate historical analysis is that the United States invaded and conquered a legitimate foreign power. 07:51:16 im one of the People. do not need to argue that any further 07:51:39 KipIngram: thats how all nations start 07:52:28 mark4: nope some nations just come from similiar subcultures in adjenct countries. 07:53:12 mark4: a nation is first and foremost a cultural entity. 07:53:19 ok, well MOST then lol 07:53:43 16th amendment violates the fifth 07:53:45 without the 14th amendment the federal government has NO authority to tax an individual 07:54:01 it violates the NINTH 07:54:24 in fact we can obliterate 100% of the amendments and rely ONLY on the 9th and we are covered 07:54:39 mark4: some countries start by people going somewhere and buy complete alloidal title to territories nobody wants or the selling country needs to sell to get some restarting capital 07:54:40 i guess the point of the amendments was that they don't violate older ones, they override them 07:54:49 i never refer to protections of the 14th amenement, it does not protect me it divests me of my status as one of the People. i rely on the 9th 07:55:46 no provision of the constitution was designed to be without effect (marbury v. maddison). i.e. you canot enact a new amendment to over shadow another 07:55:56 the main purpose of the 14th IS to over shadow the 9thy 07:55:59 9th 07:55:59 are you talking about united states law? 07:56:12 do you know the difference between LAW and statute? 07:56:33 I thought the most significant aspects of the 14th was that it explicitly made states and localities subject to the Constitution. 07:56:35 statute can be repealed. LAW ca not 07:56:37 Which they were not, initially. 07:56:46 It was originally about the federal government only. 07:56:56 KipIngram: no - they already are subject to it. they simply weazle word their way ouyt 07:57:15 I'll need you to point out how (they were initially subject to it). 07:57:18 each state has its own constitution 07:57:28 I've heard the law there is bat shit crazy and it is better to keep away from usa 07:57:32 The original Constitution was a charter of the federal government, limiting its powers. 07:57:34 by entering into the union. the page I linked goes over that 07:57:34 That's all it was. 07:57:38 jackdaniel: good shout 07:57:51 Ok - I will look, but the argument will have to be good. 07:58:20 Can you post the link again? 07:58:59 Even better, though, would be to point out the wording in the Constituion that SAYS it applies to the states. 07:59:04 KipIngram: the bill of rights is about limiting it's power. 07:59:05 mark4: my question to you: can you succiently but perhaps coarsely describe the difference between common law (which iirc USA has) and civil law? 07:59:28 Fair enough, but the body of the document is about the mechanisms as to how the federal government would operate. 08:00:19 Zarutian: I think civil law isn't about laws per se at all - it's not about criminal actions. It's just about "disagreements" that have to be settled. 08:00:29 LAW is law. civil law is statute. statute can be repealed, LAW can not. statute needs to be written down to be enacted, LAW does NOT need to be written down 08:00:43 the magna carta was a codification of LAW as is the constituion. 08:00:44 And I think "common law" is the consistent patterns that emerge from those decisions - courts try to decide such cases in a way that's consistent with past rulings. 08:00:45 mark4: you an anti-federalist I take it 08:00:54 no im a federalist 08:01:09 you support federal government? 08:01:15 mark4: Ok, so you are saying that we likely call a lot of things "law" that should be called "statute." 08:01:25 KipIngram: but as I understand it from what I read is that "common law" arose from people settling disagreements in "common" courts, that is not the court of nobelmen such as kings. 08:01:31 i recognize the need for them. the page i link goes over that 08:02:06 KipIngram: Law has traditionally referred to "Common Law". we used to have "Suits in equity" and "Actions at law" 08:02:08 Zarutian: Ok, that could be, but we don't have any "nobility" recognized in the US. But "common law" does have roots in Britain, so you could be completely right. 08:02:23 one was to have the protections of statute, the other was to have the protections of lawa 08:02:26 l;aw 08:02:31 blargh i cant type 08:02:52 we DO have nobility in the united states. I am one of the People. so is the guy next to me 08:02:57 i have ALL rights. so does he 08:03:06 regarding the use of the word law: it irritates me that english does not have seperate words regarding stuff of legalis nature and stuff regarding natural principle, like Ohms or Newtons law 08:03:09 anything I do that I say is a right IS A RIGHT. unless I trespass on his rights 08:03:42 mark4: Right. I attach no "righteous significance" (not a good phrase) to government. Government is just people pooling their opinions, so to speak - it's not something "holy" or "special." 08:03:51 Mark's right about rights, you know. 08:03:51 It all starts with individuals. 08:03:54 Zarutian: we do but the problem is those definitions are constantly being changed to suit the bar corporation and its lust for power 08:03:57 Yes. 08:04:03 mark4: I was using the word nobelmen in the sense of brahmin, which is often used as an insult in India. 08:04:20 KipIngram: government is absolutely a requirement but the government we currently have is out of fucking control lol 08:04:36 mark4: bar corporation? what is that? some sort of entity that could be arbrited against? 08:04:38 solon.x10host.com covers this entire conversation in great detail 08:04:45 I don't believe something becomes "right" (in the sense of correct) just because it gets endorsed by some government process. A thing is either right, or it's wrong - and the government getting behind something wrong doesn't make it right. 08:04:48 is there a name for the stack operation ( c b a - c b a c) 08:04:56 the bar association is a private corporation,. utterly unregulated by the government 08:04:59 Usually not. 08:05:04 That would be 2 PICK 08:05:10 WilhelmVonWeiner: i think that is pluck 08:05:16 KipIngram: right is yet another word in English that got overloaded with too many meanings. 08:05:21 OVER is as deep as most Forths let you go with a single operation. 08:05:25 But pluck is a nice name. 08:05:34 I built those into my system down to depth 6. 08:05:39 i think in the 83 std that was a common definition 08:05:45 I'd call it 2@. 08:05:56 Or rather I *do* call it 2@. 08:05:57 2@ is for getting a 2variable 08:06:04 pick is N pick so 1 2 3 4 1 pick (is dup) 2 pick (is over) etc 08:06:08 3 pick is pluck 08:06:09 I don't have double precisions, so the name was available to me. 08:06:22 seems misleading but fair 08:06:30 I thought 0 PICK was DUP. 08:06:37 erm yea it is lol 08:06:39 And 1 PICK was OVER. 08:06:40 1 pick is over 08:06:45 off by one error lol 08:06:46 KipIngram: there is right, as in chirality (handedness), there is right as in water right or copy right that can be transfered etc, and there is rights as often described by various constitutions 08:07:05 Yeah, I meant right as in "proper." 08:07:26 For example, I question the propriety of government laws against drugs. 08:07:58 Why should the government control what I put in my body? 08:08:02 It's an overstep. 08:08:18 --- join: proteusguy (~proteus-g@cm-58-10-209-244.revip7.asianet.co.th) joined #forth 08:08:18 --- mode: ChanServ set +v proteusguy 08:09:06 KipIngram: I am with you there. But I also think that imparement that does makes someone that takes such unfit to drive (that is dangerous if control of motor vechile or heavy machinery) should not be allowed at all. 08:09:08 I understand drugs ruin lives. But if there's even one person who could use them and not ruin his/her life, then he/she should have that right. 08:09:13 KipIngram: for the general protection of society, not an overstep 08:09:16 Weakness of others shouldn't negate that freedom. 08:09:22 ^ 08:09:32 Punish the CRIMES drug addicts commit. 08:09:45 When they commit them - before they commit them they've done nothing wrong. 08:09:48 or try to prevent the crimes from hapenning 08:09:53 prevention v. cure 08:10:14 except in this case the cure is total control over the import of those drugs 08:10:18 ^ disagree totally. Not ok. Slippery slope - once you step onto that slope you've opened the door to MASSIVE government oversight of your life. 08:10:19 which can never actually happen 08:10:33 agreed to a degree 08:10:35 `: PLUCK >R OVER R> SWAP ;` ? 08:10:47 If you retire too early, you might run out of money and have to be cared for by society. 08:10:50 "it is the office of a good judge to enlarge his jurisdiction" <-- a judges edict 08:10:53 maybe society should decide when you get to retire. 08:10:58 That's EXACTLY the same sort of issue. 08:11:15 If you retire early and run out of money: tough luck 08:11:19 If you eat badly, you might have medical problems and require public health care. 08:11:21 not my job to be taxed to pay for you 08:11:25 So we should control how you eat. 08:11:27 WilhelmVonWeiner: thats one definition suer 08:11:31 mark4: just wow. What happened to that judge later? 08:11:41 another woudl be a coded definition that puts SP in some index register and offsets 08:12:02 WilhelmVonWeiner: Agree. But that's kind of my point - us committing to a welfare state type thing should not extend additional controls over people. 08:12:10 no idea how that works, I don't know much about assembler 08:12:18 thats ALL judges. they are constantly trying to increase their own powers and that is considered a good trait of a judge by the bar corporation 08:12:27 Yes. 08:12:52 But anyway, my point here is that individual rights should be maximized - not curtailedd at every opportunity for the convenenice of everyone else. 08:12:52 i once hard of a good example of how to subjugate the people. how do you tame wild pigs? 08:13:03 You feed them. 08:13:06 1: put corn down on the ground where the pigs might go. 08:13:17 2: build one wall and keep adding more corn every day 08:13:27 Yes - right there with you. 08:13:29 3: build more walls over time till you have 4 walls and a gate 08:13:32 4: close the gate 08:13:48 This is how the federal government has extended its control over state affairs too - by pumping in money that the states become dependent on. 08:14:30 the federal government has jurisdiction over 1: interstate commerce. foreign trade, foreign treaties. NOTHING ELSE 08:14:42 so. they simply put EVERYTHING under interstate commerce 08:14:49 Yes. 08:15:05 Anyway, I understand I'm taking a minority position re: my feelings about things like drug law and so on. 08:15:10 which WE as a people have allowed them to do to our own ignorance and negligence. 08:15:14 Do any forth heads have some good resources for x86 assembler to a complete beginner? 08:15:16 My position is "Don't step onto the slippery slope in the first place. AT ALL." 08:15:23 Punish crimes. 08:15:35 WilhelmVonWeiner: look at my asm sources, im told by non asm coders they can read them easy 08:15:44 But don't try to "manage people in advance." 08:15:59 mark4: re judges: aah, that explains why they often try to go out of bounds. 08:16:13 the government has no authority over any individual other than to the extent that that individual personally agrees to be subject. 08:16:41 there is a quote from benjamin franklin (from his autobiography) on that page i linked 08:16:53 'that covers that very point 08:16:54 Well, if a person who hasn't so agreed proceeds to go on a robbery spree, then the government is absolutely in bounds to pick him up and incarcerate him. 08:17:19 The Mafia would probably agree with what you just said completely. 08:17:19 KipIngram: that robery spree is a trespass and unlawful 08:17:31 right - so the government has authority over that. 08:17:39 i have ALL rights, until the exercise of my rights trespasses against your exercise of your rights 08:17:47 i.e. corpus delecti 08:17:48 Right. We agree. 08:18:12 And yet somehow the government has to be funded, so it's going to have to slice some money out of the economy SOMEHOW. 08:18:29 The accumulation of all powers, legislative, executive, and judiciary, in the same hands, whether of one, a few, or many, and whether hereditary, self-appointed, or elective, may justly be pronounced as the very definition of tyranny. 08:18:34 james maddison 08:18:42 what money? 08:18:50 there is NO money in the united states, only currency 08:18:57 Different argument. 08:18:59 Currency. 08:19:02 the dollar bill is NOT money. the constitution defines money 08:19:15 Yes, yes - I agree; that's a different discussion. 08:19:26 KipIngram, why does it have to steal money? every non-government service is able to fund themselves without stealing 08:19:32 mark4: I know of a case where someone was put in jail for 'contempt of court' (the court held him in contempt). The result of which was that he just decided to treat it like any kidnapping/hostage situation, lied and got released and disapeared. (Which basically is what you do in such situations, try as you can to get away from the kidnappers by deception if necisarly) 08:19:32 All I'm saying is the "tax is theft" statement drastically oversimplifies things. 08:20:02 zy]x[yz: Game theory. 08:20:16 Well, taxation is undeniably theft. Unless I want to give someone that money, you're forcefully taking it from me. 08:20:19 It's in my best interest to let everyone else pay for national defense and so forth - while I just take a free ride. 08:20:25 If everyone takes that strategy, things collapse. 08:20:31 mark4: that judge was later disapeared. 'rendidted' I think the term was. And spent servral years in a South American prison. 08:20:34 It's a great strategy if I exercise it alone. 08:20:38 Okay, but fundamentally, taxation is theft. 08:20:38 the first thing you need to do when taken before ANY judge is challenge his jurisdiction. do not answer questions, do not make a plea, tell the judge you will make a plea when he PROVES you have to 08:20:46 Justifying theft is a different argument. 08:21:34 involuntary taxation is theft BUT - i personally agree to pay federal tax 08:21:37 mark4: and perhaps getting them to agree to be personally subjected to a spefic international arbitration contract? 08:21:37 I derive benefit from the national defense of the US just by BEING here. I don't have to take money ouot of my pocket and give it to anyone to get "my share" of that benefit. 08:21:54 WilhelmVonWeiner: Theft would be taking something that doesn't belong to you. By living in the state you live in, you made a treaty with the government that they can take money from you in exchange for infrastructure, protection, etc. 08:21:58 On the other hand, if I decide not to pay for food, only I starve - no one else does. 08:22:02 So the market works great there. 08:22:03 john_cephalopoda: I didn't sign anything. 08:22:15 Nobody asked me if I wanted to be here, and I certainly didn't choose to 08:22:22 Right - the "social compact" argument is nonsense. 08:22:24 yeah that would be an argument if you could somehow opt out of this agreement 08:22:25 WilhelmVonWeiner: A treaty doesn't have to be signed to be valid. It is an implicit treaty. 08:22:28 Indefensible. 08:23:00 There is no getting around the fact that "government" means "reducing freedom." 08:23:12 it can't be made into something proper, and yet it's necessary. 08:23:13 WilhelmVonWeiner: Also you are using the streets, the schools, you are protected by the police. So the state is following their part of the treaty. 08:23:18 This is the conflict we just live with. 08:23:27 Nonetheless, I didn't agree to any treaty 08:23:32 john_cephalopoda: re treaties: so if two neighbours of yours agree on a treaty then does that mean it is valid against you? 08:23:37 You can't force someone to enter into a contract. 08:23:41 No, you didn't. It's going to be taken from you anyway. 08:23:46 It's wrong. 08:23:48 But it's unavoidable. 08:23:56 All we can do is try to keep it remotely fair. 08:23:59 WilhelmVonWeiner: You could just move out of the country. 08:24:01 john_cephalopoda, i extremely disagree; the state has failed to provide most of those things you listed 08:24:08 zy]x[yz: Which state? 08:24:09 You can't just "move out of the country". 08:24:33 john_cephalopoda, it's been ruled that the police have no obligation to protect you. our schools are an abysmal failure 08:24:34 I'm a pragamatist about this stuff. I don't require that it be cast in a way that makes it righteously correct. 08:24:37 WilhelmVonWeiner: You can take a boat and drive into stateless territory on high seas. Stop paying any taxes, eat fishes. 08:24:38 It's NOT. 08:24:47 But there is just no good alternative. 08:24:56 There's actually a fee to denaturalise from being a United States citizen, iirc 08:24:56 Whereas there are plenty of worse alternatives. 08:25:12 If you leave without doing so, they can still tax you. 08:25:20 I definitely wouldn't sign on for that. 08:25:27 zy]x[yz: Depends on the country. I am living in Germany. Police mostly does its job well, schools are good, college education is free. 08:25:58 John: Why should someone who chooses not to go to college have to pay for the college education of others? 08:26:13 See, in my mind that's something that doesn't HAVE to be handled through government. 08:26:13 aren't we a bit off topic here?!?!? At least format your arguments in RPN!!! 08:26:19 Why should someone who will never call the police have to pay for the police? 08:26:31 You can't know about that. 08:26:36 You might need the police tonight. 08:26:44 But yeah, I see that there's a debate there. 08:26:56 sorry proteusguy. Police payment phone why? IF call ELSE drop THEN 08:27:09 KipIngram: It's the social system. Everybody can become something, no matter if they are poor. That's why free education is good and important. 08:27:16 Yes, sorry proteusguy. It started small and then sort of snowballed. 08:27:36 How was that communist proverb again? 08:27:40 re incidently benefiting from something someone else does does not mean that you are obligated to them in any way. 08:27:44 john_cephalopoda: free schools existed before state school, you don't need taxation for schooling. 08:28:06 john_cephalopoda: something that bolsheviks made up? I dont know. 08:28:10 WilhelmVonWeiner: Who paid the teachers in those free schools? 08:28:31 "From each according to his ability, to each according to his needs" 08:28:36 Zarutian: ^ 08:28:44 --- quit: libertas (Ping timeout: 268 seconds) 08:28:44 By Marx 08:28:49 yeah, that's no system i want to live under 08:29:02 john_cephalopoda: yeah, lofty and all but pretty impractical with humans iirc 08:29:13 If you have a million dollars, would it hurt you to spend a fraction of it to help others? 08:29:23 who defines your needs, and why am i responsible for them? 08:29:41 Marx, the middle class "philosopher" who never did a hard day's work in his life 08:29:43 zy]x[yz: Imagine your family was poor and you were poor because you never could afford education. 08:29:44 how much money i have is irrelevant. why can't you take care of yourself? 08:29:48 john_cephalopoda: nope it wouldnt hurt me. But someone just up and taking that fraction, that does 08:30:02 john_cephalopoda: I would, it's called charity. But charity should not be mandatory, that's immoral. 08:30:30 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 08:30:36 zy]x[yz: Imagine you get sick suddenly and can't work for a year. You'll be out on the street without a healthcare system. Even if before that you had a lot of money, a house, a good life. 08:30:55 that's a shame, but you're not obligated to pay my bills for me 08:31:08 it would be extremely rude of me to demand it 08:31:19 Part of the problem there is that health care costs WAY more than it should, because the insurance system has disconnected payment from service at the point of delivery. 08:31:25 It's called "managing your finances" 08:31:29 zy]x[yz: That would be shit for you. For you to be able to recover and get back to work, every other person only had to pay a fraction of a cent each month. 08:31:34 "Not spending all your money" 08:31:57 john_cephalopoda: "Fraction of a cent"? You're paying a fraction of a cent for healthcare? 08:32:07 WilhelmVonWeiner: When you get cancer or something at age 30 and haven't got a few million dollars, you WON'T be able to get out of this without debt. 08:32:11 MASSIVE debt. 08:32:14 He means a fraction of a cent for each other person. 08:32:21 For YOUR care, specifically. 08:32:29 WilhelmVonWeiner: What KipIngram said ^ 08:32:41 Which makes it quite misleading phrasing. :-) 08:32:56 I see. "fraction of a cent per person" 08:33:02 The point is, that if I get sick myself, I will also get some money back. 08:33:08 john_cephalopoda, you're hung up on the "it only costs a little bit of your money" aspect and ignoring the immoral principle of it. you don't owe me that fraction of a cent, period. 08:33:17 john_cephalopoda: no you wont. Not as USA is going. 08:33:29 (if you are a resident and taxed there that is) 08:33:34 zy]x[yz: It would be immoral to let somebody die or make them live on the streets because they got sick once. 08:33:59 people get sick and die every day around the world 08:34:03 It would be immoral to hold a gun to people's heads and demand they pay to keep him alive 08:34:04 i can't be responsible for all of them 08:34:04 zy]x[yz: Also think about all the money that could have been created if that person would have had time to get well and continue working in their highly paid position. 08:34:17 Marx forecast the collapse of capitalism precisely because it tends to concentrate wealth and leaves the poor dispossessed. Eventually you'd get a revolt. Sensible strategy is to prevent that process from occurring in the first place. 08:34:22 At least to some degree. 08:34:38 john_cephalopoda, that's debatable. the welfare state has created a massive portion of the population that never contribute back 08:34:43 The poor are richer than they've ever been, KipIngram 08:35:01 Yes, they are. But people's perception are around the difference - not the absolute. 08:35:10 And health care particularly engages emotions. 08:35:27 KipIngram: yeah, Marx was correct, in so far we agree that many of his other assumptions are correct. One of which is that resource and power greedy people exist. 08:35:29 Poor man watches his daughter die, while the rich guy across town is able to keep his daughter from dying. 08:35:30 anyway i have to go spend all my riches and each a lavish lunch 08:35:38 later, serfs 08:35:39 Enough of that and people become willing to take up arms. 08:35:42 KipIngram: One thing that Marx didn't see is, that company owners themselves would start to implement work safety guides, bonusses, houses for all workers, health insurance and other things like that - to keep good workers in the company and stop them from going away. To keep them healthy and productive. 08:35:49 Whether it's "right" or not. 08:36:14 zy]x[yz: yes, quite 08:36:21 I was supposed to write some kind of code today 08:36:37 I for one believe that a properly structured tax code could mitigate the worst of the inequality, while still leaving plenty of inequality in the system to drive incentives. 08:37:00 In 2015, the top 400 taxpayers in the US earned an average of $270 million each. 08:37:02 good luck with that, read Human Action by Mises 08:37:05 Honestly, no one needs that much money. 08:37:20 that's no argument 08:37:24 "no one needs" misses the point of "earned" 08:37:28 yes 08:37:40 if we are still on the topic of morality: here is one thing I never understood: Women having babies in warzones. Isnt it immoral of them to bring new life into such dangerous situations? 08:38:01 I think we should have a tax code that clips off the top fraction of a percent of earners, alleviates the worst poverty, and leaves the vast middle mostly alone (not that they would pay no tax, but rather that it wouldn't redistribute). 08:38:03 sex is just immoral in general. keep your hands to yourselves, you disgusting animals. okay leaving for real this time 08:38:26 We are WAY too uptight about sex. 08:38:30 zy]x[yz: ya channeling a GOPper there, eh? 08:38:38 KipIngram: USAians are! 08:38:45 Ok, possibly. 08:38:50 but yeah - we make it this big moral deal. 08:38:52 I don't get it. 08:38:53 offtopic everyone.... let's get back to twiddling bits and arguing about proper threading approaches. 08:39:05 Ugh. I meant to get out when you spoke up before. 08:39:10 Ok, zipping it. 08:39:15 Here is a video of a guy shooting off another's head. And a gun for your 3yo child. But don't show him that video, there's a NIPPLE in there! 08:39:46 --- mode: ChanServ set +o proteusguy 08:40:05 * proteusguy warms up his ass kicking boots... 08:40:21 You know who's too uptight about sex KipIngram? My wife! *ba dum, tsss* 08:40:23 proteusguy: alright! What I have found is that x86 is a terrible architecture for anything. And very illsuited for running forths 08:40:42 Zarutian: What about is so terrible? 08:41:36 john_cephalopoda: horrible encoding of the too complex instruction set for starters 08:41:48 Oh, yeah, it has grown and grown. 08:42:13 bogged down with backwards compatability 08:42:17 john_cephalopoda: various hacks to try to get it to be performant (it really isnt still) 08:42:34 someone told me it doesn't have memory mapped io? Which sounds inane 08:42:45 x86 is usually desktop machines, so performance isn't that critical. 08:42:54 * KipIngram wishes we could implement on the real x86 hardware (write microcode). 08:43:00 it originally had 'io port space' 08:43:10 Performance should be considered "mostly" critical. 08:43:16 Oh yeah, I remember the I/O space. 08:43:55 KipIngram: Heh, modern x86 cores are RISC, but with a big decoder block around the RISC core. 08:44:06 but because those instructions that access it are not as 'versatile' as the memory ones most devices registers are now memory mapped 08:44:23 I hope that cheap RISC-V silicon is available soon. 08:44:29 sorry got called away for WORK related things :P 08:46:05 john_cephalopoda: Keep an eye on Crowd Supply 08:46:30 people are often launching RISC-V projects on there 08:46:40 The only thing I've seen so far is SiFive. 08:47:10 I'm expecting a competitor to the SiFive pretty soon 08:47:22 john_cephalopoda: yeah, as x86 cores are actually RISC cores it means that x86 instructions are basically for a virtual machine that briefly was real as the 8080 iirc. 08:48:15 RISC-V is pretty cool stuff and easy to play with. I'm actually more interested in the Chisel3 language they used to design it. My dream goal is to build a stack machine from scratch in it. 08:48:52 Chisel is Scala, right? 08:48:53 what I am waiting for is cheap high density mram or memristor based CPLDs 08:49:07 I think I tried it once and got absolutely sick of all the scala tools 08:49:30 WilhelmVonWeiner, yes - sadly as I don't like Scala much but it's sooo much better than Verilog. 08:50:22 (the main difference between FPGAs and CPLDs are the latter can be basic gates unclocked. The most limiting factor in FPGAs are the clocks) 08:51:45 proteusguy: everything is probably better than Verilog or VHDL. Heck hierchial BLIFF is probably much better. 08:51:57 proteusguy: If you like Haskell there's Clash, if you like Python there's MyHDL, if you like a bowl of nails for breakfast there's VHDL 08:52:22 Zarutian: You can use a memory chip with a parallel interface as a lut. 08:53:16 Why bother creating fast memory when you use it to run Microsoft Word or some other sloppy program with a loading animation? ;þ 08:53:53 WilhelmVonWeiner, MyHDL was interesting but Chisel is far better developed and supported. VHDL is worse than Verilog. Haven't done Clash but Haskell is too pure to be practical. 08:54:02 pointfree: that is basically ROM-logic implemented with RAM. Something that the logic elements in FPGAs are made up of. I just look at in askance why the hell all of the FPGA manifacturers decided that the outputs of those LUTs need to be clocked. 08:54:42 pointfree: if you know of a way to force clocks on contemporar FPGAs to be always enabled then perhaps I could then use them. 08:55:43 Well, I like Haskell. The Clash github repo has some good examples too. Especially with stack CPUs being so simple to represent functionally 09:01:23 Hmm, I still haven't found a reasonably active Forth OS project. 09:01:23 Zarutian: The Cypress PSoC 6 has unclocked luts (for SmartIO). Greenarrays is going to tape out a new chip. I personally know some other people working on asynchronous chips but I can't say more. It looks like there is a future for clockless designs. 09:02:11 I still don't know why you want a Forth OS. Who's going to run your programs sans you? 09:02:53 unless you expect adoption, in which case disregard that objection 09:03:29 pointfree: good to hear. I just find it strange as clockless FPGAs/CLPDs are much simpler circuitrywise. Perhaps, async combinational design isnt tought any more. 09:09:18 john_cephalopoda: I am also (still) looking for a Forth System :) . #OSDev ? 09:10:03 --- quit: libertas (Ping timeout: 268 seconds) 09:11:25 --- join: libertas (~libertas@a95-93-229-182.cpe.netcabo.pt) joined #forth 09:13:39 WilhelmVonWeiner: IMHO that is a Frequently Questioned Answer. 09:14:49 [[http://yosefk.com/blog/c11-fqa-anyone.html][C++11 FQA anyone?]]. 09:15:18 Well that is just the first FQA that I saw :3 . 09:16:15 Zarutian: Apparently simulating the asynchronous logic with existing high-level software models was very difficult and computationally expensive. Then Chuck said: It's just iv curves. Let's just simulate the physics and only then subsequently factor that into the high-level models. Then it was much faster, simpler, and easier. We don't know why nobody tried that before but it works. 09:17:56 pointfree: the reason why nobody tried is because of something I call abstract-opaqueness, that is, they are unable to look down through all the abstraction layers down to the hardware underneath 09:19:54 pointfree: and I never understood why you would simulate the FPGA, just try it out on it already. 09:25:32 pointfree: got a link to more on that anecdote? 09:28:32 WilhelmVonWeiner: Greg Bailey's Forth Day talks and Chuck Moore's fireside chat. https://www.youtube.com/watch?v=nJ6WBI0Z_s4 09:30:58 I find it weird GreenArrays appear to do everything from Windows 09:33:46 Yes, I find it dissappointing. 09:33:58 WilhelmVonWeiner: not that wierd. Many hardware shops use Windows. Probably a bit less hassle. 09:37:09 hm, I missed a nice, spirited discussion ;-P 09:58:36 --- quit: john_cephalopoda (Quit: WeeChat 2.3) 09:58:48 --- join: john_cephalopoda (~john@unaffiliated/john-cephalopoda/x-6407167) joined #forth 10:14:37 --- join: dys (~dys@tmo-105-124.customers.d1-online.com) joined #forth 10:48:40 DKordic, john_cephalopoda: One could factor MenuetOS or KolibriOS into a forth os by turning asm labels into forth word headers. 10:50:18 pointfree: Exactly! But I was very dissappointed by both MenuetOS and KolibriOS. 10:50:46 I just want a guide on how to implement graphics routines in assembler and I would bloody well start learning it 10:52:45 WilhelmVonWeiner: https://wiki.osdev.org/Vesa 10:53:48 thank you john 10:55:01 np 10:57:29 so is VESA an x86/amd64 thing? 10:57:45 Or is it a standard that would be used on say, ARM boards too 11:01:50 It is an x86 thing. 11:02:18 I doubt that ARM has anything for drawing on screens by default. 11:02:34 x86 was built for the PC market, ARM is more targeted at stuff that doesn't have a screen anyway. 11:17:36 --- quit: ncv (Remote host closed the connection) 13:33:53 VESA is in no way an x86 thing, it's a standards organization 13:33:55 https://en.wikipedia.org/wiki/Video_Electronics_Standards_Association 13:40:06 VESA, man, that takes me back 13:41:52 https://en.wikipedia.org/wiki/Systolic_array 14:29:41 --- quit: mark4 (Ping timeout: 250 seconds) 15:08:31 dzho: Yeah, but some graphics stuff made by VESA is actually a standard in x86, while ARM has no such thing (to my knowledge, at least) 15:10:10 I am not sure why ARM would have "video standards" - and pi uses HDMI 15:33:54 --- join: pierpal (~pierpal@95.239.223.85) joined #forth 15:40:29 --- quit: pierpal (Ping timeout: 240 seconds) 15:45:58 --- join: pierpal (~pierpal@95.239.223.85) joined #forth 16:11:27 --- join: dave0 (~dave0@47.44-27-211.dynamic.dsl.syd.iprimus.net.au) joined #forth 16:11:41 hi 16:12:19 Hi 16:14:17 hi DKordic 16:15:32 --- join: alexshendi (~yaaic@2a02:8070:218b:bd00:dc4a:b554:3093:bfa) joined #forth 16:30:02 --- quit: john_cephalopoda (Ping timeout: 252 seconds) 16:31:59 --- join: john_cephalopoda (~john@unaffiliated/john-cephalopoda/x-6407167) joined #forth 17:04:25 --- quit: pierpal (Ping timeout: 250 seconds) 17:35:14 --- join: mark4 (~mark4@12.41.103.244) joined #forth 17:44:09 --- quit: mark4 (Ping timeout: 240 seconds) 17:44:27 --- join: mark4 (~mark4@12.41.103.244) joined #forth 17:57:14 --- join: rdrop-exit (~markwilli@112.201.164.82) joined #forth 18:24:56 --- quit: dave0 (Quit: dave's not here) 18:25:14 Hello Forthwrights :) 18:28:42 --- join: tabemann (~tabemann@rrcs-162-155-170-75.central.biz.rr.com) joined #forth 19:23:35 --- quit: dddddd (Remote host closed the connection) 20:06:49 --- quit: tabemann (Ping timeout: 240 seconds) 20:17:33 --- join: tabemann (~tabemann@2602:30a:c0d3:1890:a433:523c:27b8:b5c8) joined #forth 20:52:41 john_cephalopoda, I have bad news 20:52:58 I tried animating with sixels, and it resulted in an annoying flicker 20:57:51 --- join: smokeink (~smokeink@42-200-118-145.static.imsbiz.com) joined #forth 21:13:17 --- quit: alexshendi (Ping timeout: 252 seconds) 21:15:45 just a thought, are you using emit for you sixels? 21:15:54 * your sixels 21:17:51 tabemann: Animation works for me. Did you compress your sixels? Also, save and restore the cursor but don't clear screen between frames. 21:18:41 rdrop-exit: I'm writing my sixels to a buffer and then outputting them all at once 21:18:58 ok 21:19:31 pointfree: I'm using PAGE - didn't think of saving and restoring the cursor between frames 21:20:12 my Forth is probably too slow for sixel animation, as I'm getting an atrociously low framerate - probably because I'm using a (primitive) dithering algorithm 21:20:42 you could turn the cursor off if you don't need it 21:24:14 I would have thought the io times would dominate 21:34:54 I thought so too 21:35:35 and I've done a bunch of optimization in my code, e.g. replacing ?DO LOOP loops with BEGIN WHILE REPEAT loops, because in my implementation the latter are less expensive 21:36:04 and reducing the number of times the dithering algorithm has to be called 21:36:24 but it's still very slow 21:38:33 Can you profile where the wall clock time is actually going? Perhaps it really isn't in your code. 21:39:44 I have an idea! 21:39:51 run my code without outputting anything 21:40:15 yes! 21:40:18 so it generates the output data in the output buffer but never calls TYPE 21:40:50 Is your type based on emit? 21:41:25 tabemann: esc ." [2J" produces flicker esc ." [H" does not. 21:41:43 rdrop-exit: no 21:41:57 my type is ultimately a call to the libc function write() 21:42:05 ok 21:42:06 emit rather is based on type 21:42:43 pointfree: oh, I got rid of the flicker - just eliminate PAGE and use saving and restoring the cursor instead 21:43:06 cool 21:43:23 :) 21:43:55 life's little pleasures 21:45:15 Have to run, chat again soon 21:45:27 --- quit: rdrop-exit (Quit: Lost terminal) 21:55:37 what is a sixel? 21:55:46 and is thos done in a linux console text mode? 21:56:14 trick in console is to output every character that has the same attributes in one string, jumping the cursor all over the map 21:56:32 then change to next attrib and output all those, jumping cursor all over the map again 21:56:35 repat 21:57:09 that is faster than outputting the chars in order and switching attribs all the time 21:57:47 also, buffer the entire frame then output every char and atribute change for that frame as one long string 21:58:02 x4's curses stuff does it that way 22:11:40 --- join: dave0 (~dave0@47.44-27-211.dynamic.dsl.syd.iprimus.net.au) joined #forth 22:11:59 re 22:19:38 --- quit: dys (Ping timeout: 244 seconds) 22:32:20 --- join: rdrop-exit (~markwilli@112.201.164.82) joined #forth 22:45:11 --- join: [1]MrMobius (~default@c-73-134-82-217.hsd1.va.comcast.net) joined #forth 22:48:02 --- quit: MrMobius (Ping timeout: 272 seconds) 22:48:03 --- nick: [1]MrMobius -> MrMobius 22:49:06 --- join: dys (~dys@tmo-103-108.customers.d1-online.com) joined #forth 23:31:23 --- quit: smokeink (Remote host closed the connection) 23:34:44 --- quit: dys (Ping timeout: 246 seconds) 23:59:59 --- log: ended forth/18.12.18