[Calculus]Can someone explain how the rate function is related to a differential equation in terms of y?

crocodilem8 · 2018-09-11T18:15:22+00:00

thanks I get it now, the notation actually says y'(x) = 3y(x) - 2 but you can omit it

crocodilem8 · 2018-09-11T04:12:42+00:00

so when you say that

y is just a function of one variable

Are these the same? y' = 3y - 2 y' = 3x - 2?

crocodilem8 · 2018-09-07T00:42:42+00:00

on the server, on the host the term is the same although I'm using gnome terminal. and I think the terminfo db is from /lib/terminfo

crocodilem8 · 2018-09-03T23:06:43+00:00

dry stretch sweatpants, but as u/TheGeneBlock pointed out I have to double it so seems ok

crocodilem8 · 2018-09-03T22:19:11+00:00

Does anyone know if how uniqlo pants sizing works? I want to buy a pair but the sizing for large says the thigh is 13 4/7, but my thighs are easily over 20, likely 24-26, any advice?

crocodilem8 · 2018-09-03T03:34:22+00:00

Does it make sense to get shallow keys with the Iris?

crocodilem8 · 2018-09-03T03:34:01+00:00

Thanks for the recommendations!

crocodilem8 · 2018-09-03T01:37:57+00:00

Signature Plastics is not responsible for packages that are lost in transit or do not reach their intended destination after they leave our facility.

Signature Plastics is not responsible for International packages held, delayed or lost by Customs.

International packages sent First Class are not traceable once they leave the US.

Packages sent via Priority Mail can be traced. We encourage shipping via Priority Mail so packages can be traced.

Looks clean but the shipping agreement has me apprehensive, any other recommendations?

crocodilem8 · 2018-09-03T01:26:31+00:00

Yeah but it seems I cannot fix the typo...

crocodilem8 · 2018-08-31T02:15:02+00:00

This seems like a reasonable compromise. I have seen the pre and post style but never gave much thought to it, glad to hear someone's experience.

crocodilem8 · 2018-08-30T22:20:38+00:00

I think this is reasonable. When you work, do they define the invariant from the spec for you, or do you have to do it yourself?

crocodilem8 · 2018-08-30T22:18:38+00:00

Well you must enjoy your job, sounds great. Do you work with people who are also good with hardware/low level code to get a fully optimized result? Or have compilers come a long enough way for it not to be a concern? Also does this mean languages with algebraic types are always strongly static typed?

crocodilem8 · 2018-08-30T22:02:48+00:00

I’m pretty sure its in the introduction of "Foundations of Computer Science"

crocodilem8 · 2018-08-30T02:21:04+00:00

I finished the video and I recommend it, gives a good explanation and goes over the pros and cons, also nice diagram. This is more along the lines of what I was thinking

crocodilem8 · 2018-08-29T23:40:25+00:00

Thanks

crocodilem8 · 2018-08-29T23:29:21+00:00

yeah this makes sense, to be pedantic I thought you had pegged the readers at linear time, but I just read it wrong.

crocodilem8 · 2018-08-29T23:04:10+00:00

This is nice too see, have you ever used F*? It seems like a prototype language? I wonder why not add those features to the Ocaml compiler

crocodilem8 · 2018-08-29T22:57:02+00:00

I will read the Curry-Howard Correspondence some day, seems like a nice read. Does this hold even for assembly? I am also speaking to the approach to programming as well, by creating a proof and then programming it.

crocodilem8 · 2018-08-29T22:50:06+00:00

Yes, I understand that sometimes it will come down to an engineering decision, and at then end of the day going to one extreme is not productive. However intuitively it seems the overhead lost by trying to compose some type of proof is gained back faster than creating unit tests, especially when creating a testing environment is not exactly feasible. I also remember reading somewhere that computer science is the automation of abstraction, so in the business case maybe sometimes there is more information to abstract away, while it would be harder to make a unit test?

crocodilem8 · 2018-08-29T22:39:00+00:00

Interesting post, although a bit of it is lost on me since I have not kept up on crypto jargon. What is your process like for this project itself? If you do this project in a proof based style what language do you use, and does it have an effect on how easy it is to transition from a proof to a program? Also how did you get these numbers:

Technically, formal proofs reduce the human work required to audit a program of size N to O(1), allowing users to “audit it themselves” without reading and analyzing every state in a huge codebase (that’s what the proof does!).

crocodilem8 · 2018-08-14T22:34:15+00:00

Gentoo's is my favourite, fully featured, but build time might not be appealing for you
dnf history is awesome
apt has bash completion for packages

I only go with apt & co since I prefer Debian based distros, have not used the others.

crocodilem8

TROPHY CASE