Live data from Hacker News

Ask HN: What are the most interesting emerging fields in computer science?

news.ycombinator.com

151–160 of 183 posts

Re: Ask HN: What are the most interesting emerging fields in computer science?

#151

Almost all of the answers on this list are not fields that are "emerging" but fields that "have already emerged". The ideal emerging field is one that's so obscure we haven't heard of it yet, but so important that we will. If there are widely disseminated books on Amazon about your field, it's not emerging. If there are hundreds of professionals cranking out papers about your field, it's also not emerging. Emerging f…

Anarcho-Nihilism based open source.

Arguably Cody Wilson is doing some of this sort of stuff.

Basically 4Chan but far more organised.

Where's my open source, open data, license plate tracking?

Re: Ask HN: What are the most interesting emerging fields in computer science?

#152

Help me create a field of human programming that's informed by computer science? Below is a simplified description of some ideas informing what I do. These days I'm more focused on language and behaviors in myself and primary relationship in preparation for our first child, so it'd be nice if someone else started working on the theoretical stuff. I'm also down for informally experimenting with things anyone comes up…

> Start with a category theoretical model connecting neuroanatomy and thought (MENS, category theory and the hippocampus).

Yeah... um... let us know when you've got that in a form that is really true to neuroanatomy, really true to human thought, and really solid category theory. I'm pretty sure you're not going to get there in this lifetime.

Re: Ask HN: What are the most interesting emerging fields in computer science?

#153
post #99

Earlier quoted context omitted.

Distributed power electronics are inherently dangerous. If you have a surplus of power and your neighbor has a deficit, it is desirable for the two systems to communicate to send power from you to the neighbor. If a bad actor can leverage this system to tell everyone to send all of their power to the grid, they could easily damage the infrastructure in a very costly way.

Ok so the grid (that knows everything already) commands every house what to do, using a pinned certificate to authenticate. What part of this needs to be zero knowledge?

It's also important to point out the grid is archaic in many places and the knowledge isn't omnicompetent across the system. In the US, we have three major grids which are also connected to Canada's (which I can't speak too). [0] From my understanding, with an amateur interest, we know a lot about where those major grids connect but very little about the distributed nodes that make up the network; The Northeast Power Blackout of 2003 is a really great example of this. [1] Essentially, there was a grid failure that occurred in Ohio which overlapped into the other sections of the grid. In short, a wire contacted with a tree in Ohio which caused a cascading failure to NYC.

So, let's now bring IoT into the mix. You and I have smart houses, with smart solar tiles. John attacks our tiles plus all our neighbors and directs a major electrical spike towards our local substation. Now it's a physics question, where are all those joules of energy going? It's a heat problem and right now there is no way to dissipate that heat from the system which will melt our substation. Let's say our neighborhood is between several other neighborhoods and the main power station, we just killed a node and guess who else doesn't have access to power because they don't have tiles like we do.

That's the basic concept on why security and authenticity are important in relation to the energy grid. It would be nice if there was an effective way to dissipate an "electrical DDoS"? I'm not sure if it's called something else. If you're interested in the energy dissipation within the energy grid, this is a great question on SE. [2]

That all said, is also a major reason why the government is consistently freaking out about our power grid being hacked.

[0] https://en.wikipedia.org/wiki/Continental_U.S._power_transmi... [1] https://en.wikipedia.org/wiki/Northeast_blackout_of_2003 [2] https://electronics.stackexchange.com/questions/117437/what-...

Re: Ask HN: What are the most interesting emerging fields in computer science?

#154
Algorithmic Game Theory [1]

Going into CS as an undergrad, I didn't anticipate the depth that the field had in other domains -- and for some time, I wanted to double major in {math, biology, economics} to supplement my education.

However, while in the algorithms course, I stumbled upon a connection between linear programming and 2-player zero-sum games (the minimax theorem [2]). Up to that point, I had never considered the idea of using a computational lens to view problems outside of CS, such as "what is the complexity of Nash equilibrium?"

It turns out Algorithmic Game Theory can be applied to study theory of auctions (Why does Ebay use 2nd-priced auctions?) [3], tournament design (Why would a team purposely lose?) [4], or something as basic as routing (Why does building more roads lead to more congestion?).

[1] https://en.wikipedia.org/wiki/Algorithmic_game_theory

