<veltas>
Terminal comms, X11 and the web can all die in a fire
<mark4>
i was working on dynamic huffman encoding with custom tweaks lol
<mark4>
but i bured out ahd till literally the last few days have done NO personal programming in months
<mark4>
bugt lz is good too
<mark4>
but
<veltas>
The reason I would use something like LZ77 is to save space, the decompression algorithm can be extremely short
<mark4>
yes
<mark4>
and no need for a 32 meg tree lol
<veltas>
And it can be implemented with CMOVE (or CMOVE>?)
<veltas>
And it will probably do a reasonable job compressing my code
<mark4>
i like compression algoritms in general, i even invented one of my own that compressed a 32k image down to 90 bytes
<mark4>
but its VERY specific, not generic
<veltas>
deflate is my favourite
<veltas>
It's not extremely complicated, it's very fast, it's very good at compressing
<mark4>
thats part of the zip algorithms right?
<veltas>
Yes
<mark4>
pity about phill katz tho :/
<veltas>
It's secretly used everywhere, actually
<mark4>
lost a lawsuit, won the compression wars :)
<mark4>
then died
<veltas>
It's the most underrated compression format
<veltas>
It's what gzip uses too
<mark4>
yup
<veltas>
People keep converting .gz to .bz, but .bz is slower to download+extract even with relatively slow download speeds
<veltas>
And the compression improvements are minute
<mark4>
ark -> pkark -> pkzip
<mark4>
i tend to use xz now
<veltas>
gzip 4 life
<mark4>
i dont care about compression OR decompression speed
<mark4>
but gzip is still freeking awesome lol
<veltas>
I care about performance and simplicity, gzip is not too complicated, performs well in quality and timing.
<veltas>
It's pretty complicated but in the grand scheme of things it's not, and I could mostly explain it in an hour lecture
<mark4>
fast compression, fast decompression, GOOD compression... pick 2 :)
<veltas>
Pick all of them, gzip is that
dave0 has joined #forth
<mark4>
its always a tradeoff
<mark4>
xz gives better compression but slower decompression
<mark4>
so i always compress my kernels with xz
<mark4>
but gzip is too ubiquitous not to use everywhere else lol
<mark4>
its like auto pilot takes over
<mark4>
but i do use bz2 too
<mark4>
tar -cJvf or tar -czvpf
<mark4>
if im remembering them right after only 2 hours of sleep in the last 24 hours
f-a has quit [Read error: Connection reset by peer]
inode has quit [Quit: ]
<dave0>
there is lzf which is very fast and lightweight but poor compression
<mark4>
lol im surprised anyone is even bothering with comprssion at all these days when you have 2847642947238 T of drive space and 28745624 T of ram lol
<dave0>
it is also much simpler than the heavier algos
f-a has joined #forth
<mark4>
but im an embedded engineer by trade and at heart
f-a has quit [Client Quit]
<mark4>
i implemented static huffman and dynamic huffman
<mark4>
but the dynamic was in C and i was porting it to forth
<dave0>
there's always good old compress
<mark4>
i implemented some nifty tweaks to it too
<dave0>
forth!
<dave0>
mark4: it's sometimes still a win.. it takes xxx milliseconds to read the file and yyy milliseconds to uncompress it.. you can balance the equation to minimize the time :-)
<mark4>
ya. reading a small file and decompressing it can be faster than reading a large one
<mark4>
but still... i have some UBER hardware here lol
<dave0>
not me :-(
<mark4>
i would give you my desktop, its got 64 gigs of ram but its been unreliable since it had water dripped into it
<mark4>
lga2011 at 4.7 ghz and 64 gigs of ram
<dave0>
i reckon an 8086 forth would make an awesome boot monitor for the peecee
<dave0>
i have 4gig of ram :-)
<mark4>
this laptop has 16 gigs and one day for NO REASON it refused to boot anything at all
<mark4>
i mean not off the drives
<mark4>
not windows, not innux
<mark4>
booted to a live usb drive and copied off all the data and then spend 3 weeks trying to get a bootable install of ANYTHING
<dave0>
weird
<dave0>
did the bios shit itself?
<mark4>
so because i needed to work i bought a m-tech laptop. paid for the old version which was out of stock and got one with a 10th gen i7 when it came in stock with 32 gigs
<mark4>
then got this laptop working again and had NO problems since
<mark4>
this is just a cheapo (ish) asus rog laptop
<mark4>
the m-tech is a beast that i pretty much used for nothing except playing ARK survival evolved
<mark4>
my desktop wich is OLD by todays standards is stiill really good by todays standards
<mark4>
but even after replacing the moterhboard its not stable
<mark4>
need to buy a lga2011 cpu. the one i got originally is an extreme that i OCd to 4.7 ghz
<mark4>
which was pretty cool back then lol and is still no slouch
<mark4>
specially with 64 gigs of ram...
<mark4>
i used to do android AOSP builds from make clobber to complete in less than 20 minuts
<mark4>
romain guy at google who worked on the gui i think was jelous lol
<mark4>
i offered to give him a shell account with root on it back then. no questions asked
<mark4>
but he declined
<mark4>
i think its about 8 years old now and ive hardly used it at all :/
Keshl has quit [Read error: Connection reset by peer]
Zarutian_HTC1 is now known as Zarutian_HTC
MrMobius has joined #forth
eli_oat has joined #forth
eli_oat has quit [Client Quit]
Keshl has joined #forth
wineroots has joined #forth
cartwright has quit [Remote host closed the connection]
cartwright has joined #forth
dave0 has quit [Quit: dave's not here]
boru` has joined #forth
boru has quit [Disconnected by services]
boru` is now known as boru
jedb__ has joined #forth
jedb_ has quit [Ping timeout: 260 seconds]
X-Scale` has joined #forth
X-Scale has quit [Ping timeout: 245 seconds]
X-Scale` is now known as X-Scale
jedb_ has joined #forth
jedb__ has quit [Read error: Connection reset by peer]
jedb has joined #forth
jedb_ has quit [Ping timeout: 260 seconds]
jedb has quit [Ping timeout: 240 seconds]
Zarutian_HTC1 has joined #forth
Zarutian_HTC has quit [Read error: Connection reset by peer]
cartwright has quit [Ping timeout: 268 seconds]
cartwright has joined #forth
<siraben>
jai_cha: I think the heavily commented x86 forth you're referring to is jonesforth
gravicappa has joined #forth
<siraben>
veltas: yeah, would depend on lecturers
<remexre>
oh, siraben, don't remember if I told you or not, but I'm reimplementing+extending the calculating-correct-compilers paper as a class project
<remexre>
my advisor ended up teaching a program-calculation seminar, so this fits pretty neatly into it
<siraben>
remexre: wonderful! I think it's a great paper
<siraben>
Yay
<siraben>
I'd be curious to read about the project once you're done with it. In what way are you extending it?
<remexre>
I'm gonna take it down "the rest of the way" to assembly and do inlining, const-propagation, and dead-code-elimination on the assembly
<remexre>
if I have time, some of the JIT tricks GraalVM does wrt not bothering to generate code for cold branches
sts-q has quit [Ping timeout: 240 seconds]
sts-q has joined #forth
<siraben>
And those passes will be done in a calculational manner as well?
<remexre>
I think the assembly pass is just normal compilation; the point I'm going for is more "hey you can get graalvm at home in only a couple months of weekend work, using calculation" than "... using only calculation" /shrug
<remexre>
ig normal compilation-as-a-jit, but same deal
<siraben>
Right.
<siraben>
remexre: do you plan to mechanize the proofs in Coq?
<remexre>
not really; I was gonna do it in Prolog or Mercury for convenience. if my thm prover existed in a working state (rn it's once again in the state of "stupid problems encountered, deleted the whole thing, will rewrite in 3-6mo") I might consider doing it there, but it's not
<siraben>
I see.
<remexre>
yeah, not interesting enough for publication or anything, but hopefully interesting enough to keep using
Keshl has quit [Read error: Connection reset by peer]
Keshl has joined #forth
hosewiejacke has joined #forth
Keshl has quit [Read error: Connection reset by peer]
KipIngram is now known as Guest36043
KipIngram has joined #forth
Guest36043 has quit [Ping timeout: 272 seconds]
hosewiejacke has quit [Remote host closed the connection]
hosewiejacke has joined #forth
actuallybatman has left #forth [#forth]
actuallybatman has joined #forth
dave0 has joined #forth
inode has joined #forth
xek has joined #forth
Croran has quit [Ping timeout: 264 seconds]
Croran has joined #forth
jyf has quit [Ping timeout: 260 seconds]
jyf has joined #forth
hosewiejacke has quit [Ping timeout: 245 seconds]
hosewiejacke has joined #forth
jedb has joined #forth
elioat has joined #forth
tech_exorcist has joined #forth
hosewiejacke has quit [Ping timeout: 245 seconds]
f-a has joined #forth
Croran has quit [Remote host closed the connection]
Croran has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
hosewiejacke has joined #forth
dave0 has quit [Quit: dave's not here]
gravicappa has joined #forth
Zarutian_HTC1 has quit [Ping timeout: 245 seconds]
Keshl has joined #forth
<mark4>
no reply at all from CM yet :/
Zarutian_HTC has joined #forth
f-a has quit [Ping timeout: 264 seconds]
f-a has joined #forth
actuallybatman has quit [Ping timeout: 276 seconds]
gravicappa has quit [Ping timeout: 240 seconds]
gravicappa has joined #forth
Zarutian_HTC has quit [Read error: Connection reset by peer]
Zarutian_HTC has joined #forth
elioat has quit [Quit: elioat]
elioat has joined #forth
xek has quit [Remote host closed the connection]
actuallybatman has joined #forth
hosewiejacke has quit [Quit: Leaving]
xek has joined #forth
xek has quit [Remote host closed the connection]
actuallybatman has quit [Ping timeout: 240 seconds]
WilhelmVonWeiner has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
f-a has quit [Read error: Connection reset by peer]
f-a has joined #forth
f-a has quit [Quit: leaving]
f-a has joined #forth
inode has quit [Quit: ]
dzho has quit [Ping timeout: 256 seconds]
nitrix_ has joined #forth
nitrix has quit [Ping timeout: 256 seconds]
ornxka has quit [Ping timeout: 256 seconds]
ornxka has joined #forth
dzho has joined #forth
tech_exorcist has quit [Ping timeout: 260 seconds]
Zarutian_HTC has quit [Read error: Connection reset by peer]
Zarutian_HTC1 has joined #forth
jess is now known as J
elioat has quit [Quit: elioat]
tech_exorcist 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.]
tech_exorcist has joined #forth
actuallybatman has joined #forth
J is now known as jess
actuallybatman has quit [Ping timeout: 240 seconds]