vyuh

9 ms·

31.
What is traceability and why does WhatsApp oppose it?(faq.whatsapp.com)
1 points by vyuh 5y ago|0 comments
32.
Quasiquotation in R5RS Scheme(people.csail.mit.edu)
2 points by vyuh 5y ago|0 comments
33.
by vyuh 5y ago
I agree, this can be shocking for many casual users. I think there is an option to save a "plain SVG" as opposed to "inkscape SVG". Does "plain SVG" also include such information?
34.
Standard ML(smlnj.org)
3 points by vyuh 5y ago|0 comments
35.
The biggest library of vintage graphics(vectorian.net)
2 points by vyuh 5y ago|0 comments
36.
Programming in Java · Computer Science · an Interdisciplinary Approach(introcs.cs.princeton.edu)
15 points by vyuh 5y ago|1 comments
37.
Elm-spa: single page apps made easy(elm-spa.dev)
4 points by vyuh 5y ago|0 comments
38.
Common CSS patterns done in elm and elm-CSS(elmcsspatterns.io)
1 points by vyuh 5y ago|0 comments
39.
by vyuh 5y ago
Examples: https://elm-visualization.netlify.app/
40.
Elm-visualization: A data visualization library for Elm(github.com)
2 points by vyuh 5y ago|1 comments
41.
by vyuh 6y ago
A few months ago I tried my hand at this because it had some better defaults. Also, I didn't like camel case variables everywhere in Hugo. Then, I gave up when I realised that Zola does not even allow YAML config files. Nit picks every
42.
Mathcha – Online Mathematics Editor(mathcha.io)
20 points by vyuh 6y ago|3 comments
43.
Scipy Lecture Notes(scipy-lectures.org)
320 points by vyuh 6y ago|45 comments
44.
Pal – a command-line calendar program that can keep track of events(palcal.sourceforge.net)
1 points by vyuh 6y ago|0 comments
45.
Magnum – open-source toolkit that makes Math animations effortless(github.com)
3 points by vyuh 6y ago|0 comments
46.
Getting Started with Voice Driven Development(whalequench.club)
2 points by vyuh 6y ago|0 comments
47.
TikZit GUI editor for graphs and string diagrams(tikzit.github.io)
1 points by vyuh 6y ago|0 comments
48.
Regular expression grammar language dictionary generator(regldg.com)
1 points by vyuh 6y ago|0 comments
49.
by vyuh 6y ago
This is a loose transcript of presentation given at ConnectDev'16. Video of the presentation: https://youtu.be/4ZIPijEqrNI
50.
SML Dev Setup(blog.jez.io)
2 points by vyuh 6y ago|0 comments
51.
Xournal, an application for notetaking using a stylus(xournal.sourceforge.net)
2 points by vyuh 6y ago|0 comments
52.
by vyuh 6y ago
The algorithm, the type system, and some of the logical background are explained in this tutorial, along with an implementation in standard ML. http://steshaw.org/hm/hindley-milner.pdf I found this 30 page PDF docume
53.
Hindley-Milner Type Inference (2012)(steshaw.org)
177 points by vyuh 6y ago|184 comments
54.
Practical Makefiles, by Example(nuclear.mutantstargoat.com)
2 points by vyuh 6y ago|0 comments
55.
by vyuh 6y ago
When I removed snapd from Ubuntu, all installed snaps and their mount points still remained. Then I reinstalled snapd to remove the snaps. I could not find a command to force remove a snap if other snaps depend on it. So I had to delete eac
56.
Basic English(simple.wikipedia.org)
3 points by vyuh 6y ago|0 comments
57.
Creating Your Own Embedded Dynamic Web Site. Linux, Busybox, Httpd and Sqlite(programming.key-spot.ru)
3 points by vyuh 6y ago|0 comments
58.
by vyuh 6y ago
> Even if you need to preserve client state between page loads (for e.g. music or video playback) you can let the browser do most of the heavy lifting by fetch()ing a new page and replacing your content container at the DOM level. Anyo
59.
Fearless Refactoring in Elm [video](youtu.be)
1 points by vyuh 6y ago|0 comments
60.
SQL Tutorial: Friendly tips to help you learn SQL(wagonhq.com)
1 points by vyuh 6y ago|0 comments

More ›