HNHacker News
TopNewBestAskShowJobs

codekilla

379 karma · joined April 4, 2017

submissionscomments
codekilla··on Getting started on Twitter as a scientist
Don’t
codekilla··on Polymath: A Markup Language for Everything
I’m trying to set up a chat system that would enable category theory diagrams. It seems like webAssembly is the only way. I’ve come across this library before, probably will take the plunge and try to get it to work in a larger chat system.
codekilla··on Reality has a surprising amount of detail (2017)
If you think reality has a lot of detail, ‘unreality’ will blow your mind. (I’m referring to Hilbert space.)
codekilla··on Lessons for a Young Scientist
I hadn't heard of TEE, thanks for the link. We have not yet had the opportunity to collaborate with other agencies (outside of interactions with gov institutions), but are eager to do so.
codekilla··on Lessons for a Young Scientist
I’ve worked a little bit in an idea to enable more citizen science: https://www.eonias.org/

Anyone with research ideas or an idea for a grant proposal please reach out.

codekilla··on Hobbes – A Language and an Embedded JIT Compiler
Which parts?
codekilla··on Amazon Braket – Get Started with Quantum Computing
This is a tricky point, but I would say that D-Wave systems are quantum computers, however they rely on coherence, and not entanglement (coherence is necessary for entanglement, but you don't get entanglement automatically from coherence ), and thus do not have a universal set of quantum gates. D-wave systems thus can gain a quadratic advantage over classical systems, but will not see exponential speedups (likely need entanglement for this).
codekilla··on I Accidentally Uncovered a Nationwide Scam on Airbnb
Yeah, Couchsurfing was incredible.....oh well
codekilla··on Dex: A research language for array processing in the Haskell/ML family
Hobbes is also a very interesting framework. [0]

[0] https://github.com/Morgan-Stanley/hobbes

codekilla··on Linguistics Using Category Theory (2018)
No, in the article I'm referencing he goes further, to concepts. It's here: https://www.amazon.com/What-Category-Theory-Giandomenico-Sic...

I had confused in my mind -tectonic with a phrase from another book I admire: https://www.amazon.com/Between-Two-Ages-Americas-Technetroni.... I guess that's what I get for not double-checking; and you get a random book link :)

codekilla··on Linguistics Using Category Theory (2018)
Jean-Pierre Marquis, in his contribution to the volume "What is Category Theory", wrote: 'Category theory is the Architectronic of Concepts'.

I think this is the best way I have heard it put.

codekilla··on The Legion Parallel Programming System
Thanks for this! I've played around with Chapel a bit before, and certainly agree that the community is very welcoming. I did come across Legion when I was researching languages in the HPC space, but admit that I did not get a chance to really take it for a spin--I shall rectify this! The sequential semantics and automatic partitioning seems quite powerful, really appreciate the explanation.
codekilla··on The Legion Parallel Programming System
Can you compare to Chapel?
codekilla··on Quantum Leaps, Long Assumed to Be Instantaneous, Take Time
I recommend Tales of the Quantum by Art Hobson.
codekilla··on Hollywood Upended as Unions Tell Writers to Fire Agents
Mondragon

Also read stuff by David Ellerman

codekilla··on ‘A toxic culture of overwork’: The graduate student mental health crisis
I've worked in academia for several years, and it's been somewhat discouraging. I've certainly noticed the pressure put on grad students--not fun. I'm someone who is deeply passionate about science/research and have tried to think of things that could be done outside academia to contribute basic scientific research--the hope is more team science and not labs organized around PI feudalships. Anyway, I've been working on https://www.eonias.org/ on the side (still fleshing it out), if anyone is interested in collaborating on writing a grant, please reach out.
codekilla··on DeepMind and Google: the battle to control artificial intelligence
What is your background? I've been studying math, neuroscience , AI, biology etc for a long time. I left quantitative finance (after leaving a math program) to work at a university developing computational biology software. In finance I worked with neural networks well over a decade ago before people in Silicon Valley had even heard of them. Convince me you're not a kook and I'd be glad to have a conversation.
codekilla··on DeepMind and Google: the battle to control artificial intelligence
I can't reply to your last comment...but yes..anything dealing with time series it's easily the best in the world. In a past life long ago I worked in finance and heard about it then. Recently, I was thinking about simulations and how to maybe deal with and analyze the timeseries data and I thought about it. Apparently, NASA is experimenting with it at their Ames Frontier Development Lab, astrophysics data is huge. Anyway, I am just kicking the tires at this point and trying to find ways to implement and play around with it a bit. If you or anyone you know develops an interest, feel free to drop me a line. grantroy _@_ caltech dot edu
codekilla··on DeepMind and Google: the battle to control artificial intelligence
It can? How exactly? I can never wrap my head around this argument from the AGI risk people. I simply cannot in any way follow their logic. Why is this imaginary creature maniacally homicidal? Please give me a good reason for this.

The only correlation I have noticed between intelligence and violence is generally negative (sure this is completely unscientific). Like my friend, who is a pure mathematician, and won't eat animals because it deeply troubles him to harm other animals. Haven't you noticed that smarter people tend to be pacifists? Look at animals like lions....fabulously homicidal. Again, this is a crap analogy, but I'm just making the point that there are other ways of looking at the intelligence/homicide correlation.

Secondly, in all this stupid talk of homicidal AGI's I never hear one good mechanism proposed for how the imaginary creature is going to execute all 7 billion or so of us, it's plan for disposing of our bodies....etc. Oh wait I forgot, it's smarter than us...so of course we wouldn't know...we can't imagine it with our feeble brains. Not to mention that it creates a fabulously efficient source of eternal energy for itself, lives in cyberspace in some magical bit realm--and then here comes the million dollar question: Why the fuck would it spend the energy to execute all of us if it can just ignore us? Sound a lot like god delusion to you?

I really can't stand when people trivialize nuclear war like this. 'It can't kill all of us'. Please just shut up. Will it crumble the fabric of our society? Leading possibly (remember, all AGI people care only about possibility--not even likely realities) to war and famine? Who cares if not ever single human dies, what is the consequence to our world fabric? Let me save you the suspense--it's completely devastating. These arguments coming out of CFAR and the effective altruism movement are so fucking dumb I constantly want to scream.

codekilla··on DeepMind and Google: the battle to control artificial intelligence
I'm interested in using kdb+/q for applications dealing with large scale scientific data. Do you think there would be much interest in the neuroscience community?

I'll add, I work in a lab and have seen the stuff of nightmares myself.

codekilla··on DeepMind and Google: the battle to control artificial intelligence
what sorts of tools are you using to deal with this data?
codekilla··on Show HN: Graph Processing with Postgres and GraphBLAS
What about something like kdb+/q? I realize it is proprietary software, but it is an array language with super fast vector operations designed to operate on distributed data. I was actually thinking about how well graphBLAS might map to this system. I work in academia, so the non-commercial license is applicable, but I see how it might be an issue for some.
codekilla··on OpenAI LP
> And it's not just vocabulary, the successes of RNNs show that grammar is also mostly patterns.

The shape of resultant word strings indeed form patterns. However, matching a pattern is, in fact, different than being able to knowledgeably generate those patterns so they make sense in the context of a human conversation. It has been said that mathematics is so successful because it is contentless. This is a problem for areas that cannot be treated this way.

Go can be described in a contentless (mathematical) way, therefore success is not surprising (maybe to some it was).

It is those things that cannot be described in this manner where 'AGI' (Edit: 'AGI' based on current DL) will consistently fall down. You can see it in the datasets....try to imagine creating a dataset for the machine to 'feel angry'. What are you going to do....show it pictures of pissed off people? This may seem like a silly argument at first, but try to think of other things that might be characteristic of 'GI' that it would be difficult to envision creating a training set for.

codekilla··on OpenAI LP
Why not open this compute up to the greater scientific community? We could use it, not just for AI.
codekilla··on OpenAI LP
> (AGI) — which we define as automated systems that outperform humans at most economically valuable work — [0]

I don't doubt that OpenAI will be doing absolute first class AI research (they are already doing this). It's just that I don't really find this definition of 'GI' compelling, and 'Artificial' really doesn't mean much--just because you didn't find it in a meadow somewhere doesn't mean it doesn't work. So 'A' is a pointless qualification in my opinion.

For me, the important part is what you define 'GI' to be, and I don't like the given definition. What we will have is world class task automation--which is going to be insanely profitable (congrats). But I would prefer not to confuse the idea with HLI(human-level intelligence). See [1] for a good discussion.

They will fail to create AGI--mainly because we have no measurable definition of it. What they care about is how dangerous these systems could potentially be. More than nukes? It doesn't actually matter, who will stop who from using nukes or AGI or a superbug? Only political systems and worldwide cooperation can effectively deal with this...not a startup...not now...not ever. Period.

[0] https://blog.gregbrockman.com/the-openai-mission [1] https://dl.acm.org/citation.cfm?id=3281635.3271625&coll=port...

codekilla··on OpenAI LP
> We are traveling a hard and uncertain path, but we have designed our structure to help us positively affect the world should we succeed in creating AGI—which we think will have as broad impact as the computer itself and improve healthcare

Grammar--would change to: as broad an impact

codekilla··on The New 30-Something
Has anyone worked on creating a 'village' in the bay? Is there any thing like a network where people can watch each other's kids, or take them to activities, to take any pressure off? Like to be a member, you would of course need to have a kid, but instead of payment it's basically a time bartering system. I imagine the kids would benefit from interacting with other kids. I'm sure liability would be a nightmare, but perhaps it could be informal. I myself suffer from this as I have 6 kids, and am thinking about a move to the bay area.
codekilla··on Patrick Collison on Innovation and Scientific Progress [audio]
Most perspectives on science highlight the hierarchical nature of the process, and how successive layers are built on previous ones. I largely agree with this, and Sean Caroll outlines it in 'The Big Picture', but many have pointed this out before. Before I'm willing to throw in the towel, let's at least figure out what biology is all about :) For this task, we'll likely use a tremendous amount from fundamental physics, and then we may need to invent what's next (or not, I'm sure you are well aware of the view that physics was 'solved' in the late 1800's.....but leave it to the Germans to need a more efficient lightbulb).

