I mostly use Laravel in my projects. Laravel Boost and the PAO package by Nuno Maduro are awesome. One makes it use make commands for example, the other reduces output for tests and errors.
You are clearly overpaying for your groceries. I can cook for a week from the difference.
If there wasn't a significant difference, they would offer 2x Max, the demand is there. But they don't. Clearly, their strategy works on fanboys like you.
> And the consensus among professional translators is that MTPE only saves time if you're willing to accept a half-assed result.
I have no particular interest in translation, but clearly when the person saying X is bad depends financially on you not buying X, you must take their word with a grain of salt.
They say "if" it's a new work, then it might not be copyrightable, I guess. You suppose that it's still the original work, and hence it's still got that copyright.
I think they are rhetorically asking if your position is correct.
It is not clear to me that keeping prompts/conversations at something like this level of granularity is a _bad_ idea, nor that it's a good one. My initial response is that, while it seems cute, I can't really imagine myself reading it in most cases. Perhaps though you'd end up using it exactly when you're struggling to understand some code, the blame is unclear, the commit message is garbage, and no one remembers which ticket spawned it.
With λProlog in particular I think it probably finds most of its use in specifying and reasoning about systems/languages/logics, e.g. with Abella. I don't think many people are running it in production as an implementation language.
I once studied proof theory for a summer at a school in Paris and we talked about type inference and theorem proving all the time in casual conversation, over beers, in the park. It was glorious.
Being a student is so much fun, and we often waste it, or at least don't value it as much as we ought. 20 years later I'd love to go back.
> Being a student is so much fun, and we often waste it, or at least don't value it as much as we ought. 20 years later I'd love to go back.
An aside, but some years ago I watched the demo 1995 by Kewlers and mfx[1][2] for the first time and had a visceral reaction precisely due to that, thinking back to my teen years tinkering on my dad's computer, trying to figure out 3D rendering and other effects inspired by demos like Second Reality[3] or Dope[4].
I seldom become emotional but that 1995 demo really brought me back. It was a struggle, but the hours of carefree work brought the joy of figuring things out and getting it to work.
These days it's seldom I can immerse myself for hours upon hours in some pet project. So I just look things up on the internet. It just doesn't feel the same...
Any highlights you can share here? I'm always looking to improve me setup.
reply