mkorfmann
mkorfmann on Hacker News
Posted by
mkorfmann on Thursday August 29, 2019 @06:20PM
from the reddit.com dept.
Ligatures supposedly heal cancer. My grandfather built a tool in his garden with his bare hands and llligatures
Posted by
mkorfmann on Monday August 26, 2019 @12:30AM
from the medium.com dept.
Then it is also almost like a two-factor definition. Once it is defined through the symbol and twice through the easy, canonical easy language explanation. The easy language explanation must also be specced then.
With a good code-editor, these complex-looking symbols can also always be shown in an easier language, on-demand and opt-in.
Complex-looking symbols can also make things easier.
Do you want to stare at 100000LOC of if/else, for and function declaration statements? Me neither.
You can't change your username anymore, but this is not hell, brother. I also won't be able to delete this message anymore, even if it's stupid.
But I know that and you could know that I know that. This is HN, not Quora.
Best would be, if it's a plugin tailed for programming or making changes to code.
I want to integrate it here as the next step:
http://ezii-os.herokuapp.com/
Posted by
mkorfmann on Sunday August 25, 2019 @02:45PM
from the self-post dept.
Like, it shows like a horizontal array of buttons (4 or so) and it switches what buttons to show intelligently
Maybe the world is more in discord atm, not slacking?
Posted by
mkorfmann on Sunday August 25, 2019 @02:44PM
from the show-hn dept.
Everything would be crazy when analyzing how people come to conclusions in trading.
Since you are a member of the 1% who understands this, please help us mumbo dumbos.
No, I can't. Sorry. Maybe I can, if you disclose what companies you are writing code for and not just plain namedropping, but disclaim the actual products you are involved with.
I thought the concept is "ai" websites, why do you write it is sound?
> One of the most interesting properties of Kei is you can combine statics symbols with rewriting rules to create another logic system, like COC. In λΠ-calculus modulo the conversion of terms is available between β-reduction and Γ-Reduction, this means that a type can be changed through a type relation of a rewriting rule. Of course, if there is a well-typed substitution rule σ(x).
Where is the <1% of the world population who can translate this to human-speak, when you need them?
:D
You're too small for them to care, yet.
Are you working a full-time job and doing this as a side hustle?
You must be a pleb. I'm a Jeff Bezos type of guy, no one likes me.
Have you heard of homeless people?
Have you heard of homeless people?
Will your business be viable if you can't even afford Shopify?
but it's not a Trump business
Yeah, but for challenging Amazon, the reason people choose Shopify Payments shouldn't be raw power.
My creds:
Worked in a german shopify partnered agency for ~3 months beginning this year (latori.com)
I place 50 virtual chips on your shop going out of business in the next 2 years.
It doesn't.
Seeing this point remembered here will help some, but overall you A. either won't know you're shopping at a shopify.com store or B. you'll not care because the company is too big to fail (Tesla).
Did your problem get resolved now?
Posted by
mkorfmann on Sunday August 04, 2019 @07:42PM
from the show-hn dept.