<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> it's very pleasant on the eyes :)
<whitequark> not especially
<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
<whitequark> http://git.bfuser.eu/?p=marex/typhoon.git;a=snapshot;h=516902ff8eece954b8c70d5ce8430aa7f53caab4;sf=tgz ?
<whitequark> it has only one commit anyway
<rqou> wait what docs.rs autobuilds docs for me?
<rqou> this is amazing
<whitequark> y
<rqou> if you're just writing "normal" code, everything in Rust "Just Works(TM)"
<rqou> i really need to spend less time doing weird low-level embedded shit and write a native program like a normal person
<whitequark> oh, it's the same for weird low-level embedded shit... once you're done adding interfaces
<whitequark> most of our embedded code in ARTIQ is "normal"
<rqou> but embedded always requires fighting "stupid tooling shit"
<whitequark> well the toolchain is slightly fucked up because of my inexperience
<whitequark> lol rq
<whitequark> yeah there's no escaping that
<rqou> although one thing i've noticed is not nearly as great
<Shoggoth> whitequark: thanks for the link…
<rqou> there's no tooling in Rust if you want to be a "Windows ecosystem" ISV and write proprietary closed-source middleware :P :P
<whitequark> rqou: you'd have to export a C API
<whitequark> then you can just distribute a dylib or staticlib
<rqou> or you can just not be a proprietary Windows middleware vendor :P
<whitequark> rqou: or... you could ship the source, like what everyone using C++ does anyway
<rqou> because templates?
<whitequark> yes
<whitequark> and because C++ doesn't have an ABI
<whitequark> (I don't think Microsoft's C++ ABI is stable between versions, at least?)
<whitequark> yeah looks like MS agrees https://msdn.microsoft.com/en-us/library/hh438475.aspx
<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
Shoggoth has quit [Quit: Shoggoth]
X-Scale has quit [Quit: HydraIRC -> http://www.hydrairc.com <- Now with extra fish!]
pie__ has joined ##openfpga
pie_ has quit [Remote host closed the connection]
pie_ has joined ##openfpga
pie__ has quit [Remote host closed the connection]
pie_ has quit [Ping timeout: 240 seconds]
pie_ has joined ##openfpga
gruetzkopf has quit [Quit: quit]
DingoSaar has joined ##openfpga
DingoSaar has quit [Remote host closed the connection]
pie_ has quit [Ping timeout: 240 seconds]
pie_ has joined ##openfpga
pie_ has quit [Remote host closed the connection]
Shoggoth has joined ##openfpga
Shoggoth has quit [Quit: Shoggoth]
digshadow has quit [Ping timeout: 240 seconds]
s0n1cB00m has joined ##openfpga
Hootch has quit [Quit: Leaving]
digshadow has joined ##openfpga
X-Scale has joined ##openfpga
pie_ has joined ##openfpga
pie_ has quit [Changing host]
pie_ has joined ##openfpga
pie_ has quit [Read error: Connection reset by peer]
pie_ has joined ##openfpga
Hootch has joined ##openfpga
digshadow has quit [Ping timeout: 240 seconds]
pie_ has quit [Remote host closed the connection]
pie_ has joined ##openfpga
digshadow has joined ##openfpga
pie_ has quit [Ping timeout: 260 seconds]
pie_ has joined ##openfpga
digshadow has quit [Ping timeout: 240 seconds]
mifune has joined ##openfpga
mifune has joined ##openfpga
fpgacraft1_ has joined ##openfpga
fpgacraft1 has quit [Ping timeout: 246 seconds]
fpgacraft1_ is now known as fpgacraft1
digshadow has joined ##openfpga
m_w has joined ##openfpga
pointfree[m] has quit [Ping timeout: 240 seconds]
cr1901_modern1 is now known as cr1901_modern
gruetzkopf has joined ##openfpga
fpgacraft1 has quit [Quit: ZNC 1.7.x-git-709-1bb0199 - http://znc.in]
fpgacraft1 has joined ##openfpga
mifune has quit [Ping timeout: 260 seconds]
fpgacraft1_ has joined ##openfpga
fpgacraft1 has quit [Quit: ZNC 1.7.x-git-709-1bb0199 - http://znc.in]
fpgacraft1_ is now known as fpgacraft1
fpgacraft1 has quit [Quit: ZNC 1.7.x-git-709-1bb0199 - http://znc.in]
fpgacraft1_ has joined ##openfpga
fpgacraft1_ is now known as fpgacraft1
pie_ has quit [Remote host closed the connection]
pie_ has joined ##openfpga
Hootch has quit [Read error: Connection reset by peer]
digshadow has quit [Ping timeout: 240 seconds]
s0n1cB00m has quit [Remote host closed the connection]
s0n1cB00m has joined ##openfpga
digshadow has joined ##openfpga
digshadow has quit [Ping timeout: 240 seconds]
pointfree[m] has joined ##openfpga
m_w has quit [Quit: leaving]
m_w has joined ##openfpga
uelen has quit [Ping timeout: 260 seconds]
uelen has joined ##openfpga
uelen has quit [Ping timeout: 240 seconds]
uelen has joined ##openfpga
ZipCPU_ has joined ##openfpga
ZipCPU has quit [*.net *.split]
s0n1cB00m has quit [Read error: Connection reset by peer]
s0n1cB00m has joined ##openfpga