<openfpga-github>
[openfpga] rqou pushed 1 new commit to master: https://git.io/vHA0m
<openfpga-github>
openfpga/master c6ab97b Robert Ou: xc2bit: Fully-implement crbit writing
<rqou>
alright, i finally stopped wasting time and implemented crbit writing
<rqou>
now i just need to add reading
<cr1901_modern>
I misread as urbit lol and I was like "no rqou, come back to us" XD
<rqou>
um, wut?
<cr1901_modern>
rqou: You don't know what urbit is?
<rqou>
wtf is urbit?
<rqou>
"A personal server is a virtual computer which stores your data, runs your apps, and manages your connected devices"
<rqou>
that tells me absolutely nothing
<cr1901_modern>
That's what urbit is :D
<cr1901_modern>
It's a pretentious software project that only the ppl working on understand it. Oh, and the person who runs the project is a downright asshole at best, slavery apologist at worst.
<cr1901_modern>
More serious answer: I think it's an OS shell of some sorts that has its own scripting language and low-level language, neither of which are documented well, and you're expected to learn to swim in shark-infested waters in order to become competent
<whitequark>
it's an OS, a shell, a distributed computing system, a programming language and a computational model
<pointfree>
The maintainer also goes by the name "Mencius Moldbug."
<cr1901_modern>
Actually it gives me a headache reading it (should've used /s)
Zarutian has quit [Quit: Zarutian]
<rqou>
oooooh this is that disgusting guy who was at the center of the lambdaconf controversy
<qu1j0t3>
the very same
<whitequark>
the amazing thing is that lambdaconf anonymized the submissions
<whitequark>
they invited the author of urbit *after looking at the sources of urbit*
<whitequark>
instant disqualification of review process if i've ever seen one
<cr1901_modern>
meaning he was "fast tracked"?
<whitequark>
no?
<whitequark>
same process as for everyone else
<whitequark>
and fwiw i've spent a bunch of time looking at hoon/nock (urbit's computational model and vm) wayyy back before anyone knew about moldbug's nrx writings widely
<whitequark>
it's... not interesting, technologically speaking
<qu1j0t3>
surprising nobody :)
<whitequark>
it's about as complicated as untyped lambda calculus, with a few stupid twists to make it "more efficient"
<rqou>
i have no idea wtf is happening in that file you linked
<whitequark>
ex: hoon uses wrapping integer arithmetics but only provides a "+1" primitive, so nock, to implement subtraction, does "+1" four billion times and one
<rqou>
wtf
<whitequark>
this naturally would never fly on real hardware so the runtime pattern-matches this and replaces it with... real subtraction
<whitequark>
urbit is pretentious obfuscation on every single level and not much more
<cr1901_modern>
rqou: I think that is a feature of hoon. It is deliberately hard to read.
<rqou>
but there's an actual method to subtract church numerals if you want wankery like that
<cr1901_modern>
Random q: Can peano arithmetic be extended to do wrapping?
<whitequark>
I guess? extend the operations
pie__ has joined ##openfpga
pie_ has quit [Read error: Connection reset by peer]
promach__ has joined ##openfpga
promach__ has quit [Max SendQ exceeded]
promach__ has joined ##openfpga
promach__ has quit [Quit: Leaving]
pie__ has quit [Ping timeout: 240 seconds]
pie_ has joined ##openfpga
<openfpga-github>
[openfpga] rqou pushed 12 new commits to master: https://git.io/vHA1t
<openfpga-github>
openfpga/master b8df71d Robert Ou: xc2bit: Implement reading PLA from crbit
<openfpga-github>
openfpga/master 3228763 Robert Ou: xc2bit: Enough copypasta to read ZIA from crbit for 32A
<openfpga-github>
openfpga/master c4c1315 Robert Ou: xc2bit: Begin adding plumbing to read back crbit files
<rqou>
woot native ordering crbit files are implemented
<rqou>
i'm actually going to officially publish version 0.0.1 of xc2bit now
<rqou>
since it has "all" the functionality
pie__ has joined ##openfpga
pie_ has quit [Read error: Connection reset by peer]
<whitequark>
not 0.1.0?
<openfpga-github>
[openfpga] rqou pushed 1 new commit to master: https://git.io/vHA1i
<openfpga-github>
openfpga/master 87c67c7 Robert Ou: xc2bit: Add some missing documentation
Shoggoth has joined ##openfpga
<Shoggoth>
Hi! I have what is probably a stupid quesion… I’ve found marex’s typhoon and I’d like to take a closer look but the only url I have is http://git.bfuser.eu/?p=marex/typhoon.git which git refuses to checkout… can anyone point me in the right direction?
<openfpga-github>
[openfpga] rqou pushed 1 new commit to master: https://git.io/vHA1N
<openfpga-github>
openfpga/master 510ebcf Robert Ou: xc2bit: Bump version number
<rqou>
i can't find it right now, but i'm pretty sure that The Old New Thing once hinted that some shitty ISVs did this anyways
<rqou>
the MSVC ABI isn't stable, but for a while it was "stable enough" that ISVs could get away with mixing versions of the compiler
<rqou>
and most of the time it wouldn't crash :P
cr1901_modern1 has joined ##openfpga
cr1901_modern has quit [Ping timeout: 260 seconds]
Shoggoth has quit [Read error: Connection reset by peer]
Shoggoth has joined ##openfpga
pie__ has quit [Remote host closed the connection]
pie__ has joined ##openfpga
Shoggoth has quit [Quit: Shoggoth]
_whitelogger has joined ##openfpga
mifune has joined ##openfpga
mifune has joined ##openfpga
Shoggoth has joined ##openfpga
pie__ has quit [Read error: Connection reset by peer]
pie___ has joined ##openfpga
pie_ has joined ##openfpga
pie___ has quit [Read error: Connection reset by peer]
mifune has quit [Ping timeout: 240 seconds]
pie_ has quit [Ping timeout: 258 seconds]
pie_ has joined ##openfpga
Hootch has joined ##openfpga
pie_ has quit [Ping timeout: 260 seconds]
pie_ has joined ##openfpga
Guest35527 has joined ##openfpga
Guest35527 is now known as gruetzkopf
pie_ has quit [Read error: Connection reset by peer]
pie__ has joined ##openfpga
pie__ has quit [Ping timeout: 255 seconds]
pie_ has joined ##openfpga
<felix_>
rqou: talked with a friend, who is active in the lede/openwrt community, about the ath10k re project yesterday; maybe there will be some progress... i probably should point him to this channel
<rqou>
felix_: nice. yeah, i basically have so many things going on that I don't have time to look at ath10k at all. it's nice that somebody else is