ivan_ah

38 ms·

301.
by ivan_ah 7y ago
Wow this is amazing. Check out their interactive demo that lets you see visualizations for various tasks: https://demo.allennlp.org/coreference-resolution/MTA3MDQ4Nw=... Interpretability is super important... first fo
302.
by ivan_ah 7y ago
It's not surprising that R has good tools for statistical assumptions checking. It has everything with an API perfectly suited for stats professionals. In the Python world scipy and statsmodels implement most of the important tests,
303.
by ivan_ah 7y ago
> [...] the publisher's marketing strategy is nothing special. So true! I'm self publishing for this reason—the 10% of profits as royalty just doesn't make sense... I mean I get it that developmental editing, copy editing,
304.
by ivan_ah 7y ago
You can run the app on localhost (see github link in sibling comment). Here is also another useful reference for LaTeX symbols: http://tug.ctan.org/info/symbols/comprehensive/symbols-lette...
305.
by ivan_ah 7y ago
This summer there was a "reading group" at my university about physics foundations based on watching the videos from this lecture series on Scientific Realism https://www.youtube.com/playlist?list=PLtIs3eEC6pzL1v_h
306.
by ivan_ah 7y ago
Could someone with knowledge of both COQ and LEAN provide more info/comparison? Are they based on the same foundation or are there differences? Might it be possible to automatically convert proofs between the two? What about "stra
307.
by ivan_ah 7y ago
We can easily verify using SymPy on live.sympy.org: https://live.sympy.org/?evaluate=(-80538738812075974)**3%20%...
308.
by ivan_ah 7y ago
Here is a direct link to the paper from 2017: https://www.frontiersin.org/articles/10.3389/fncom.2017.0004... (paper has 102 citations according to google scholar see https://scholar.google.com/sc
309.
by ivan_ah 7y ago
> the information about what collided and when is carried away by the radiation This is where the thermal nature of the radiation emitted by the black hole comes in. Physicist use the term "thermal radiation" to mean it is in
310.
by ivan_ah 7y ago
Check out gource, which does something similar https://gource.io/ (git history visualization)
311.
by ivan_ah 7y ago
It's the same topics as first-year linear algebra, but now done "for real" using algorithms that scale. Part I: SVD = bread and butter in industry with lots of applications in ML and stats, engineering stuff too, see https:&
312.
by ivan_ah 7y ago
More recently, the Snorkel framework has been released, which seems to be solving the dataset-melding problem too: https://www.snorkel.org/ https://github.com/snorkel-team/snorkel
313.
by ivan_ah 7y ago
In other words, practice makes perfect ;) I found the use of the logarithmic scale to be a particularly useful idea—it's true that improvements in skill take longer and longer in the more advanced levels.
314.
by ivan_ah 7y ago
Very good instrumentals to use for your video projects, etc. Also makes for good background music for working. sample tune, Bowers & Wilkins: https://t.umblr.com/redirect?z=http%3A%2F%2Ffeeds.soundcloud... License says
315.
Unminus – free premium music for your projects(unminus.com)
5 points by ivan_ah 7y ago|1 comments
316.
by ivan_ah 7y ago
If you're interested in learning more about the "early days" of SV, check out this video by Steve Blank: https://www.youtube.com/watch?v=ZTC_RxWN_xo [1 hour] Lots of it goes back to WWII and development of ad
317.
by ivan_ah 7y ago
I believe the Alex voice is not synth, but actual phoneme voice files of a real human. When I look in `/System/Library/Speech/Voices` and run `du -sh *` I see Alex.SpeechVoice is 877MB so godda be something wav-like in t
318.
by ivan_ah 7y ago
> Although, I imagine the quality of the reader has greatly improved since 1984. Exactly. I've tries a number of text-to-speech options before and found the voicing to be almost unusable, but the Alex voice in macOS (at least since
319.
by ivan_ah 7y ago
Did y'all know macOS has a built-in text-to-speech system that is pretty decent? Go to System Preferences > Accessibility > Speech and set a keyboard shortcut, then you can turn any piece of text into an audio book by simply sele
320.
by ivan_ah 7y ago
This is part 3 of a 3 blog post series: Part 1: https://hollymath.dreamwidth.org/981594.html (has nice intro; good place to start) Part 2: https://hollymath.dreamwidth.org/983513.html Part 3: https:/&
321.
by ivan_ah 7y ago
Thx for posting this. Very interesting dataset: https://bigquery.cloud.google.com/table/patents-public-data:... Do you know by any chance how the `embedding_v1` vectors were generated? The data field description says &
322.
by ivan_ah 7y ago
I like the comparison between learning the language of math and learning a foreign language. In both cases, learning the language gives you increased access to more culture, history, knowledge, and means to express yourself. This is a good
323.
by ivan_ah 7y ago
Here is the "map" the sample game shown: https://github.com/kalbfled/pncgame/blob/master/testgame/tes... super simple and self evident
324.
by ivan_ah 7y ago
Yeah I didn't see any mention of licensing. Is this CC BY-NC? CC0? Your guess is my guess. Context: I work in the OER space and I'm interested in the material, but can only use it if there is an explicit open license attached to i
325.
by ivan_ah 7y ago
One of the better ones in that space is https://www.softcover.io/ The build pipeline looks like: .md --> .tex --> .pdf/.html/.epub/.mobi/.html or you can start directly from the .tex .
326.
by ivan_ah 7y ago
> it was the economist that suggested an annual tax based on property value Is this what you're referring to https://www.economist.com/leaders/2018/08/09/overhaul-tax-fo... ? Very interesting id
327.
by ivan_ah 7y ago
I tried something along these lines based on the computer algebra system SymPy [1,2]. The syntax is Python so feels a little weird for doing math, but the SymPy function names match very closely to the math verbs like solve, expand, simplif
328.
by ivan_ah 7y ago
+1 for the question about a "standard" or recommended way to parse and generate .tf files from a script. I have two use cases in mind: Use case 1: need to have a reproducible way to generate terraform folders for multiple almost-i
329.
by ivan_ah 7y ago
Here is the "main loop" for the simulation: https://github.com/PavelDoGreat/WebGL-Fluid-Simulation/blob/... I don't know enough about fluid dynamics to be the judge, but it seems like the engin
330.
by ivan_ah 7y ago
This is beautiful: succinct and powerful. Back in the day there was a similar js bookmarklet that could be used to export all your friends' contacts (name + emails) so you can leave without worrying that you'll be missing out on

More ›