HNHacker News
TopNewBestAskShowJobs

skdotdan

338 karma · joined December 25, 2016

submissionscomments
skdotdan··on Rethinking the filesystem as global mutable state, the root of all evil
One thing that has always astounded me is the fact that the following script can be executed without any special permission (apart from execution, read and write):

    rm -rf ~
A key to a more modern file system would be a much more granular permission systems apart from "rwx" for a certain group of users.
skdotdan··on An Explicitly Relational Neural Network Architecture
Thanks!
skdotdan··on An Explicitly Relational Neural Network Architecture
It looks super interesting, thanks! If I have any questions I'll let you know ;)

(By the way, probably you have the coolest job on earth)

skdotdan··on An Explicitly Relational Neural Network Architecture
Thanks, this direction looks promising and makes a lot of sense.
skdotdan··on An Explicitly Relational Neural Network Architecture
Many thanks for your answer!
skdotdan··on An Explicitly Relational Neural Network Architecture
Just read your comment, it looks a very promising direction. I'd be glad to hear your response to my comment: https://news.ycombinator.com/item?id=20074750
skdotdan··on An Explicitly Relational Neural Network Architecture
Tangentially, I have a concern with neural-symbolic hybrids, surely someone can address it. Do you think that symbols produced by a neural network (in a complex enough task) will ever be comprehensible by a human? Because my intuition here is that the symbols will look super complex and even random, and actually they will be just a combination that "just works" but we won't know why, just as other deep learnng models. Instead of arbitrary floats (weights), we will have arbitrary chains of symbols.
skdotdan··on Diffeq.jl v6.4: Full GPU ODEs, Neural ODEs with Batching on GPUs, and More
Noob question, having played around with CUDA and NVCC a bit: in languages such as Julia or Python, why does every algorithm have to be specifically adapted to be able to run on GPUs? Couldn't algorithms be written from higher level building blocks? Eg. implement map, reduce and scanl in CUDA/OpenCL, and have a default parameter like backend='cpu' than can be set to 'gpu'.
skdotdan··on Ask HN: Would you pay for a web service that lets you manage SSH sessions?
Check out: https://commando.io, it is essentialy the SaaS you are describing.

I'd pay for your service provided it had the following improvement over Commando.io: VPN support. Most SSH accounts I manage do require VPN. I don't know if it would be secure/feasible for a web service.

skdotdan··on Deep Learning: A Critical Appraisal (2018)
Sorry, that's right.
skdotdan··on Deep Learning: A Critical Appraisal (2018)
In practice, computers and many programming languages are considered Turing complete because arbitrary (yet finite, obviously) amounts of memory can be added if needed. Eg. Java is considered Turing complete even if no JVM instance will ever be able to have access to infinite memory.

Theoretically, you are right. But does strict Turing completeness matter, in practice? I don't have the required knowledge to counter-argument your last point.

skdotdan··on Deep Learning: A Critical Appraisal (2018)
If computers are Turing complete, then humans are, too. Computers do not have infinite memory, yet they are usually considered Turing complete because theoretically you could keep adding additional memory when needed. The same holds for humans: you can use paper as tape, or even in HDD (eg. write down intermediate results in a digital file).
skdotdan··on Deep Learning: A Critical Appraisal (2018)
Couldn't agree more.
skdotdan··on Show HN: My first open-source project release – RandomJson
Actually, it's Kotlin.
skdotdan··on Generative Modeling with Sparse Transformers
That's really impressive!

However, I'm a bit disappointed with the code release. I was expecting the full source code and setup.

skdotdan··on Generative Modeling with Sparse Transformers
Are Transformers based on convolutions?
skdotdan··on Python overtakes JavaScript as most questioned language on StackOverflow
I mostly agree with you, but still think that Python could be way simpler and equally powerful. I'd love to see a language similar to Python, but with named structs instead of classes, for instance.
skdotdan··on Show HN: Should you buy a house and rent it out?
That's right, but it's like buying stocks/funds. It's not the same investing in S&P500 Vanguard index fund than investing in an active index fund with high commissions and bad performance. You have to find the right house to invest in (eg. a relatively new flat will probably not give many problems).
skdotdan··on Show HN: Should you buy a house and rent it out?
I see, probably the decision on investing in real estate should depend on the legislation of your country of living.
skdotdan··on Show HN: Should you buy a house and rent it out?
The middle class people I know who invested in real estate (say, buying one flat to rent it out) would counter your argument with the following two points (not implying that I'm in favor of investing in real estate):

1 - It does not imply that much work. Not even close. For instance, my uncle and aunt rented a flat for 6 years to the same family, and in that time my uncle had to go there about 1-2 times for minor problems, and I don't think it's an exception. There is a bit of work at the time of finding new tenants, but in the case of the people I know, it's like an average of 4 hours of work a year at the very, very most.

2 - (and most importantly): middle class people who invest in real estate are keen on having a rent. Stocks don't necessarily give you that. They see buying a house and renting it out as a way of having a monthly recurrent source of income.

skdotdan··on Computational Mathematics with SageMath (2018)
I love Sage! But, which was the rationale to build Sage as a standalone programming language/environment instead of being more integrated into Python? I assume syntax, basically?
skdotdan··on Can AI Write Pop Songs?
Pop evolutes. With machine learning we can create, say, every single combination of reggaeton, but every decade new styles appear. AI leveraging real creation requires AGI.
skdotdan··on Ask HN: Best tech Twitter accounts to follow
@BenedictEvans
skdotdan··on Show HN: Tesoro – Personal internet archive
Nice. How are you planning to pay the servers? Your service seems quite storage-intensive.
skdotdan··on Ask HN: What projects are 20 years ahead of their time?
SpaceX. Of course they still need time, work and funding. But they have a working product ahead of their competitors that clearly shows a path to the future of space exploration and colonization.
skdotdan··on Chris Lattner: “Turns out that Tesla isn't a good fit for me”
Is this serious??? I don't get why he is leaving the company that soon, nor what it announces it on Twitter before getting a new job.
skdotdan··on Why is cycling so popular in the Netherlands?
Netherlands is flat. A friendly reminder to some politicians.
skdotdan··on Show HN: Password-protect a static HTML page
Seems very cool, but I don't see the use-case. Anyone can help me?
skdotdan··on Show HN: Get Paid to Build Your Next Side Project
Awesome. Great idea, nice execution.
skdotdan··on Apple Introduces ‘Metal for VR’ in MacOS High Sierra
I thought they would introduce their one VR platform, since they have enough brand/market power and relationship with developers to do so.
← PreviousPage 2 of 8Next →