HackerTrans
TopNewTrendsCommentsPastAskShowJobs

behel

no profile record

comments

behel
·4 years ago·discuss
LosslessCut works great if the keyframes of the video are not too far apart and if you already know where you want to cut. I posted something similar (a web app for automatic silence removal) a few months ago in Show HN: https://www.savvycut.com.

We also use keyframe based cutting for lossless cuts and a smart-cut mode that only re-encodes parts around keyframes (at least for h264 and vp8 codecs). I see that you also experiment with a similar smart-cut feature: https://github.com/mifi/lossless-cut/issues/126. That seems to work quite well if you re-encode with the same parameters as the original but I guess there are a lot of edge cases.
behel
·4 years ago·discuss
There are people like the late Edward Nelson who represent radical formalism: https://web.math.princeton.edu/~nelson/papers/rome.pdf

and question the consistency of the commonly used axiomatic systems like peano arithmetic: https://www.lesswrong.com/posts/gsvQSpeDHKXxjXwuM/edward-nel... (Although his inconsistency proof of PA turned out to be flawed.)

One should also mention Wittgensteins remarks: https://plato.stanford.edu/entries/wittgenstein-mathematics/

And in general thoughts going into the direction of ultrafinitism are quite provocative.

See for example D. Zeilbergs opinions: https://sites.math.rutgers.edu/~zeilberg/OPINIONS.html
behel
·4 years ago·discuss
And I wondered why we suddenly moved to the first page on google for some queries for our app that we posted on Show HN some time ago that competes with kapwing in a small niche (SavvyCut: https://news.ycombinator.com/item?id=28950702). It seems that someone made some room for us. I guess if you rely on googles monopoly to run your business you should not be surprised if they can remove you at will. For us, a lot traffic originates from competing search engines that show us on their first page even without creating any SEO spam.