Theodore Ehrenborg

icon indicating a website link https://ehrenborg.dev/

icon location AI safety researcher

Results 5 comments of Theodore Ehrenborg

`harsh ask` doesn't work correctly between 1am and 2am just after DST happens

Thanks for getting back to me! I almost never use harsh after 1am, so this bug isn't a big problem.

`harsh ask` doesn't work correctly between 1am and 2am just after DST happens

> Are you still seeing this behaviour now? In other words, did this happen just on the cusp of Britain folding into DST, or you are still experiencing it now...

Native support for Convolution Layer

Oh, [this issue](https://github.com/spearow/juice/issues/31) seems related.

Issue parsing floats

This works: ```julia julia> lisp"(def x 2.5d)" 2.5 ``` Alternatively append `f` to get it parsed as a Float32; see https://github.com/swadey/LispSyntax.jl/blob/master/src/parser.jl

Example verus proofs

(Sorry for the delay in responding; BAIF has entered crunch time for another project) > parse in any contributor's IDE without modification This somewhat works, since rust-analyzer expands the verus...