Gehinnn

39 ms·

301.
by Gehinnn 7y ago
There clearly are problems that are suited very well for TDD and others that aren't. I guess the suitability of TDD depends on how much a feature involves "how" rather than "what": Whenever it is clear what the feat
302.
by Gehinnn 7y ago
What exactly did confuse you? I don't understand how the fading should work, as the visualization is not realtime but rather abstracts time away.
303.
by Gehinnn 7y ago
Thanks ;) I'll keep it in mind! Which operators do you miss most in the demos?
304.
by Gehinnn 7y ago
I can recommend to implement such tools platform independently so that they also run in browsers. Trying out a web tool is much less easier and safer than installing and running a tool locally that could do anything on my computer. If the t
305.
by Gehinnn 7y ago
I somehow have the intrinsic motivation to make things better and to challenge myself. This is why I would never just program UIs which were already designed and ready to implement. I could never work on projects that don't require me
306.
by Gehinnn 7y ago
I thought long about the pros and cons of letting time flow vertically rather than horizontally. In the end, I wanted to have the code editor to the right and the visualizer to the left (code lines are usually short but there are many of th
307.
Show HN: A TypeScript Playground for RX JS(blog.hediet.de)
22 points by Gehinnn 7y ago|7 comments
308.
Show HN: A Typed Playground and Visualizer for RxJS(blog.hediet.de)
4 points by Gehinnn 7y ago|0 comments
309.
by Gehinnn 7y ago
Thanks man ;) Its https://blog.hediet.de/ !
310.
by Gehinnn 7y ago
As my blog is just a personal project, $9 is a little too much for me just for tracking.
311.
by Gehinnn 7y ago
It took a ton of time and a lot of troubleshooting to setup my own Matomo instance, but it's running now ;) Thanks for your input! However, I needed to rewrite some files so that adblockers don't block the tracking mechanism right
312.
by Gehinnn 7y ago
personal blog :)
313.
by Gehinnn 7y ago
I don't have access to the server logs as I intend to use github pages for hosting...
314.
Ask HN: How do you track your blog traffic?
15 points by Gehinnn 7y ago|21 comments
315.
by Gehinnn 7y ago
I am pretty happy with what you can do with Javascript/TypeScript. I implemented a hot reload solution for nodejs a few months ago (@hediet/node-reload): It restarts stack frames automatically when it detects that its function bod
316.
by Gehinnn 7y ago
Is the processed data typed? Can you offer auto completion of data fields based on these types? I also thought quite a couple of times about implementing a data centric, typed shell language. My primary goal was to have a shell where one co
317.
by Gehinnn 7y ago
What is the name of the existing service? I am interested in trying it out :) I also once had the idea of a reverse address book but didn't think many people would use it.
318.
by Gehinnn 8y ago
Some time ago, I've implemented a non visual version of the incredible proof machine: http://hediet.de/projects/predicate-logic-proof-validator/ex... Using the deduction theorem solver, you can easily generat
319.
by Gehinnn 9y ago
Actually, we already know an algorithm that solves an NP complete problem in polynomial time iff P = NP. We can just enumerate all programs and ask them to generate witnesses. As we can decide whether a witness is valid and there is a progr
320.
by Gehinnn 9y ago
When I discussed my discovery with a friend of mine who is doing his PhD, he was not really excited about it and once I showed him the features of TypeScripts typesystem, he immediately explained me why it has to be turing complete. So in t
321.
by Gehinnn 9y ago
The properties that enable TS' type system to be turing complete are recursive types and indexer types. Indexer types allow you to write `{ foo: string }["foo"]` which results in the type `string`.
322.
by Gehinnn 9y ago
This is how the TypeScript team fixed this issue: https://github.com/Microsoft/TypeScript/pull/15011
323.
by Gehinnn 9y ago
In my mentioned bug report I even showed an implementation of a type "IsPrime<T>" which can only be instantiated if T represents a prime number :D
324.
by Gehinnn 9y ago
How does it compare with SQRL? What does SecureLogin better? It like SQRL's QR code approach very much so that you can easily go to a public computer and login by just using pointing your phone to the screen.
325.
by Gehinnn 9y ago
This is truly awesome! But I miss a single source that has everything users and developers need to know. For SQRL to become mainstraim this is absolutely necessary. Right now there is https://www.grc.com/sqrl/sqrl.htm