Formal computer science may never model practical computer engineering well enough to be predictive in the way the physical sciences are.
Micah D. Beck
Advertisement
Author Archives
Hit the Goalie / With the Puck / In the Neck
Unrealistic assumptions in any application of a formal proof to the real world are the gaps which leave the neck of the application exposed to attack.
We’re Reaping Just What We Sowed
The idea of computing using an abstract machine model that can grow during the execution of an algorithm leads to a theory of computation that is quite rich.
The LiteLoad project is working to quantify the impact of poor connectivity in rural areas near the Great Smoky Mountains National Park, in Tennessee, as a testing ground.
Datagram Forwarding Considered Harmful
Perhaps we need to look to forms of structured networking as a means of restricting and controlling the use of unstructured routing.
The resilience of Internet applications is reduced by making assumptions about connectivity that do not always hold true.
Minimal Sufficiency and AI Governance
A voluntary standard for AI accountability must meet known needs of the current community and unknown needs of the future.
Storage, networking and computation: they’ve got one thing in common!
Have technical limitations of the Internet architecture contributed to the rise of doom scrolling on social media?]
Breaking Up a Digital Monopoly
How to decompose a vertically integrated digital monopoly to enable competitive services based on a shared data structure.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved