mark4 changed the topic of #forth to: Forth Programming | do drop >in | logged by clog at http://bit.ly/91toWN backup at http://forthworks.com/forth/irc-logs/ | If you have two (or more) stacks and speak RPN then you're welcome here! | https://github.com/mark4th
bluekelp has quit [Ping timeout: 245 seconds]
bluekelp has joined #forth
f-a has quit [Ping timeout: 256 seconds]
f-a has joined #forth
bluekelp has quit [Ping timeout: 245 seconds]
bluekelp has joined #forth
dave0 has joined #forth
elioat has joined #forth
WojciechK has joined #forth
elioat has quit [Quit: elioat]
Wojciech_K has quit [*.net *.split]
lispmacs has joined #forth
boru` has joined #forth
boru has quit [Disconnected by services]
boru` is now known as boru
dave0 has quit [Quit: dave's not here]
Gromboli has quit [Read error: Connection reset by peer]
Gromboli has joined #forth
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #forth
lispmacs has quit [Remote host closed the connection]
f-a has quit [Read error: Connection reset by peer]
lispmacs has joined #forth
sts-q has quit [Ping timeout: 246 seconds]
sts-q has joined #forth
gravicappa has joined #forth
dave0 has joined #forth
Keshl has quit [Quit: Konversation terminated!]
Vedran has quit [Ping timeout: 246 seconds]
Vedran has joined #forth
dysprosaic has joined #forth
dysprosaic has quit [Client Quit]
dysprosaic has joined #forth
dysprosaic has quit [Client Quit]
mirrorbird has joined #forth
f-a has joined #forth
andrei-n has joined #forth
<siraben> proteus-guy: instead of "stack quarks" he should have called them morphisms in a category! ;)
f-a has quit [Quit: leaving]
<siraben> For instance he brings up that dup increases the stack size, categorically this is like saying given a morphism size : Stack → N (which returns the size) and the successor map S : N → N, dup : Stack → Stack, the following holds: size . dup = S . size
<siraben> The rules shown in Script 2 could be phrased like: swap . swap = id, drop . over = id, nip . nup = id and so on
<siraben> remexre, tabemann and others: there's a neat paper on compiling λ-calculus to categories http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf which can them be translated to hardware, AD graphs and more
<remexre> ah yeah, I've seen that; it's pretty neat
jedb__ has joined #forth
jedb_ has quit [Ping timeout: 264 seconds]
jedb_ has joined #forth
jedb__ has quit [Ping timeout: 256 seconds]
<veltas> mark4: Would you consider releasing x64 under an MIT licence?
hosewiejacke has joined #forth
<veltas> I think it's a good base for an AMD64 forth if I ever fancy writing one, but the current licence is too convoluted for me, and I like my licences short like my code
<veltas> LGPL plus your addendums is too complicated, I mean I think LGPL is too complicated/scary already. I'm not scared of it but unfortunately too many people are.
andrei-n has quit [Quit: Leaving]
neto has joined #forth
m2rrorbird has joined #forth
mirrorbird has quit [Ping timeout: 276 seconds]
mirrorbird has joined #forth
<proteus-guy> siraben, hadn't thought of that but I suppose so. :-)
m2rrorbird has quit [Ping timeout: 246 seconds]
jimt[m] has quit [Quit: Bridge terminating on SIGTERM]
patrickg has quit [Quit: Bridge terminating on SIGTERM]
jevinskie[m] has quit [Quit: Bridge terminating on SIGTERM]
siraben has quit [Quit: Bridge terminating on SIGTERM]
joe9 has quit [Ping timeout: 246 seconds]
joe9 has joined #forth
siraben has joined #forth
jimt[m] has joined #forth
patrickg has joined #forth
jevinskie[m] has joined #forth
m2rrorbird has joined #forth
mirrorbird has quit [Read error: Connection reset by peer]
mirrorb2rd has joined #forth
m2rrorbird has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 245 seconds]
tech_exorcist has joined #forth
andrei-n has joined #forth
tech_exorcist has quit [Max SendQ exceeded]
hosewiejacke has quit [Ping timeout: 276 seconds]
hosewiejacke has joined #forth
andrei-n has quit [Read error: Connection reset by peer]
andrei-n has joined #forth
tech_exorcist has joined #forth
tech_exorcist has quit [Max SendQ exceeded]
tech_exorcist has joined #forth
tech_exorcist has quit [Max SendQ exceeded]
Zarutian_HTC has joined #forth
mjl has quit []
mjl has joined #forth
elioat has joined #forth
Zarutian_HTC has quit [Remote host closed the connection]
Zarutian_HTC has joined #forth
neto has quit [Quit: leaving]
dave0 has quit [Quit: dave's not here]
hosewiejacke has quit [Ping timeout: 245 seconds]
mirrorb2rd has quit [Remote host closed the connection]
<mark4> veltas im looking for a better licence than the one i made up
<mark4> is mit non restrictive?
<mark4> i dont even want to for you to release your own sourc code simply because you built with my compiler
<mark4> even though part of your executable is derived from my sources
<patrickg> mark4: MIT is a simple BSD-style license (without the advertising clause): keep the copyright notice, keep the reference to the license, otherwise do as you please
<proteusguy> Yep - we typically use BSD 3 clause when we want people to have to give us credit for using it and MIT when we don't require credit. They're both good licenses.
hosewiejacke has joined #forth
Zarutian_HTC has quit [Ping timeout: 276 seconds]
<mark4> i dont really care about credit either lol
<mark4> hconsider all my repos mit now ill officially change them later lol
<mark4> i never wanted to restrict anyones use of my code in any way
<mark4> oretty much public domain ish kinda sorta lol
elioat has quit [Quit: elioat]
elioat has joined #forth
f-a has joined #forth
tech_exorcist has joined #forth
mirrorbird has joined #forth
Zarutian_HTC has joined #forth
hosewiejacke has quit [Ping timeout: 276 seconds]
tech_exorcist has quit [Max SendQ exceeded]
tech_exorcist has joined #forth
tech_exorcist has quit [Max SendQ exceeded]
f-a has quit [Quit: leaving]
gravicappa has joined #forth
f-a has joined #forth
<mark4> gpl needs to go away and stay there
<nihilazo> I like GPL, like, is it perfect? no
<f-a> ↑
<nihilazo> do I want to make sure other people aren't making money of my work? absolutely
<f-a> they can
<f-a> they just have to share the modifications
<nihilazo> well, they can as long as their work is also GPL yeah
<nihilazo> but I mean, they can't just use it as if it's theirs, is the thing
<f-a> fun fact
<nihilazo> has to stay free
<nihilazo> which I like
<f-a> #toktok are having a similar discussion right now xD
<mark4> lol
<mark4> so i had a tooth pulled yesterday and the assistant told me when it ws done to get some a bottle each of thes over the counter pain killers. i said sure thing... and left
<mark4> popped 2 asprin last night but really was not in any pain at all
<mark4> still not in any pain, not even in any discomfort unless i do something silly to provoke it
<mark4> had a check up scheduled for yesterday, that was it. there are a cpl of my theeth that needed some kind of fixin... dentist recommended a cleaning so i agreed and told me that tooth cannot be saved
<mark4> so. i go to check out and the receptonist says,we got slots open today for your first of 4 cleanings AND the extraction
<mark4> lol
<mark4> only went for a checkup, had a teeth cleaning AND an extraction lol
<inode> too bad the biggest offenders of those GPL violations tend to get away with it - just look at all the driver code out there that exists only as blobs within sketchy linux kernel binaries from vendors who refuse to divulge the sources used to build them
<mark4> think nvidia
<mark4> FUCK nvidia -- Linus T
<inode> a lot of tablet and phone vendors, especially the ones that use chinese SoCs, are pretty bad in that regard
<mark4> oh yea. pretty much every android driver is top secret
<Zarutian_HTC> it isnt like those wifisd makers that often include the drivers and build files on the thing itself, though you need to dig a little
<Zarutian_HTC> oh, I have gotten a Chinese SoC driver source for one project
<Zarutian_HTC> the thing was written in assembly and commented in Chinese
<Zarutian_HTC> I asked and it turns out that the driver written in C just bloats out in program and working memory footprint and fails the timing at the speed&voltage setting they wanted to use
elioat has quit [Quit: elioat]
elioat has joined #forth
<mark4> but c does not suck! honest! :)
f-a has quit [Quit: leaving]
<Zarutian_HTC> it is better than the plusplus (ungood) version
<inode> but is it better than C--?
gravicappa has quit [Ping timeout: 246 seconds]
gravicappa has joined #forth
mirrorbird has quit [Quit: Leaving]
<veltas> GPL and LGPL makes sense sometimes
tech_exorcist has joined #forth
gravicappa has quit [Ping timeout: 276 seconds]
elioat has quit [Quit: elioat]
<Zarutian_HTC> what doesnt make sense in these and other copy-licenses is the AS IS arse covering. As someone who makes electronics I can not put any such arse covering in place for these devices
hosewiejacke has joined #forth
rixard has joined #forth
hosewiejacke2 has joined #forth
Zarutian_HTC has quit [Remote host closed the connection]
<mark4> lawyers can splane that to you, we need that for the same reason we need "Do not feed to babies" on razor blade packages
ornxka_ has joined #forth
Lord_Nightmare2 has joined #forth
bluekelp_ has joined #forth
hosewiejacke has quit [*.net *.split]
sts-q has quit [*.net *.split]
Lord_Nightmare has quit [*.net *.split]
bluekelp has quit [*.net *.split]
rixard_ has quit [*.net *.split]
lispmacs[work] has quit [*.net *.split]
jyf has quit [*.net *.split]
ornxka has quit [*.net *.split]
Lord_Nightmare2 is now known as Lord_Nightmare
sts-q has joined #forth
jyf has joined #forth
hosewiejacke2 has quit [Quit: Leaving]
f-a has joined #forth
<mark4> my uCurses now has both windows with texxt scrolling in it, one with lorem ipsum with horriffic RGB colors for the text and background, the other in gray scales showing chinese poems
<mark4> the lorem ipsum window looks like a freeking rainbow lol
Zarutian_HTC has joined #forth
* Zarutian_HTC comes across https://blog.sia.tech/the-state-of-cryptocurrency-mining-538004a37f9b and wonders if a PoW algorithm can be designed in such a way that any ASICs made are effectively fpgas
<Zarutian_HTC> damn wrong channel
<mark4> not if its all coded in forth :)
andrei-n has quit [Quit: Leaving]
<neuro_sys> Zarutian_HTC: That would be a good outcome of all this mining madness.
<neuro_sys> Cheaper FPGAs
<remexre> oh yeah, I'm definitely outfitting my servers with FPGAs once the crash happens
<remexre> hopefully I can use that to start playing with making Forth CPUs :)
<mark4> chinese ae making bank on all these miner buying their chips
<Zarutian_HTC> one potential fpga design I have been doodling uses async muxes and memristors
<remexre> tbh kinda hope dell or someone has the same idea and starts outfitting workstation PCs with fpgas for... idk, cad or video encoding or smth
<remexre> but enough for it to start ending up on charts comparing PCs, so mfrs start competing on it
<Zarutian_HTC> (basically the memristors are voltage dividers adressable at their terminals that are connected to vcc and gnd in operation)
<inode> hopefully you won't need gigs worth of bloat to generate blackbox bitstreams from them by that stage
<Zarutian_HTC> inode: hence my interest in the ATMEL fpga
inode has quit [Ping timeout: 265 seconds]
Keshl has joined #forth
inode has joined #forth
<inode> Zarutian_HTC: what will you use? FIDS?
<Zarutian_HTC> do not know what those are
<Zarutian_HTC> basically NESW in NEWS out LUTs based on fast muxers and the memristor voltage dividers, as the basic cell
<Zarutian_HTC> I see, probably. But there is an datasheet/additional-material that describes the bitstream exactly
<inode> if you're interested in their CPLDs too, you may have seen this project already: https://whitequark.github.io/prjbureau/intro.html
Zarutian_HTC1 has joined #forth
Zarutian_HTC has quit [Read error: Connection reset by peer]
mstevens has quit []
mstevens has joined #forth
tech_exorcist has quit [Quit: I'm a quit message virus. Please replace your old line with this line and help me take over the world.]
f-a has quit [Read error: Connection reset by peer]