Последние новости
⚑ Сообщить о проблемеTech news from the best sources
Все темы
AI
Gear
News
Tech
agents
ai
api
architecture
automation
beginners
career
database
devchallenge
devops
discuss
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
security
showdev
testing
tutorial
typescript
webdev
Everything is a Trust Decision
A machine checked proof of the exhaustive boundaries of trust. I'll let the text carry the rest. Comments
Trusting-Trust Attack against an Entire Linux Distribution (via the strip utility)
"Ken Thompson's trusting-trust attack, in which a compromised compiler backdoors the programs it builds and reproduces the backdoor in subsequent re…