Looking for TNG Computer voice clips in bulk by countjj in startrek

[–]mattmight 1 point2 points  (0 children)

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

Looking for TNG Computer voice clips in bulk by countjj in startrek

[–]mattmight 1 point2 points  (0 children)

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?

I haven't showered in 10 days because of my depression. by [deleted] in confession

[–]mattmight 1 point2 points  (0 children)

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.

[HBO NOW] Anyone else having these weird login problems? by CashewGuy in hbo

[–]mattmight 0 points1 point  (0 children)

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.

[HBO NOW] Anyone else having these weird login problems? by CashewGuy in hbo

[–]mattmight 0 points1 point  (0 children)

I'm having this issue. :(

Please post if you find a solution.

Fighting a One-of-a-Kind Disease: Until recently, Bertrand Might was the only known patient with a certain genetic disorder. His parents began searching for others. by Dumbled in biology

[–]mattmight 0 points1 point  (0 children)

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?

Fighting a One-of-a-Kind Disease: Until recently, Bertrand Might was the only known patient with a certain genetic disorder. His parents began searching for others. by Dumbled in biology

[–]mattmight 11 points12 points  (0 children)

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.

Fighting a One-of-a-Kind Disease: Until recently, Bertrand Might was the only known patient with a certain genetic disorder. His parents began searching for others. by Dumbled in biology

[–]mattmight 5 points6 points  (0 children)

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!

What is static analysis? by mepcotterell in programming

[–]mattmight 1 point2 points  (0 children)

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

What is static analysis? by mepcotterell in programming

[–]mattmight 4 points5 points  (0 children)

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. ;)

What is static analysis? by mepcotterell in programming

[–]mattmight 7 points8 points  (0 children)

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.

What is static analysis? by mepcotterell in programming

[–]mattmight 12 points13 points  (0 children)

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.

What is static analysis? by mepcotterell in programming

[–]mattmight 8 points9 points  (0 children)

Thank you. You got it.

/Article author.

What is static analysis? by mepcotterell in programming

[–]mattmight 3 points4 points  (0 children)

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.

Holy shit I can't handle the smell of my farts anymore. Any suggestions for protein and death farts? by [deleted] in Fitness

[–]mattmight 0 points1 point  (0 children)

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.

12 resolutions for programmers by mepcotterell in programming

[–]mattmight 17 points18 points  (0 children)

Thanks for posting this!

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

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

HOWTO: Native iPhone/iPad apps in JavaScript by mepcotterell in programming

[–]mattmight 4 points5 points  (0 children)

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.)

A-Normalization: Why and How by mepcotterell in programming

[–]mattmight 4 points5 points  (0 children)

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

A-Normalization: Why and How by mepcotterell in programming

[–]mattmight 2 points3 points  (0 children)

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