01:15
<
whitequark >
awygle: the usual term is "newtypes" and it's very common in FP
01:15
<
whitequark >
now that you mention it, it does seem oddly lacking in rust
01:16
<
awygle >
yeah rust has "newtypes" but they seem to be
_strictly_ identical, just renamed
01:16
<
whitequark >
no, `type A = B` is not a newtype
01:16
<
awygle >
there's no custom derive where you pass in a constraint function, or anything nicely ergonomic like that
01:17
<
whitequark >
it's a type alias
01:17
<
whitequark >
`struct A(B)` is a newtype
01:17
<
whitequark >
or rather, `struct A(B)` is rust's replacement of newtypes
01:17
<
whitequark >
since in ocaml you can do `type a = private b`, which is an explicit newtype construct
01:18
<
whitequark >
or `type a = b` and make it abstract in the mli
01:18
<
whitequark >
also I'm not sure why you'd need a custom derive, implementing new is only five lines or so
01:19
<
awygle >
it was just a thought/example
01:20
digshadow has left ##openfpga [##openfpga]
01:20
digshadow has joined ##openfpga
01:33
<
awygle >
the next open source microcontroller design should be called LEG
01:39
<
rqou >
it'll cost you an ARM and another LEG to buy one :P
01:40
<
jn__ >
LEGO will be happy to license some of these :)
01:41
<
rqou >
nah, they can get away with using slow H8s :P
01:46
<
qu1j0t3 >
jn__: they'll certainly try to sue
01:52
<
whitequark >
rqou: they're using ARMs for a long time
01:52
<
whitequark >
atmel sam iirc
01:55
<
rqou >
the ev3 is a ti AMxxxx (the v5TE one, not a cortex-a)
02:05
digshadow has quit [Ping timeout: 276 seconds]
02:07
<
rqou >
also ev3dev has an amazing oobe
02:07
<
rqou >
unfortunate nobody seems to really care much about it
02:08
<
qu1j0t3 >
you can youtube that shiz
02:22
digshadow has joined ##openfpga
02:31
digshadow has quit [Ping timeout: 260 seconds]
02:46
digshadow has joined ##openfpga
02:56
digshadow has quit [Ping timeout: 245 seconds]
03:05
<
mithro >
Does anyone know where the names in hlc come from? (daveshah / jhol)
03:17
digshadow has joined ##openfpga
03:41
<
rqou >
yes, the issue is that you're using conda :P
03:43
Bike has quit [Quit: Lost terminal]
03:45
<
rqou >
mithro: serious question, why the heck are you using conda?
03:46
<
rqou >
i thought we've already established that it's a piece of shit, and you aren't targeting physicists or "that weird scientific part of the python ecosystem"
03:47
<
mithro >
rqou: I'm hoping to target windows+mac shortly and conda seems the best option for that
03:47
<
rqou >
have you considered... tarballs?
03:47
<
rqou >
but actually
03:47
<
rqou >
like what i've been doing
03:48
<
mithro >
rqou: Conda isn't great - but it's better then tarballs
03:49
<
rqou >
not according to whitequark
03:49
<
mithro >
rqou: I guess I disagree with whitequark on this topic then
03:55
<
mithro >
rqou: Anyway this bug isn't conda I don't think -- it is some type of shell thing...
04:11
rohitksingh_work has joined ##openfpga
04:52
<
azonenberg >
kc8apf: re format for a fully par'd design
04:52
<
azonenberg >
i think we need to create (for debugging, even if it's not part of the full workflow)
04:52
<
azonenberg >
a generic format akin to XDL
04:53
<
azonenberg >
Something that is chip independent and can be used by different toolchains
04:53
<
azonenberg >
and maps 1:1 to a bitstream but is human readable
04:53
<
kc8apf >
Chip independent and 1:1 to bitstream is pretty challenging
04:56
<
kc8apf >
awygle: see derive-new and derive-more crates. Makes newtype pattern more reasonable.
05:01
wolfspra1l has quit [Read error: Connection reset by peer]
05:08
xdeller_ has joined ##openfpga
05:11
xdeller has quit [Ping timeout: 276 seconds]
06:05
<
azonenberg >
kc8apf: yeah but i think its possible
06:06
<
azonenberg >
basically some way of specifying config bits for each primitive
06:06
<
azonenberg >
and routing tile
06:06
<
azonenberg >
in an abstracted form
06:06
<
azonenberg >
Without the format caring what each tile does
06:06
<
azonenberg >
It's OK if the "XDL" to bitstream mapping is chip specific
06:06
<
azonenberg >
as long as tools can manipulate the intermediate generically
06:25
<
rqou >
azonenberg: so you mean my internal data structure dump? :P :P
06:25
<
rqou >
it's definitely a 1:1 map to the bitstream
06:25
<
rqou >
(or at least should)
06:30
indy has joined ##openfpga
06:30
<
azonenberg >
rqou: i mean in general though
06:30
<
azonenberg >
not toolchain specific
06:30
<
azonenberg >
we have too much fragmentation now
06:30
<
azonenberg >
the point is trying to unify a bit
06:36
mnr has quit [Ping timeout: 256 seconds]
06:38
<
rqou >
ugh i just noticed my data structure isn't actually deserializable
06:38
<
rqou >
thanks rust for having f*cked arrays
06:55
openfpga-github has joined ##openfpga
06:55
openfpga-github has left ##openfpga [##openfpga]
06:55
<
openfpga-github >
openfpga/master b9cfcaf Robert Ou: xc2par: Use trick to make OutputGraph deserializable
06:56
<
rqou >
azonenberg: ok, now xc2par really does have a "post-par netlist format" :P :P
07:02
genii has quit [Remote host closed the connection]
07:21
<
awygle >
whitequark: this sucks. the USB IC is supposed to be for a host so the pinout is all backwards. i'm making it work but like, shit
07:24
<
rqou >
wait awygle what chip are you working with?
07:41
flaviusb has joined ##openfpga
07:41
<
awygle >
whitequark: i pushed this as a branch, because i'm not very happy with it. specifically the crystal is a bit far from the cypress part and things are just generally crowded. if you can see a way to improve things, please do. i need to get to sleep.
07:56
<
rqou >
wtf I've gotten like 20 ads on birbsite today
07:56
<
rqou >
wtf is going on?
08:00
<
awygle >
goddammit I didn't actually push anything!
08:00
bitd has joined ##openfpga
08:00
* awygle
gets out of bed...
08:02
<
openfpga-github >
Glasgow/usb_protection d2df739 awygle: Add USB protection IC.
08:11
<
azonenberg >
awygle: re crystal placement
08:12
<
azonenberg >
one of the reasons i like oscillators is that placement is less critical
08:12
<
azonenberg >
just put a cap on them and a series terminator to the IC and you're golden
08:12
<
azonenberg >
so still two passives like a crystal, cost is very slightly more but usually insignificant
08:12
<
azonenberg >
and more layout friendly
08:13
<
cr1901_modern >
series termination?
08:15
<
cr1901_modern >
(specifically, on the clock? why would you want that?)
08:17
<
awygle >
ringing on a clock input is Bad
08:18
<
cr1901_modern >
Yea, but I thought the load would take care of that
08:18
<
cr1901_modern >
guess not
08:19
<
awygle >
depends on the oscillator and the input. better to have room for a terminator and not need it than need it and not have it
08:20
<
azonenberg >
yeah i normally default to a ~33 ohm terminator for single ended lines
08:20
<
azonenberg >
then adjust if i have problems
08:21
<
awygle >
being honest I rarely terminate local clocks
08:21
<
awygle >
just keep the trace short instead
08:22
<
azonenberg >
i didnt used to
08:22
<
azonenberg >
now i prefer to put the footprint there, i can always 0R it
08:23
knielsen has quit [Ping timeout: 256 seconds]
08:29
knielsen has joined ##openfpga
09:16
openfpga-bb has quit [Ping timeout: 260 seconds]
09:16
azonenberg has quit [Ping timeout: 245 seconds]
09:16
azonenberg_work has quit [Ping timeout: 245 seconds]
09:17
eddyb has quit [Changing host]
09:17
eddyb has joined ##openfpga
09:17
eddyb has joined ##openfpga
09:17
openfpga-bb has joined ##openfpga
09:18
azonenberg_work has joined ##openfpga
09:19
azonenberg has joined ##openfpga
09:28
ym has joined ##openfpga
12:25
flaviusb has quit [Ping timeout: 276 seconds]
12:38
flaviusb has joined ##openfpga
12:39
eduardo__ has joined ##openfpga
12:43
eduardo_ has quit [Ping timeout: 252 seconds]
12:49
rohitksingh_work has quit [Read error: Connection reset by peer]
12:58
genii has joined ##openfpga
13:09
Bike has joined ##openfpga
13:54
X-Scale has quit [Ping timeout: 268 seconds]
14:06
rohitksingh has joined ##openfpga
14:16
X-Scale has joined ##openfpga
14:43
cr1901_modern has quit [Ping timeout: 260 seconds]
14:58
rohitksingh has quit [Quit: Leaving.]
14:59
rohitksingh has joined ##openfpga
15:02
cr1901_modern has joined ##openfpga
15:33
rohitksingh has quit [Read error: Connection reset by peer]
15:35
rohitksingh has joined ##openfpga
15:45
FabM has quit [Quit: ChatZilla 0.9.93 [Firefox 52.7.3/20180326230345]]
15:52
cr1901_modern has quit [Ping timeout: 245 seconds]
16:08
rohitksingh has quit [Quit: Leaving.]
16:16
cr1901_modern has joined ##openfpga
16:16
rohitksingh has joined ##openfpga
16:40
rohitksingh has quit [Quit: Leaving.]
17:58
rohitksingh has joined ##openfpga
18:24
rohitksingh has quit [Quit: Leaving.]
18:38
DocScrutinizer05 has quit [Disconnected by services]
18:38
DocScrutinizer05 has joined ##openfpga
18:39
scrts has quit [Ping timeout: 245 seconds]
18:50
scrts has joined ##openfpga
18:51
noobineer has joined ##openfpga
19:03
DocScrutinizer05 has quit [Remote host closed the connection]
19:03
DocScrutinizer05 has joined ##openfpga
19:40
digshadow has quit [Ping timeout: 245 seconds]
19:59
digshadow has joined ##openfpga
20:01
user10032 has joined ##openfpga
20:05
noobineer has quit [Ping timeout: 264 seconds]
20:19
bitd has quit [Remote host closed the connection]
20:20
<
azonenberg >
welp, my coasters are inbound
20:21
<
azonenberg >
I ordered the v0.3 boards a day or two later
20:21
<
azonenberg >
So they should be following close behind
20:37
user10032 has quit [Quit: Leaving]
21:02
mumptai has joined ##openfpga
21:04
[X-Scale] has joined ##openfpga
21:06
X-Scale has quit [Ping timeout: 256 seconds]
21:06
[X-Scale] is now known as X-Scale
21:10
noobineer has joined ##openfpga
21:41
pie_ has quit [Ping timeout: 260 seconds]
21:41
Zorix has quit [Quit: Leaving]
21:44
Zorix has joined ##openfpga
21:54
pie_ has joined ##openfpga
21:55
Bike has quit [Ping timeout: 260 seconds]
22:08
mumptai has quit [Quit: Verlassend]
22:17
<
azonenberg_work >
rqou, pointfree: so are you folks both definite for the work party?
22:18
<
rqou >
idk about pointfree
22:18
<
azonenberg_work >
if so, can you PM me email addresses? trying to get a thread going to plan specifics
22:18
<
azonenberg_work >
dates, times, noms, etc
22:18
<
azonenberg_work >
i know if have yours somewhere but send it again to make sure (on my work laptop atm and i dont think i have you in contacts here)
22:44
Bike has joined ##openfpga
22:48
digshadow has quit [Ping timeout: 264 seconds]
23:05
digshadow has joined ##openfpga
23:16
<
reportingsjr >
whitequark: what do you use to get screenshots of your scope?
23:24
<
qu1j0t3 >
link to said screenshot?
23:30
futarisIRCcloud has joined ##openfpga
23:33
<
reportingsjr >
qu1j0t3: I don't have one on hand
23:33
<
reportingsjr >
I'm almost certain that whitequark has a rigol ds1054z which I also just purchased.
23:33
genii has quit [Remote host closed the connection]
23:37
<
kc8apf >
I've always just saved screenshots to a USB drive
23:38
digshadow has quit [Ping timeout: 245 seconds]
23:38
<
awygle >
yeah my scope just has a button
23:57
digshadow has joined ##openfpga