Labo333

21 ms·

241.
by Labo333 8y ago
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 equivale
242.
by Labo333 8y ago
I made those notebooks that can execute OCaml locally in-browser: https://louisabraham.github.io/domical/ What do you think?
243.
Applying linear algebra to Euclidean geometry(louisabraham.github.io)
2 points by Labo333 8y ago|0 comments
244.
by Labo333 8y ago
Me too! Sometimes the HN titles have to overexagerate some mathy aspect to receive votes...
245.
Ask HN: How do I learn information security?
2 points by Labo333 8y ago|0 comments
246.
Show HN: pi.py(ptpb.pw)
2 points by Labo333 8y ago|0 comments
247.
by Labo333 8y ago
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-...
248.
Show HN: ffpass – Import and Export Passwords for Firefox Quantum(github.com)
4 points by Labo333 8y ago|2 comments
249.
One red paperclip(en.wikipedia.org)
3 points by Labo333 8y ago|0 comments
250.
Ask HN: How to improve my Cython / Big Cython repos
3 points by Labo333 8y ago|0 comments
251.
by Labo333 8y ago
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 :)
252.
Show HN: The Hungarian maximum likelihood trick(louisabraham.github.io)
10 points by Labo333 8y ago|0 comments
253.
by Labo333 9y ago
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.
254.
by Labo333 9y ago
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 d
255.
Miyakogi/wdom: Web technology based GUI library for desktop applications(github.com)
3 points by Labo333 9y ago|4 comments
256.
Ask HN: Laptop equivalent of the new Nokia 8110 4G
1 points by Labo333 9y ago|0 comments
257.
The codesports platform – Riddles.io(riddles.io)
1 points by Labo333 9y ago|0 comments
258.
SAT solving techniques: a bibliography(arxiv.org)
1 points by Labo333 9y ago|0 comments
259.
by Labo333 9y ago
I did it https://pypi.python.org/pypi/algnuth :) I didn't know it was so important but I learn every day!
260.
by Labo333 9y ago
Oh nice!
261.
by Labo333 9y ago
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?
262.
by Labo333 9y ago
There is also this wonderful collection of Sage examples: http://abstract.ups.edu/download/aata-20160809-sage-7.3.pdf
263.
by Labo333 9y ago
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 C
264.
by Labo333 9y ago
Indeed :) But what did you expect when you clicked on a github link?
265.
by Labo333 9y ago
Thanks a lot :)
266.
by Labo333 9y ago
No but you can install any library from github with pip install --upgrade git+[URL]
267.
by Labo333 9y ago
I don't think Sage has the Jacobi symbol (just the Legendre), but Jacobi and Solovay-Strassen are less than 20 lines. Anyway, the goal was to provide very simple and readable implementations. Sage is far more powerful. Also, I think Sa
268.
Show HN: Algebraic Number Theory in Python 3(github.com)
157 points by Labo333 9y ago|26 comments
269.
Show HN: A cross-platform implementation of beep(github.com)
8 points by Labo333 9y ago|0 comments
270.
Show HN: Copypasta-data – Generate copypasta with LSTM(github.com)
5 points by Labo333 9y ago|0 comments

More ›