const& c) { } 1 2 auto rects = tc::make_vector(tc::transform(c, 3 [](widget const& w) { return w.bounding_box(); } 4 )); 5 // Magic happens 6 tc::for_each(tc::zip(c, rects), 7 [&](widget& const& c) { } 1 2 auto rects = tc::make_vector(tc::transform(c, 3 [](widget const& w) { return w.bounding_box(); } 4 )); 5 // Magic happens 6 tc::for_each(tc::zip(c, rects), 7 [&](widget& [&](widget& w, rect r) { 8 widget.place(r); 9 } 10 11 ); 12 auto rects = tc::make_vector(tc::transform(c, [](widget const& w) { return w.bounding_box(); } )); // https://github.com/think-cell/think-cell-library

Cordell Jonathan Müller — @foonathan Express your expectations CppCon 2023-10-03 1tc::json::parser Extract some JSON members tc nlohmann RapidJSON Boost.JSON simdjson 0 10 20 30 40 Library Time in ms stdv::filter([](int i) { return i % 2 == 0; }) | stdv::transform([](int i) { return i * i; }); return tc::find_first_if<tc::return_value_or_none>(even_squares, [](int square) { return square % 3 == 0; }); } Jonathan struct tc::json::parser { … }; Jonathan Müller — @foonathan Express your expectations CppCon 2023-10-03 52Pulling primitive values template struct tc::json::parser

443/TCP service/memcached-server ClusterIP None 11211/TC NAME READY STATUS RESTARTS AGE pod/a-wing-67db8d5fcc-dpwl4 protec�on mechanisms. Traffic Control Ingress/Egress: BPF programs a�ached to the traffic control (tc) ingress hook are a�ached to a networking interface, same as XDP, but will run a�er the networking applying L3/L4 endpoint policy and redirec�ng traffic to endpoints. For networking facing devices the tc ingress hook can be coupled with above XDP hook. When this is done it is reasonable to assume that

protection mechanisms. Traffic Control Ingress/Egress: BPF programs attached to the traffic control (tc) ingress hook are attached to a networking interface, same as XDP, but will run after the networking applying L3/L4 endpoint policy and redirecting traffic to endpoints. For networking facing devices the tc ingress hook can be coupled with above XDP hook. When this is done it is reasonable to assume that a veth pair which acts as a virtual wire connecting the container to the host. By attaching to the TC ingress hook of the host side of this veth pair Cilium can monitor and enforce policy on all traffic

BPF sysctls Kernel Testing JIT Debugging Introspection Tracing pipe Miscellaneous Program Types XDP tc (traffic control) Further Reading Kernel Developer FAQ Projects using BPF XDP Newbies BPF Newsletter protection mechanisms. Traffic Control Ingress/Egress: BPF programs attached to the traffic control (tc) ingress hook are attached to a networking interface, same as XDP, but will run after the networking applying L3/L4 endpoint policy and redirecting traffic to endpoints. For networking facing devices the tc ingress hook can be coupled with above XDP hook. When this is done it is reasonable to assume that

BPF sysctls Kernel Testing JIT Debugging Introspection Tracing pipe Miscellaneous Program Types XDP tc (traffic control) Further Reading Kernel Developer FAQ Projects using BPF XDP Newbies BPF Newsletter protection mechanisms. Traffic Control Ingress/Egress: BPF programs attached to the traffic control (tc) ingress hook are attached to a networking interface, same as XDP, but will run after the networking applying L3/L4 endpoint policy and redirecting traffic to endpoints. For networking facing devices the tc ingress hook can be coupled with above XDP hook. When this is done it is reasonable to assume that

BPF sysctls Kernel Testing JIT Debugging Introspection Tracing pipe Miscellaneous Program Types XDP tc (traffic control) Further Reading Kernel Developer FAQ Projects using BPF XDP Newbies BPF Newsletter level=warning msg="+ bpftool cgroup attach /var/run/cilium/cgroupv2 connect6 pinned /sys/fs/bpf/tc/globals/cilium_cgroups_connect6" subsys=datapath-loader level=warning msg="Error: failed to attach network facing interfaces, or matching the configuration of --encrypt- interface (if specified). $ tc filter show dev eth0 ingress filter protocol all pref 1 bpf chain 0 filter protocol all pref 1 bpf

BPF sysctls Kernel Testing JIT Debugging Introspection Tracing pipe Miscellaneous Program Types XDP tc (traffic control) Further Reading Kernel Developer FAQ Projects using BPF XDP Newbies BPF Newsletter level=warning msg="+ bpftool cgroup attach /var/run/cilium/cgroupv2 connect6 pinned /sys/fs/bpf/tc/globals/cilium_cgroups_connect6" subsys=datapath-loader level=warning msg="Error: failed to attach protection mechanisms. Traffic Control Ingress/Egress: BPF programs attached to the traffic control (tc) ingress hook are attached to a networking interface, same as XDP, but will run after the networking

BPF sysctls Kernel Testing JIT Debugging Introspection Tracing pipe Miscellaneous Program Types XDP tc (traffic control) Further Reading Kernel Developer FAQ Projects using BPF XDP Newbies BPF Newsletter level=warning msg="+ bpftool cgroup attach /var/run/cilium/cgroupv2 connect6 pinned /sys/fs/bpf/tc/globals/cilium_cgroups_connect6" subsys=datapath-loader level=warning msg="Error: failed to attach Namespace Cilium has built-in support for bypassing the socket-level loadbalancer and falling back to the tc loadbalancer at the veth interface when a custom redirection/operation relies on the original ClusterIP

particular implicit argument using the @(tactic t) attribute, where t : Term → TC ⊤. For instance: clever-search : Term → TC ⊤ clever-search hole = unify hole (lit (nat 17)) the-best-number : {@(tactic arguments to the function: default : {A : Set} → A → Term → TC ⊤ default x hole = bindTC (quoteTC x) (unify hole) search : (depth : Nat) → Term → TC ⊤ example : {@(tactic default 10) depth : Nat} monad TC: postulate TC : ∀ {a} → Set a → Set a returnTC : ∀ {a} {A : Set a} → A → TC A bindTC : ∀ {a b} {A : Set a} {B : Set b} → TC A → (A → TC B) → TC B {-# BUILTIN AGDATCM TC