Labo333

All of those operations are achievable when replacing sqrt with log by using Skip lists (https://en.wikipedia.org/wiki/Skip_list), and probably with Zip trees as well (https://arxiv.org/abs/1806.06726).

That being said, the overload of a complex data structure might multiply the running time by a factor up to ~10 (mostly because of cache misses), so simpler structures will be more performant for short inputs.

There is a more general pattern in most tree data structures where you can transform the log(n) recursive operations on the tree into sqrt(n) operations on a simpler structure with 2 levels.

I happen to have described the solution to a problem where you must use a sqrt-decomposition datastructure to have updates in O(1) and queries in O(sqrt(n)) because O(log(n)) everywhere is not good enough as there are a lot of updates to do (https://tryalgo.org/en/2017/09/01/path-statistics/).

I think reasoning about correctness is easier than about optimizations. Even if you account for a simple complexity model (real computers are a lot more complex, because of techniques like branch prediction or memory caching), proving an implementation as optimal is very hard!

Is there some kind of interoperability with other libraries? Or does it support CPU encryption / decryption ? For example, one can expect clouds to have GPUs to perform computations but encryption and decryption are typically done by clients on various devices where portable code is expected.

Thanks for the pointer, I'll try and see whether I can port racket-mode as a vscode extension.

I am really excited by Racket.

Unlike most minimalist LISP languages with a community of individual hackers who each have their own macros and packages, this one is battery included while still being the most flexible with the #lang header. Seriously, it comes with awesome data structures (actuelly more than Python).

The only thing that prevents me from using it as much as Python or C++ is the lack of tools for major editors. DrRacket is NOT ok, I would like a langserver and vscode extension so badly! When I have a bit of free time and have finished other projects with a higher priority, I'll definitely give it a try. (yes I'm aware there are some langservers but none of them is really production ready)

Now you also have KaiOS which is similar to WebOS

I think https://en.m.wikipedia.org/wiki/DMARC is meant for that. Of course it relies on trusted DNS.

The experiments are interesting but they never explained what the strategies are. It's OK for LRU and FIFO but certainly not for 2-random!

Run. It's cheap, simple, progressive and it's basically what humans have been optimized for.

Beware of running on concrete if you are overweight, it can worsen back problems.

Swimming is better as it exercises the whole body but it's not that easy if you don't have a swimming pool nearby, so it gives you a lot more excuses.

This is my first guess but it became stable shortly after (15 upvotes).

THANK YOU! Now I understand.

How is this first? (at time of writing, 10 points in 35 minutes)

All comments show incomprehension.

This smells like bots!

Sorry if I'm being rude.

How does remi compare to https://github.com/flexxui/flexx?

For example, flexx can translate parts of the app to JS to have a more reactive experience.

Seems great! I used https://github.com/miyakogi/wdom a few times but it wasn't satisfying because you have to get your hands dirty with js when you want to customize things (not in js libs but with the widgets).

Hi, is it possible to interact with js libraries? Like leaflet to integrate maps.

I don't know what browser you are using but in my experience, Firefox is faster than Chrome :)

For the performance we really have to thank the folks of js_of_ocaml!

I discovered Sketch on the OCaml forum just after I finished the alpha version of domical. I'll publish domical after some issues coming from iodide are corrected.

Sketch is really awesome, and serves different purposes. Domical is just an interpreter for the iodide notebooks, which are designed to be portable and execute all kind of languages: js, python (those crazy folks compiled the full interpreter and f numpy in WASM) and now OCaml.

I can see that sketch has really a lot more features.

A key feature of iodide is its simplicity and portability: the whole notebook is written in a readable format looking like markdown and called jsmd. Take a look at the source code of the page to better understand.

So definitely we have a lot to share on our respective projects, even if I am not one of the main contributors of iodide (I just did the OCaml part).

If you want to continue this discussion, my email is on my homepage :)

Of course, I put the "`" to indicate the interpreter command. The compiler is called with `ocamlc`.

The online version is basically a top-level exucuted by the js engine of your browser, and it is more performant than its equivalent executed natively.

I made those notebooks that can execute OCaml locally in-browser: https://louisabraham.github.io/domical/

What do you think?

Me too! Sometimes the HN titles have to overexagerate some mathy aspect to receive votes...

Maybe it is because they were developing Lockbox.

However, it seems they decided not to support it officially anymore 3 days ago: https://mozilla-lockbox.github.io/lockbox-extension/release-...

Good idea.

It would be even better to provide an installable module (setup.py) and to upload it on pypi!

I have been there, it's never fun the first time but it's really rewarding :)

Not really.

Most of the code uses lowercase function names (`get_document`). But since the library replicates the DOM, it copied the JS function names which, IMO, is an acceptable reason.

I discovered this library while looking for a nice GUI solution.

It's just awesome, the code is well tested and documented. I cannot NOT recommend this library for anyone who wants to be able to build both simple and powerful GUIs.

I don't understand why it's not widely used, so I decided to share it :)

I did it https://pypi.python.org/pypi/algnuth :)

I didn't know it was so important but I learn every day!

Oh nice!

Yes but I don't want to manage version numbers and release a new one each time I push a commit to my repo. Also anyone can take the code s/he wants directly.

Do you have some kind of automatic pypi release system?

There is also this wonderful collection of Sage examples: http://abstract.ups.edu/download/aata-20160809-sage-7.3.pdf

Wow the adelic point of view is totally new for me!!! I add your book to my bookmarks and will definitely read it.

It's really nice to make a chapter on elliptic curves, it's one of my domains of research (ECC).

I have codes for CRT and Pell's equation as well, maybe I will upload them.

Indeed :)

But what did you expect when you clicked on a github link?