00:00:00 --- log: started forth/21.06.15
01:00:14 <veltas> Oh great, now there are 3 freenodes.....
01:05:27 <veltas> crab1: Age doesn't factor into it at all, some people are just immature.
01:12:50 --- part: veltas left #forth
01:13:34 --- join: veltas joined #forth
01:55:58 --- quit: xek (Ping timeout: 240 seconds)
03:25:29 --- quit: proteus-guy (Quit: Leaving)
05:47:11 <cmtptr> what did i just wake up to
05:51:49 <veltas> draaaaama
06:29:14 --- join: KipIngram joined #forth
06:29:14 --- mode: ChanServ set +v KipIngram
06:31:57 <KipIngram> Morning.
06:32:29 <veltas> Hi KipIngram on the dead freenode server
06:33:57 <KipIngram> Ah.
06:34:07 <KipIngram> Do I just quite and rejoin?
06:34:23 <KipIngram> Or is it a waiting game?
06:34:31 <veltas> Quit and join chat.freenode.net again
06:34:31 <veltas> Yes
06:34:43 <KipIngram> stand by
06:34:50 --- quit: KipIngram (Quit: WeeChat 1.4)
09:35:13 <crab1> hiya
11:00:01 <cmtptr> hi
12:24:44 --- part: cmtptr left #forth
12:38:34 --- quit: Vedran (*.net *.split)
12:38:34 --- quit: rpcope (*.net *.split)
12:38:34 --- quit: ornx (*.net *.split)
12:38:34 --- quit: wineroots (*.net *.split)
12:38:34 --- quit: jevinskie[m]1 (*.net *.split)
12:38:34 --- quit: a3f (*.net *.split)
12:38:34 --- quit: veltas (*.net *.split)
12:43:27 --- quit: clog (^C)
12:43:27 --- log: stopped forth/21.06.15
12:43:33 --- log: started forth/21.06.15
12:43:33 --- join: clog joined #forth
12:43:33 --- topic: 'all nicks and channel registrations were purged but i think for good reason - handing oper back out as I see you'
12:43:33 --- topic: set by mark4!~mark4@freenode-dt2.lo1.mcudkh.IP on [Wed Dec 31 16:00:00 1969]
12:43:33 --- names: list (Glider_IRC @KipIngram cmtptr cbridge_ krjt @ChanServ iv4nshm4k0v sudo cp- @Bogen85 @mark4 klys Vedran @proteusguy veltas klysm lonjil xek veltas_ rpcope ornx a3f clog)
13:22:35 --- join: crab1 joined #forth
13:23:52 --- join: jyf2 joined #forth
13:25:02 --- join: X-Scale joined #forth
13:26:15 --- join: fiddlerwoaroof joined #forth
13:30:36 --- join: bluekelp joined #forth
13:30:39 --- join: koisoke joined #forth
13:30:48 --- join: dsmcfarl joined #forth
13:42:22 --- join: MatC joined #forth
13:44:37 --- join: Mat9 joined #forth
13:46:19 --- quit: mark4 (Connection closed)
13:46:29 --- join: mark4 joined #forth
13:47:32 --- join: pareidolia joined #forth
13:57:20 <cbridge_> <dave0> maw
13:59:57 <cbridge_> <veltas> KipIngram: Nothing else is like gas
14:00:32 --- quit: veltas_ (Quit: leaving)
14:02:31 <cbridge_> <veltas> And yes you're right, it is a fact that places nearer the coast have less drastic seasonal changes
14:21:14 --- quit: ChanServ (Shutting down)
14:21:25 --- join: ChanServ joined #forth
14:21:33 --- mode: ChanServ set +o :ChanServ
14:35:28 <crab1> What's up bridge folks
14:37:16 <cbridge_> <crc> I'm enjoying a quiet evening
14:37:19 <cbridge_> <lispmacs[work]> just hanging out over here with the real Forth programmers
14:37:51 <cbridge_> <Zarutian_HTC> 
ACTION looks around for a Scottsman

