HOUSE_OVERSIGHT_015957.jpg
1.87 MB
Extraction Summary
2
People
2
Organizations
0
Locations
0
Events
3
Relationships
4
Quotes
Document Information
Type:
Book page / document from house oversight committee
File Size:
1.87 MB
Summary
This page discusses the concept of "horizontal abstraction" in computer science, explaining how it simplifies tasks but has practical limitations described by Joel Spolsky's "Law of Leaky Abstractions." It uses the TCP/IP protocol as an example of how underlying implementation details (like packet loss) can "leak" through to the user experience, and theoretically connects this impossibility of perfect abstraction to the Halting Problem.
People (2)
| Name | Role | Context |
|---|---|---|
| Joel Spolsky | ||
| Turing |
Organizations (2)
| Name | Type | Context |
|---|---|---|
| Microsoft | ||
| House Oversight Committee |
Relationships (3)
→
→
→
→
from
→
→
Key Quotes (4)
"Computer systems are built ‘on the shoulders of giants’."Source
HOUSE_OVERSIGHT_015957.jpg
Quote #1
"Whenever we work at an abstract level, we risk being exposed to its inner guts at some point."Source
HOUSE_OVERSIGHT_015957.jpg
Quote #2
"Joel Spolsky, a computer scientist who worked on Microsoft Excel, proposed the Law of Leaky Abstractions to explain this."Source
HOUSE_OVERSIGHT_015957.jpg
Quote #3
"We know this is impossible, so non-leaky abstraction cannot exist."Source
HOUSE_OVERSIGHT_015957.jpg
Quote #4
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document