In addition, from my perspective, research isn't just about what we find out in an isolated field, but also the interplay of discoveries and knowledge between fields. This latter view, 'integration', is largely unexplored at scale, though lip service is constantly being given to it. I think there is a tremendous amount we can do here, and it's not just marginal. Overall, I am more optimistic I think, perhaps to an unwarranted degree :)

I also think that language is important, especially in the service of scientific understanding and progress. In this respect, I think category theory is poised to play a major role as a language for the sciences, and particularly integrative science in the 21st century.

I've been working on this in my spare time: https://www.eonias.org/, which I definitely hesitate to link to here because it's unfinished, but I figure I might as well start putting it out there. I think there are lots of ways to improve the way we go about research, having been in the grind for a few years now. There are tons of different opinions on this, but I just wanted to do something.

In short, I personally am not concerned whether 'research productivity is getting worse because of X, and because X is "the laws of physics"' is actually true or not (this is a complicated question, and the relevant question is whether 'productivity' can go up again--I think it can). I believe there's plenty left to do, and we need far more people doing it than we have engaged now. After all, should we move the money from the budget of the NSF into tax incentives for football stadiums? From my perspective, I think the NEH should have a much larger budget, which in and of itself is an interesting topic of debate. I mean, where have the humanities gone?? I'm f@#C!ing tired of AI and robots already. ;)

codekilla··on Patrick Collison on Innovation and Scientific Progress [audio]
If science is more inefficient, what are some ideas to make it less so? I work at a top research university in the US, and have thought about this quite a bit (I don't really disagree). I'm curious to hear what you and Michael think are some good approaches. I genuinely care about this problem, and I am working on some things myself.
codekilla··on Geoff Hinton Wants Computers to Think More Like Brains
Stuart Hammeroff gave a talk here at Caltech about them last year.....which surprised me a bit. It is still considered far afield from mainstream neuroscience, however, quantum biology is something many are seriously thinking about.
← PreviousPage 4 of 6Next →