HNHacker News
TopNewBestAskShowJobs

mkorfmann

108 karma · joined April 4, 2011

banal-data.herokuapp.coom
submissionscomments
mkorfmann··on Show HN: Ji Language – Looking for Feedback
Ligatures supposedly heal cancer. My grandfather built a tool in his garden with his bare hands and llligatures
mkorfmann··on Show HN: Ji Language – Looking for Feedback
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.
mkorfmann··on Show HN: Ji Language – Looking for Feedback
With a good code-editor, these complex-looking symbols can also always be shown in an easier language, on-demand and opt-in.
mkorfmann··on Show HN: Ji Language – Looking for Feedback
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.

mkorfmann··on What is a plugin for websites, that shows buttons intelligently?
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.

mkorfmann··on What is a plugin for websites, that shows buttons intelligently?
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/

mkorfmann··on Ask HN: Why has Slack’s stock price been tumbling?
Maybe the world is more in discord atm, not slacking?
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Everything would be crazy when analyzing how people come to conclusions in trading.
mkorfmann··on Kei – A small and expressive dependent language
Since you are a member of the 1% who understands this, please help us mumbo dumbos.
mkorfmann··on Show HN: Sourcery – get a free, self-updating website
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.
mkorfmann··on Show HN: Sourcery – get a free, self-updating website
I thought the concept is "ai" websites, why do you write it is sound?
mkorfmann··on Kei – A small and expressive dependent language
> 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?

mkorfmann··on Aussie ISV buys ads to wake up Google support
:D

You're too small for them to care, yet.

Are you working a full-time job and doing this as a side hustle?

mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
You must be a pleb. I'm a Jeff Bezos type of guy, no one likes me.
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Have you heard of homeless people?
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Have you heard of homeless people?
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Will your business be viable if you can't even afford Shopify?
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
but it's not a Trump business
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
A mistake?
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Yeah, but for challenging Amazon, the reason people choose Shopify Payments shouldn't be raw power.
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
My creds:

Worked in a german shopify partnered agency for ~3 months beginning this year (latori.com)

mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
Yes
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
I place 50 virtual chips on your shop going out of business in the next 2 years.
mkorfmann··on Now Bigger Than eBay, Shopify Sets Its Sights on Amazon
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).

mkorfmann··on Aussie ISV buys ads to wake up Google support
Did your problem get resolved now?
mkorfmann··on Artichoke – A Ruby made with Rust
Is it possible to install ruby gems in the browser playground? So, Does ruby gem install via web assembly runtime work?
mkorfmann··on I was sexually assaulted at Equinox and banned for reporting it
Why did this get flagged?
mkorfmann··on Building a Music Recommender with Deep Learning
I'd love to see an analysis of what exactly these embeddings represent concerning the musical features of a sound snippet.
mkorfmann··on Ruby on Rails is out: major coding bootcamp ditches it, due to waning interest
It dropped from 9th to 12th place.
mkorfmann··on Facebook’s automatic alt-text for images
For a captcha to function properly, they already need to have this data I guess.
Page 1 of 3Next →