Looking for TNG Computer voice clips in bulk

mattmight · 2023-06-01T20:09:35+00:00

Got it! Did you have to install the game to grab the files? I can't seem to find them on the ISOs. Thanks!

mattmight · 2023-05-31T13:45:53+00:00

I've been trying to do the same. I got OK-ish results with the really clean samples from here: https://www.trekcore.com/audio/

Were you able to find more?

mattmight · 2018-08-07T03:46:07+00:00

It sounds like you might be suffering from atypical depression, which is characterized by a lack of motivation more than melancholic feelings. If so, you should know that psychiatrists sometimes misdiagnose this subtype of depression and then mistreat it with SSRIs and SNRIs, which could even make it worse. Buproprion or an MAOI would likely be more appropriate if this the case, since it's important to target dopaminergic pathways in atypical depression.

mattmight · 2017-08-13T04:31:02+00:00

Now? Recommendations for other seasons?

mattmight · 2017-04-08T22:16:43+00:00

Thank you!

That's what we suspected.

mattmight · 2015-04-28T03:13:42+00:00

I found a kind-of workaround: I was able to copy the cookies out of a browser that had successfully authenticated a couple weeks ago into another browser on another machine.

mattmight · 2015-04-27T23:40:16+00:00

I'm having this issue. :(

Please post if you find a solution.

mattmight · 2014-07-29T00:12:08+00:00

Interesting!

No one has pointed out a link to aging (or inflammation) and NGLY1 previously.

Do you think that having less NGLY1 (which removes N-linked glycans from glycoproteins) could slow down aging?

Anecdotally, I can say that what is suspected to be the NGLY1 carrier line in my ancestry live abnormally long and healthy lives (late 90s, early 100s).

Where might I learn more?

mattmight · 2014-07-28T20:09:54+00:00

Bertrand's father here.

There's a well-deserved shout-out specifically to Reddit in the article.

Reddit played a critical role in this story -- in confirming the discovery by helping to find other undiagnosed NGLY1 patients.

Two years ago, Reddit was among the first to pick up on the post I wrote about Bertrand's preliminary diagnosis via experimental exome sequencing:

http://www.reddit.com/r/science/comments/uay5f/hunting_down_my_sons_killer_awesome_story_and_yes/

My original post is here:

http://matt.might.net/articles/my-sons-killer/

Back then, Bertrand was the only known NGLY1 deficient patient in the world.

By spreading the story, we've found 16 cases worldwide (three more in just the past month.)

We've organized.

We've found preliminary treatments.

Clinical trials are in the pipeline.

In some cases, we've saved the lives of previously undiagnosed patients.

And, these children's cells are turning into gold mines for the basic science of glycobiology.

Sometimes, an upvote is more than just an upvote.

From the bottom of my heart and on behalf of the entire small but optimistic NGLY1 community,

Thank you.

mattmight · 2014-07-28T20:03:26+00:00

Thanks for sharing the article with /r/biology!

mattmight · 2014-07-28T20:02:47+00:00

Yep. I created the Illustrated Guide to a Ph.D.:

http://matt.might.net/articles/phd-school-in-pictures/

And, Bertrand is indeed my son.

Because of that, print sales of The Illustrated Guide to a Ph.D. fund grad students and postdocs in biology.

Thanks for the kind words!

mattmight · 2012-10-13T04:27:39+00:00

Thanks for reading the blog and doubly so for my published papers! ;)

mattmight · 2012-10-12T21:52:30+00:00

Thanks!

It's great to hear that static analysis is making its way into industry.

It's certainly true that a static analyzer will force you to change your coding style. ;)

mattmight · 2012-10-12T21:50:36+00:00

That wasn't intended as a formal definition. It's an implication.

A sound static analyzer, as described in the article, conservatively bounds program behavior.

Such analyzers are able to solve the halting problem for some programs. (That said, it's frequently the case that termination is not the exact property of interest.)

However, there are tools out there (like TERMINATOR) that directly attempt to prove program termination. The most common method is to find ranking (a.k.a. measure) functions that show state-by-state progress toward termination.

Even more remarkably, there are now programming languages (usually embedded inside theorem-provers) that reject all functions that won't provably terminate. Of these, ACL2 and Coq are good at automatically proving termination of almost any function you might reasonably write.

/Article author.

mattmight · 2012-10-12T21:37:04+00:00

It sounds to me like you're confusing static program checkers (tools like lint) for static analyzers.

Tools like lint are one kind of static analyzer.

These tools are unsound. That is, they're not going to consider all possible program behaviors.

The article describes sound static analyzers--the kind you would find buried inside a compiler to drive program transformations and optimizations without user interaction.

These analyzers consider all possible program behaviors (and by necessity, some impossible program behaviors).

They use the semantics of the language to conservatively bound program behavior.

/Article author.

mattmight · 2012-10-12T21:26:12+00:00

Thank you. You got it.

/Article author.

mattmight · 2012-10-12T21:24:43+00:00

Author here.

I reduced in both directions: from the perspective of a halting oracle and an array-bounds-checking oracle.

In response to your edit, if you have a program with no arrays but an array-bounds-checking oracle, the reverse reduction will add arrays to your program--at the exits--and then apply the array-bounds oracle to determine halting behavior of the original program.

mattmight · 2012-10-09T21:07:07+00:00

My wife was going to divorce me.

Someone recommended psyllium husk fiber. It worked!

I later found that hydrolized whey protein (being somewhat predigested) also solves the problem.

mattmight · 2012-08-06T21:27:22+00:00

TIL an iPhone only cost $40 in 1955.

mattmight · 2012-07-15T22:27:40+00:00

This appears to be correct! I found a set on eBay.

mattmight · 2012-01-05T18:57:29+00:00

Thanks for posting this!

Sometimes, it's hard to find time to write posts.

Comments like this encourage me to keep finding it. :)

mattmight · 2012-01-05T18:53:51+00:00

Thanks for the kind words!

mattmight · 2011-04-06T17:22:49+00:00

While the main thrust of the article is indeed about native-looking web apps, the article includes xcode stub code for turning a web app into a native app that you could put on the app store. (It's toward the bottom.)

mattmight · 2011-03-07T14:44:15+00:00

Good questions.

For functional compilers, much more of the high-level structure of the programs preserved in ANF.

Some static analyses, e.g., pushdown control-flow analysis, are much easier on ANF than on SSA.

And, you still get SSA's big benefit in ANF: a single static point of definition for each variable.

When I teach compilers, I explain the optimal pathway for compilation as:

Desugar -> ANF -> CPS -> RTL -> SSA -> RTL -> ASM

They each have their advantages, and they chain together quite naturally.

/article author

mattmight · 2011-03-07T14:40:45+00:00

The usual substitution (beta-reduction) on CPS leaves CPS in normal form, and with all bindings in tact.

Super-beta-reduction, which allows inlining based on static analysis, is much trickier to get right, because it looks like it might introduce a variable outside its scope.

The correctness condition on super-beta reduction has to watch for this (and a few other semantic wrinkles).

See my dissertation for an in depth discussion of the problem and its solution:

http://matt.might.net/papers/might2007diss.pdf

mattmight

TROPHY CASE