3 ms·
Author here. I will take the opportunity to advertise my blog at https://fredrikj.net/blog/ https://fredrikj.net/blog/ where I post occasional development updat
by fdej 6y ago
Author here. I will take the opportunity to advertise my blog at https://fredrikj.net/blog/ https://fredrikj.net/blog/ where I post occasional development updates about Arb and other projects.
Some improvements not covered in the 2016 preprint include much faster code for arithmetic and matrix multiplication (https://arxiv.org/abs/1901.04289 https://arxiv.org/abs/1901.04289, https://fredrikj.net/blog/2018/07/high-precision-linear-algebra-in-julia-bigfloat-vs-arb/ https://fredrikj.net/blog/2018/07/high-precision-linear-alge...), and code for rigorous arbitrary-precision numerical integration (https://arxiv.org/abs/1802.07942 https://arxiv.org/abs/1802.07942, http://fredrikj.net/blog/2017/11/new-rigorous-numerical-integration-in-arb/ http://fredrikj.net/blog/2017/11/new-rigorous-numerical-inte...).
- helltone 6y agoI dream of a programming language where I would be able to specify a computation and maybe error bounds on input/output and get efficient code respecting the bounds automatically. Arb takes us close to that, but I still have to handle recomputing with greater precision by hand, and things get complicated with multiple inputs. What are your thoughts on making arbitrary precision/rigorous error bounds more ergonomic to use for programmers?
- fdej 6y agoThat's a great question. Of course, you can express the computation as a function or a symbolic expression and evaluate it using a function that recomputes with greater precision automatically (or automatically compiles efficient code with bounds). Integrating this kind of functionality into the core semantics of a programming language is a very interesting problem.
- BlackFingolfin 6y agoAny chance you could offer an RSS or Atom feed?
- fdej 6y agoGood point. I added an RSS feed link to https://fredrikj.net/blog/ https://fredrikj.net/blog/. I just hacked together some quick code to generate it, so let me know if it doesn't work.
- BlackFingolfin 6y agoThanks! Just tried to add it to feedly but unfortunately it still gives me an error, reporting that it can't find feed. Will have a look at the source to see if I can help figuring it out, once I am back at my computer.
- dna_polymerase 6y agoYou should also link your rss feed in the meta tags of the blog page: <link rel="alternate" type="application/rss+xml" title="RSS" href="http://www.example.net/feed.rss" /> Also in the rss, this line is pointing to the wrong URL. <atom:link href="https://fredrikj.net/rss.xml" rel="self" type="application/rss+xml"/>
- fdej 6y agoShould be fixed now. Thanks!