Tootfinder

Watching Fred Lawler talk through Linux containers without Docke r(or podman) at @….

Monoid Structures on Indexed Containers
Michele De Pascalis, Tarmo Uustalu, Niccol\`o Veltr\`i
https://arxiv.org/abs/2509.25879 https://arxiv.org/pdf/2509.…

Monoid Structures on Indexed Containers
Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the scope of dependently typed programming. When interpreting types to be sets, a container describes an endofunctor on the category of sets while an I-indexed container describes an endofunctor on the category Set^I of I-indexed families of sets. We consider the monoidal structure on the category of I-indexed containe…

@… @…
Mark Phillips (FreeBSD Foundation) is at <

I honestly can’t believe I ever jumped on the #Fedora hate train. Looking back, I realize I was unfair and probably just followed the noise instead of forming my own opinion. I’m sorry for that, Fedora’s actually pretty great once you give it a real chance.
https://

Characterizing Trust Boundary Vulnerabilities in TEE Containers
Weijie Liu, Hongbo Chen, Shuo Huai, Zhen Xu, Wenhao Wang, Zhi Li, Zheli Liu
https://arxiv.org/abs/2508.20962 http…

Characterizing Trust Boundary Vulnerabilities in TEE Containers
Trusted Execution Environments (TEEs) have emerged as a cornerstone of confidential computing, garnering significant attention from both academia and industry. To enable the secure development, execution, and deployment, of applications on TEE platforms, TEE containers have been introduced as middleware solutions. These containers aim to shield applications from potentially malicious operating systems and orchestration interfaces while maintaining usability and reliability. In this paper, we an…

The Italian port of Ravenna on Thursday refused to load two containers filled with explosives for shipment to Israel,
following a request by local authorities,
according to a statement issued by the city’s municipality.
Ravenna’s mayor, Alessandro Barattoni, said in a statement: 
“Thanks to courageous dockers,
we were informed last night of the scheduled arrival today of two containers to the Ravenna port” 
Ravenna, along with provincial leaders and the re…

Italian port refuses to load containers of explosives bound for Israel
The Italian port of Ravenna on Thursday refused to load two containers filled with explosives for shipment to Israel, following a request by local authorities, according to a statement issued by th…

XaaS Containers: Performance-Portable Representation With Source and IR Containers
Marcin Copik, Eiman Alnuaimi, Alok Kamatar, Valerie Hayot-Sasson, Alberto Madonna, Todd Gamblin, Kyle Chard, Ian Foster, Torsten Hoefler
https://arxiv.org/abs/2509.17914

XaaS Containers: Performance-Portable Representation With Source and IR Containers
High-performance computing (HPC) systems and cloud data centers are converging, and containers are becoming the default method of portable software deployment. Yet, while containers simplify software management, they face significant performance challenges in HPC environments as they must sacrifice hardware-specific optimizations to achieve portability. Although HPC containers can use runtime hooks to access optimized MPI libraries and GPU devices, they are limited by application binary interfa…

Testing Tugtainer on my Docker server, a service that checks for available updates for your containers. So far, so good. It has a nice and easy interface. #selfhosting

Run Linux containers on FreeBSD!
https://www.youtube.com/watch?v=HV-wUUzRCMo
https://freebsdfoundation.or…