miniblog.

← Back to all posts
Nov 15, 2014 at 22:14
"you could almost write a book on [colons in ranges] alone" floating-point ranges are hard:
ranges terribly sensitive to floating point · Issue #2333 · JuliaLang/julia
ranges terribly sensitive to floating point · Issue #2333 · JuliaLang/julia
This one is kind of funny julia> v=.1:.1:.3 0.1:0.1:0.2

Related Posts

Jan 20, 2021 at 07:11
Functions can have pre/postconditions specifying assumptions and legal ranges for inputs. What's the equivalent for pretrained ML models? https://gradio.app/blog/missing-contracts
Sep 7, 2018 at 22:39
Interesting @lambda_conf talk showing how Dialyzer ('discrepancy analyzer') offers gradual typing for Erlang and Elixir: https://youtu.be/FXCMiQWnWu0 It's a neat type system: it uses 'success typing', (it assumes you're correct) and exotic features like ranges and non-empty lists!