Search for "林水成(原名:林聯成)安心置地開發股份有限公司所在地ruCN" returned 1138 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Djing with FLOSS: Mixxx Workshop
56 min

Djing with FLOSS: Mixxx Workshop

Running your own mainframe on Linux (for fun and profit)
63 min

Running your own mainframe on Linux (for fun and profit)

GPS time, leap seconds, and a clock that's always right
28 min

GPS time, leap seconds, and a clock that's always right

Osmocom - Open Source Mobile Communications
51 min

Osmocom - Open Source Mobile Communications

Investigating the Iridium Satellite Network
61 min

Investigating the Iridium Satellite Network

Crushed by the Wheels Industry
59 min

Crushed by the Wheels Industry

Extending Fedora Atomic Desktops using systemd system extensions
25 min

Extending Fedora Atomic Desktops using systemd system extensions

Microsoft Azure Boost: Image-based Linux powering the Azure fleet. Wait, what? Really?! Yes!
25 min

Microsoft Azure Boost: Image-based Linux powering the Azure fleet. Wait, what? Really?!…

Autarkie - Instant grammar fuzzing using Rust macros
34 min

Autarkie - Instant grammar fuzzing using Rust macros

Revisiting "Trusting Trust" for binary toolchains
60 min

Revisiting "Trusting Trust" for binary toolchains

Making the Leaks Flow on a Budget
25 min

Making the Leaks Flow on a Budget

Waiter, an OS please, with some sysext sprinkled on top
25 min

Waiter, an OS please, with some sysext sprinkled on top

Fediverse Is Here To Stay - The Upcoming Transformation of Online Social Media
38 min

Fediverse Is Here To Stay - The Upcoming Transformation of Online Social Media

Experimental Fermentation Institutes Network (EFIN)
27 min

Experimental Fermentation Institutes Network (EFIN)

fermenting together for better future

Embedded device security nightmares
46 min

Embedded device security nightmares

An Introduction to the usual mistakes

BGP/OSPF with 100Mpps on amd64: VPP + Linux Control Plane
45 min

BGP/OSPF with 100Mpps on amd64: VPP + Linux Control Plane

Logging containers
36 min

Logging containers

Collecting host, docker and container logs centrally

SMODERP2D Soil Erosion Model Entering Open Source Era with GPU-based Parallelization
28 min

SMODERP2D Soil Erosion Model Entering Open Source Era with GPU-based Parallelization

Deploying servers in an Application Centric Way
32 min

Deploying servers in an Application Centric Way

Participatory art event tools, co-creation and silk road networks
43 min

Participatory art event tools, co-creation and silk road networks

Collide, connect, cartography

Efficient DevSecOps Pipelines in a Cloud Native World
54 min

Efficient DevSecOps Pipelines in a Cloud Native World

Interactive (EO) data visualization in the web
25 min

Interactive (EO) data visualization in the web

The Apache Way! ... ?
41 min

The Apache Way! ... ?

A Comparative Analysis of Embedded Container Runtimes
53 min

A Comparative Analysis of Embedded Container Runtimes