14:41:40 <cbridge_> <crc> Working on finishing up channel log stuff for #retro (I still need to generate gopher & gemini directories for the new logs)
14:46:39 --- mode: Bogen85 set +o :mark4
14:50:47 <cbridge_> <KipIngram> Well, it's a good thing I exercised earlier; I wouldn't be doing it now.
14:50:58 <cbridge_> <KipIngram> Major summer thunderstorm going on now.
14:51:31 <cbridge_> <crc> We had storms last night. I enjoyed watching the lightning
14:51:42 <cbridge_> <KipIngram> Yeah, it can be fun for sure.
15:35:47 <cbridge_> <KipIngram> https://ipfs.io/
15:35:54 <cbridge_> <KipIngram> ^^ - that looks very interesting.
15:50:23 --- quit: sudo (Quit: Este é o fim.)
16:01:48 <crab1> @crc do you have a gemini server in retroforth?
16:02:14 --- join: Adran joined #forth
16:03:49 <cbridge_> <crc> crab1: I have begun one, but it's not supporting vhosts yet; I hope to finish it this week
16:05:43 <cbridge_> <crc> Test install is running on forthworks.com currently ( gemini://forthworks.com/ )
16:13:45 <crab1> I only heard about gemini a couple days ago, I wonder how widely used it is going to be
16:16:48 <cbridge_> <crc> I don't really care about that. It's a reasonable protocol that, by design, is much harder to abuse than http/html/javascript/etc
16:31:19 <crab1> personally I care whether reasonable protocols are used instead of the unreasonable ones that are predominantly used
16:31:46 <crab1> I like to see good things being used
16:33:28 <cbridge_> <crc> I prefer the simpler protocols; things I can model in my mind as a lone developer
16:34:29 <cbridge_> <crc> Minimizing external dependencies and unnecessary complexity is important to me
16:35:17 <crab1> that's a significan part of 'reasonable' I think
16:35:33 <cbridge_> <crc> :)
16:36:17 <iv4nshm4k0v> I use Lynx for most of my Web reading.  As such, I tend to consider the "subset" of HTTP/HTML that it implements "definitive."
16:36:53 <crab1> I can't find a browser I'm happy with
16:38:22 --- quit: lonjil (SendQ exceeded)
16:38:24 --- join: lonjil joined #forth
16:38:39 <cbridge_> <crc> crab1: same here
16:40:15 <cbridge_> <crc> I browse gopher using a few clients I've written for my own use
16:40:17 <iv4nshm4k0v> Other than that, I rather like the fact that I can both read my HTML documents with Lynx (and author with Vim or Emacs) /and/ at the same time share it with "average Joe," as well as get decent printed versions.
16:40:34 <cbridge_> <crc> I'll write a gemini client eventually
16:41:04 --- quit: lonjil (SendQ exceeded)
16:41:08 <iv4nshm4k0v> (FWIW, I use Lynx for over two decades now, so it stands to reason I'm pretty satisfied with it.)
16:41:11 --- join: lonjil joined #forth
16:44:02 <cbridge_> <lispmacs[work]> I've been interested in the Nyxt browser but have had trouble getting it to build
16:52:44 --- join: Glider_IRC_ joined #forth
16:54:30 --- quit: Glider_IRC (Ping timeout: 120 seconds)
16:55:17 --- nick: Glider_IRC_ -> Glider_IRC
16:57:37 <cbridge_> <lispmacs[work]> I just got it installed now through Guix. I'll give this a try
17:01:15 <cbridge_> <crc> nyxt requires a graphical display iirc?
17:16:44 <cbridge_> <crc> yes, so it's not going to be usable on my system
17:21:55 <crab1> I used luakit for a bit it was ok
17:22:05 <crab1> that is graphical again though
17:43:12 --- quit: Glider_IRC (SendQ exceeded)
17:43:32 --- join: Glider_IRC joined #forth
17:54:04 <cbridge_> <ttmrichter> siraben: Not "leenode".  "fleenode".
18:06:39 <KipIngram> crab1 crc: Have you tried brave-browser?
18:06:53 <KipIngram> I just found out about it today - don't know a lot about it.
18:07:01 <KipIngram> But it has that ipfs thing built into it.
18:07:19 <KipIngram> You can browse ipfs in it, using either a gateway node or by having it run a local node while it's running.
18:32:42 <crab1> I heard of brave but some people I knew had some sort of issue with it I dont remember what so I never gave it a try
18:37:11 --- quit: crab1 (Ping timeout: 120 seconds)
18:43:07 <cbridge_> <siraben> I heard Brave browser has a somewhat sketchy record track
18:45:57 <cbridge_> <siraben> can't find it now but I used it as a headless browser, now ungoogled-chromium does the same
18:45:57 <cbridge_> <siraben> Without special IPFS features or anything like that, of course, so YMMV
18:54:56 <cbridge_> <remexre> yeah, I thought their adblock would replace ads with those of companies they partnered with or something?
19:07:29 --- join: Rakko joined #forth
19:09:46 --- quit: Rakko (SendQ exceeded)
19:10:07 --- join: Rakko joined #forth
19:12:31 --- quit: Rakko (Connection closed)
19:13:34 <cbridge_> <siraben> "acceptable ads" sort of thing
19:14:10 <cbridge_> <KipIngram> siraben: "track record."  You were close.  ;-)
19:14:38 <cbridge_> <siraben> KipIngram: oops, yes, that's what happens when one just wakes up I guess :)
19:14:42 <cbridge_> <KipIngram> I'm not familiar with any of tha t- I just learned of it tonight.
19:14:50 <cbridge_> <KipIngram> In connection with ipfs.
19:15:10 <cbridge_> <KipIngram> I have ipfs running currently on my virtual server - it seems... Interesting.
19:29:20 <cbridge_> <crc> ipfs involves crypto, so it's another thing I'll not be able to implement on my own
19:29:44 <cbridge_> <crc> I've bookmarked that for later review though
19:33:43 <cbridge_> <KipIngram> I wish I had a good book that treated the popular crypto algorithms.    I might be able to follow it ok - I know a fair amount of math.  I read a description of how Schor's algorithm works once, and was at least able to keep up with it.
19:38:51 <cbridge_> <crc> I've done a little with crypto stuff, but it's been years at this point
19:41:13 <cbridge_> <crc> Not too worried about it. My personal system doesn't need it, so I'm not going to sink a lot of time into it until I actually need it.
19:42:31 <cbridge_> <siraben> KipIngram: of course a lot of it is related to areas of math like number theory and abstract algebra
19:42:51 <cbridge_> <siraben> a presentation of elliptic curve crypto would interesting to see from a more abstract perspective
19:42:59 <cbridge_> <KipIngram> Right.
19:43:20 <cbridge_> <siraben> RSA of course is a classic everyone should try to implement
19:43:24 <cbridge_> <KipIngram> I'm not a "hot shot" in those areas or anything, but I understand finite fields fairly well, which covers at least some crypto.
19:44:13 <cbridge_> <siraben> yeah, having a field structures gives you multiplicative inverses, which is really valuable when multiplying is easy but finding inverses is hard
19:44:17 <cbridge_> <siraben> s/structures/structure
19:44:17 <cbridge_> <KipIngram> In graduate school I boned up on math - took as much as I could manage.  But unfortunately I pursued only what I'll call "continuous math."  Advanced calculus, differential equations, tensor calculus, and so on.
19:44:34 <cbridge_> <siraben> did you take real analysis?
19:44:50 <cbridge_> <KipIngram> I completely neglected "discrete math," and I'm very sorry now - I've come to realize how important it is in a lot of fields.
19:45:03 <cbridge_> <KipIngram> No, I didn't take that.
19:45:24 <cbridge_> <KipIngram> You could describe the courses I took as... "applied mathematics."
19:45:32 <cbridge_> <KipIngram> I didn't venture into pure mathematics.
19:45:36 <cbridge_> <siraben> I see
19:45:53 <cbridge_> <siraben> a balance of both is good of course, real analysis was when all the calculus hand-waving disappeared for me, because they built up the theory from the definition of the reals, and there are some surprising functions out there that go against elementary intuition
20:22:34 <cbridge_> <KipIngram> Right.  I've seen YouTube lecturs and read stuff to at least have a feel for it, but no real "depth" there at all.
20:29:42 <cbridge_> <KipIngram> I admire the level of detail that pure math people go into in building up the materials from more or less nothing, but it's not the sort of work I actually enjoy myself.
20:45:24 <cbridge_> <siraben> yeah, and if you want to get really "low level" in mathematics, there's stuff like foundations of math, logic, set theory and type theory
21:00:42 <cbridge_> <KipIngram> Yes.  I've perused set theory and group theory.  Ever since I rerealized how important group theory is in physics I've been trying to pick some of it up.
21:01:12 <cbridge_> <KipIngram> I suppose that importance in physics is a consequence of symmetries in nature.
21:01:59 <cbridge_> <siraben> Right, in discussions with physics majors, they're quite interested in Lie groups in particular
21:02:29 <cbridge_> <KipIngram> Yeah.  The "menu" of subatomic particles seems to come almost directly from all that.
23:59:59 --- log: ended forth/21.06.15