[2] https://en.wikipedia.org/wiki/Minimax_theorem

[3] https://en.wikipedia.org/wiki/Auction_theory

[4] https://theory.stanford.edu/~tim/f13/l/l1.pdf

Re: Ask HN: What are the most interesting emerging fields in computer science?

#155
post #59

Earlier quoted context omitted.

The biggest barrier to adoption of formal verification that I have seen as someone just starting in the field (working through Software Foundations and have a number of projects planned with SPARK, Frama-C, and LiquidHaskell) is the lack of groundwork. Verifying just your own code is complex enough as it is but working with libraries without any clear specification of their interfaces and behaviours makes this so muc…

To me, personally, the biggest barrier was lack of a proper introduction with a lot of examples. I try to break this barrier a bit with my upcoming book: Gentle Introduction to Dependent Types with Idris. I am very interested in this area but it is impossible for newcomers to get a grasp of it without too much digging. Logical Foundations was OK but I was still missing the theoretical explanation ("why does this tact…

The Little Typer is out soon too https://mitpress.mit.edu/books/little-typer

Re: Ask HN: What are the most interesting emerging fields in computer science?

#156
post #93

Earlier quoted context omitted.

Can you elaborate why solar roof tiles need such intelligence, especially the secure part? I don't see what data they would need to hide.

It would create a truly distributed compute utility that was accessible to anyone within range of the network. Individual tiles could store and compute and cooperate in a mesh network. To make something like that feasible, it needs to be secure and reliable. In the privately-owned case, I want to ensure that an adversary who gains access to the “grid” can’t exploit it against me. Think of it as having a raspberrypi o…

An innovative project called Golem (golem.network) is working on distributed computational power with data privacy and verification. They seem to be ahead of the pack and think this could be the future of computing.

Re: Ask HN: What are the most interesting emerging fields in computer science?

#157
post #70

Secure Multi-party Computation. The basic idea is developing methods for two (or more) parties with sensitive data to be able to compute some function of their data without having to reveal the data to one another. The classic example is developing an algorithm that allows two people to figure out who is paid more without either revealing what their salary is. Such algorithms get significantly more complicated if the…

Check out this interview I did for the Epicenter Podcast with Enigma, a company building an MPC implementation, for a decent intro to what MPC is.

https://www.youtube.com/watch?v=ajAUByRZGWM

Re: Ask HN: What are the most interesting emerging fields in computer science?

#158

Almost all of the answers on this list are not fields that are "emerging" but fields that "have already emerged". The ideal emerging field is one that's so obscure we haven't heard of it yet, but so important that we will. If there are widely disseminated books on Amazon about your field, it's not emerging. If there are hundreds of professionals cranking out papers about your field, it's also not emerging. Emerging f…

I see several responses that are of truly emerging fields. The one I decided to mention, amorphous computing, has been around for a few years but hasn't gained much traction. It's hard to drive discussions around tech that by definition not many know about or understand or have much input on...

Re: Ask HN: What are the most interesting emerging fields in computer science?

#159

DNA computing might be an interesting new domain [1]. The idea is to use DNA as a memory, while using proteins/RNA as logic operators. This can provide massive speed and efficiency gains, especially for optimisation problems that need parallelization. Just consider that 4bits of information on DNA take only about 1nm^3 of volume, where solid state memory has about 3Tb/in^2 which is roughly equivalent to 10^7 nm^3. To…

DNA computing is going to be huge. Nobody is talking about it but a handful of people are slowly pushing it forward.

I am willing to bet that both DNA computing and DNA manufacturing (organically 3D print things, but like how organisms grow) will be yuuuuuuge.

Not sure when it will have its internet moment, but the universe has been doing this for a long time and once we unlock its secrets, we become a wee-bit closer to Gods.

Re: Ask HN: What are the most interesting emerging fields in computer science?

#160
post #70

Secure Multi-party Computation. The basic idea is developing methods for two (or more) parties with sensitive data to be able to compute some function of their data without having to reveal the data to one another. The classic example is developing an algorithm that allows two people to figure out who is paid more without either revealing what their salary is. Such algorithms get significantly more complicated if the…

There is a project chasing this that is pretty interesting in my opinion. Golem (crypto token $GNT). https://github.com/golemfactory/golem . Their project became open to the public a few months ago.

Isn't zcash and monero based on similar principles?
Post reply on HN