gliese1337

11 ms·

91.
by gliese1337 7y ago
That is more than just your intuition--with minor tweaking, it is a theorem that was taught in my Programming Language Theory course when I was in college! The tweak is that any safe type system will preclude programs that are otherwise s
92.
by gliese1337 7y ago
I am working on a card game based on braid theory (in the braid group B_4). I am also working on a private journaling app, with a mild mental-health focus, aimed at teenagers; the idea is that if your parents want to have access to your pho
93.
by gliese1337 7y ago
I would very much like that for Android. It seems much better than the tablet drawing app my kids currently use.
94.
by gliese1337 7y ago
Are you familiar with termbases? There is in fact a whole industry with standardized data formats dedicated to solving exactly that problem.
95.
by gliese1337 7y ago
Except... it's not. It's still bundled, just differently. A la carte would be what Amazon Prime Video does with all of the stuff that isn't free--you just pay for the thing you actually watch.
96.
by gliese1337 7y ago
Why would you expect to know of any candidates? It's not like we've done a ton of research into complex polymer chemistry in liquid iron solvents.
97.
by gliese1337 7y ago
Sorry, that's where my expertise runs out. I could tell you all about analyzing the linguistic structure of the text, but my experience with audio processing is limited to reading spectrograms and trusting other people's ASR tools
98.
by gliese1337 7y ago
Interesting....
99.
by gliese1337 7y ago
I actually have very little direct experience with automated forced alignment; I have enough experience in the space to know that naive approaches suck, but back when my boss was paying people to do manual alignment most of the effort went
100.
by gliese1337 7y ago
If it's rendering locally, at least the browser is sandboxed. And if it's rendering server-side, then at worst someone else's machine gets compromised instead of yours.
101.
by gliese1337 7y ago
Ah! It's not even trying to do word or syllable-level alignment. Well, that makes the problem considerably more error-tolerant. And they specifically call out ASR-based aligners as more accurate, so that makes me feel good about myse
102.
by gliese1337 7y ago
Alternately, since you say speech recognition isn't "even close", I might try going the other way--doing text-to-speech on the audio stream, attempting to align the two speech tracks, and the back-porting the timecodes from a
103.
by gliese1337 7y ago
The way I'd do it is to use an existing speech recognition system with a large number of language models available (like CMU Sphinx--but probably not CMU Sphinx, 'cause I don't think there are decent openly-available models f
104.
by gliese1337 7y ago
Examining the source, it looks like alignment is done via an HTML form data submission to ' https://api.audioai.online/split-align' . Manually visiting that website, however, is not very informative... the entire te
105.
by gliese1337 7y ago
Having worked for many years in a linguistics research lab where we spent a lot of money paying people to edit and align subtitles and audio transcripts, and having largely written what was at the time the most sophisticated subtitle-and-tr
106.
by gliese1337 7y ago
Why do I have to swipe an access card and display a name badge in my building, when all the important data is outside the building? So that angry customers can't walk in the front door, take the elevator up to the fifth floor
107.
by gliese1337 7y ago
As far as I'm concerned, JavaScript (or at least JScript, MicroSoft's proprietary reimagining) replaced VBA 13 years ago. I haven't had to do anything programming with Excel for rather a long while, but way back in 2007 I was
108.
by gliese1337 7y ago
Maybe they're smarter and more moral than anybody ever suspected, and are hoping for the Streisand Effect to come into play?
109.
by gliese1337 7y ago
Why can they not be arranged as numbers into rows and columns, and why does not being able to represent them as numbers matter? Stats and ML people have been dealing with non-numeric data for a long time, after all.
110.
by gliese1337 7y ago
You really need language support to make recursion the best practical solution for most problems. However, even when working in "normal" languages like C#, I find that recursion has utility in designing solutions--it is often easi
111.
by gliese1337 7y ago
Which then makes it more economical to produce your own electricity so more systems get installed, until the power grid just shuts down entirely and everyone is self sufficient....
112.
by gliese1337 7y ago
Well, then you weren't in a maze to begin with. Escaping immoral labyrinths is a whole other problem!
113.
by gliese1337 7y ago
That's hardly the most straightforward or intuitive decomposition. In particular, it makes simple monoplanar rotations overly complicated, in exchange for making isoclinic rotations super simple--while rotors handle monoplanar rotation
114.
by gliese1337 7y ago
That would make sense, but according to the spec sheets the pins are not repeated--only two of them are functional, the rest are dead.
115.
by gliese1337 7y ago
What is the point of a 40-pin connector when the spec sheet only indicates that two of them are used (exactly as one would expect for a battery)?
116.
by gliese1337 7y ago
Yes, it does; and no, they don't.
117.
by gliese1337 7y ago
Who has time for that? Me. And, presumably, Marc ten Bosch. When you want to make a game that uses full 4D graphics, existing libraries just don't cut it, and writing GPU code to understand arbitrary-dimensional rotors is worth it.
118.
by gliese1337 7y ago
Why would they need to be able to put it into words in an inner monologue in order to form the thought? The fact that it is possible to translate sentences into different languages should make it clear that the information content is not th
119.
by gliese1337 7y ago
The dataset collection is going to be work for someone .
120.
by gliese1337 7y ago
Online speech recognition for English . The framework should be generalizable, but the models they are making available are only for English. Actually adapting this for any other language would be a huge amount of additional work.

More ›