I believe that formal verification is the next big thing. The problem with software reliability and security becoming the most critical one and this is the way to tackle it. There is sufficient research in academia which could be used as a foundation to build tools for the industry.
but is formal verification required/needed to solve latest security issues? I mean those related to: CPUs, NPM, External Libraries, parsers written in unsafe languages
Ask HN: What's the next big thing in computing / programming?
61–70 of 171 posts
Re: Ask HN: What's the next big thing in computing / programming?
#62VR/AR will be big one day.
Re: Ask HN: What's the next big thing in computing / programming?
#63Re: Ask HN: What's the next big thing in computing / programming?
#64Unpopular opinion, but chase old things, not new ones. The big investment in your career will be ideas that stand the test of time. Relational Databases, data structures, programming paradigms, math, etc. Even in machine learning, just knowing core statistics and regression is more important than HottestNewArchitecture :TM:. Learn the ideas underneath these ideas, and you'll really grow and be able to better evaluate…
Re: Ask HN: What's the next big thing in computing / programming?
#65VR/AR will be big one day.
I actually like this answer. While I think the fact that "Meta" is now focusing on this feeds into a lot of hype, I don't think they are too far off base. The technology is finally getting usable, and the technology ecosystem necessary to allow it to be useful is mostly there. My analogy to this is that its in the brick phone phase of the mid 80's. Functional, bulky, seen as either a toy/gag, but has a core demograph…
Re: Ask HN: What's the next big thing in computing / programming?
#66ARM will continue to make inroads in the server space as adoption picks up and as more and more projects target that architecture Personal bias talking, but I'd expect to see modest uptick in Nix[os] interest Kubernetes will transition from new and exciting to a mature platform. Expect less new big features and more minor improvements
Genuinely curious, I've heard of Nix OS but I don't know anything about it. Why do you think interest will grow, and would you recommend it?
Just about everything in a NixOS is configured in a declarative way, but that only really scratches the surface. It's the first Linux OS I've used that configuration is done at a wholistic level
Say for example you have a RHEL/Debian Linux server and you want to see how it’s configured. This sounds easy, but can be quite time consuming. You can see what packages are installed but then you’d need to examine all the /etc files. Try and see which ones are modified. Look at all services, look for further configuration that may exist in /opt or /usr. When you get to a certain scale tools like Chef, Puppet or Salt tend to help with managing configuration. Over time to meet compliance and monitoring requirements configuration can grow. And that’s not getting into any filesystem permissions you may set.
If you're using `yum install` or `apt-get` to install packages out of the system repos, you'll get the latest package in that repo. Run that command at different times, you can get a different package version
In NixOS the system and packages are versioned together; makes for very reproducible systems. The downside/upside (depending on your needs) is, updating your kernel will update your packages in lockstep
With NixOS, you can configure a complete system with a single file making Chef, Puppet or Salt obsolete. Once you get over that first hurdle of using NixOS and moving your workloads to it, it tends to be easier to maintain
The major downside I run into is that most of the world does not use Nix[OS]. So if you need something not provided by Nix[OS], you’ll need to learn how to make your own package (derivation)
There are many caveats to everything I said above, but its the general idea
Re: Ask HN: What's the next big thing in computing / programming?
#67Earlier quoted context omitted.
Hardware has gotten more power hungry over the years not less. As long as people are more expensive than energy/hardware, I don't see this changing anytime soon. Maybe we'll get better at utilizing our high performance hardware by offloading the computations more and more to the cloud but overall energy usage will likely keep going up. Growing economies and cheap, abundant energy go hand in hand.
> Hardware has gotten more power hungry over the years not less. Hardware has massively improved in the power/watt and computation/joule categories. The increased power consumption is because of rebound effect. If we really only used cellphones for telephone calls and SMS, we could build them to last for months on a single charge. Yet we have to charge them every day because they are built to do not just telephony, b…
Re: Ask HN: What's the next big thing in computing / programming?
#68Climate change and related issues are driving big changes that large corporates are already having to address regardless of impending legislation.
Energy efficiency, waste management, sustainable computing, carbon markets, regulatory compliance and reporting (ISO50001), smart grids, EV logistics... there are so many areas.
Anything that you choose to focus on next year will be immensely valuable and important when the demand suddenly picks up before the end of the decade. You can build up on your existing technical foundations.
Re: Ask HN: What's the next big thing in computing / programming?
#69Unpopular opinion, but chase old things, not new ones. The big investment in your career will be ideas that stand the test of time. Relational Databases, data structures, programming paradigms, math, etc. Even in machine learning, just knowing core statistics and regression is more important than HottestNewArchitecture :TM:. Learn the ideas underneath these ideas, and you'll really grow and be able to better evaluate…
A LOT of the old things were ahead of the time and forgotten. Also, a lot are still in their infancy (I think RDBMs are still too immature!).
Is likely that marrying that old things with (1, at most 2) new things is the way to go.