Search

16 results for “fmo”

1. 

   Pako @[email protected]

   2026-10-08

   Memoria y llanto

   A fuerza de olvidar me queda la memoria
   reencontrada
   herida en un rincón preciso.

   https://escritura.social/fmolinero/memoria-y-llanto

   #blog
   #poesia

   #blog #poesia
2. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 14162 kHz
   Band: 20 m
   Logged: 2026-10-04 12:34 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
3. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 14184 kHz
   Band: 20 m
   Logged: 2026-10-04 11:07 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
4. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 14334 kHz
   Band: 20 m
   Logged: 2026-10-06 18:47 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
5. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 14254 kHz
   Band: 20 m
   Logged: 2026-10-06 18:46 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
6. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 14294 kHz
   Band: 20 m
   Logged: 2026-10-06 18:33 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
7. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 7055 kHz
   Band: 40 m
   Logged: 2026-09-30 02:42 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
8. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 7020 kHz
   Band: 40 m
   Logged: 2026-10-03 13:45 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
9. 

   IG Intruder-Watch @[email protected]

   2026-10-07

   NEW INTRUDER REPORTED

   Ident: Contayner
   Frequency: 7089 kHz
   Band: 40 m
   Logged: 2026-10-04 22:22 UTC
   ITU: RUS
   Mode: FMOP
   Method: OTHR
   Baud / sps: 40sps
   Shift / BW: 12kHz

   https://www.intruder-watch.de
   #IntruderWatch #RadioMonitoring #Shortwave

   #intruderwatch #radiomonitoring #shortwave
10. 

    IG Intruder-Watch @[email protected]

    2026-10-07

    NEW INTRUDER REPORTED

    Ident: Contayner
    Frequency: 7000 kHz
    Band: 40 m
    Logged: 2026-10-04 04:16 UTC
    ITU: RUS
    Mode: FMOP
    Method: OTHR
    Baud / sps: 40sps
    Shift / BW: 12kHz

    https://www.intruder-watch.de
    #IntruderWatch #RadioMonitoring #Shortwave

    #intruderwatch #radiomonitoring #shortwave
11. 

    IG Intruder-Watch @[email protected]

    2026-10-07

    NEW INTRUDER REPORTED

    Ident: Contayner
    Frequency: 7115 kHz
    Band: 40 m
    Logged: 2026-10-04 02:52 UTC
    ITU: RUS
    Mode: FMOP
    Method: OTHR
    Baud / sps: 40sps
    Shift / BW: 12kHz

    https://www.intruder-watch.de
    #IntruderWatch #RadioMonitoring #Shortwave

    #intruderwatch #radiomonitoring #shortwave
12. 

    IG Intruder-Watch @[email protected]

    2026-10-07

    NEW INTRUDER REPORTED

    Ident: Contayner
    Frequency: 7026 kHz
    Band: 40 m
    Logged: 2026-10-05 18:48 UTC
    ITU: RUS
    Mode: FMOP
    Method: OTHR
    Baud / sps: 40sps
    Shift / BW: 12kHz

    https://www.intruder-watch.de
    #IntruderWatch #RadioMonitoring #Shortwave

    #intruderwatch #radiomonitoring #shortwave
13. 

    IG Intruder-Watch @[email protected]

    2026-10-07

    NEW INTRUDER REPORTED

    Ident: Contayner
    Frequency: 7095 kHz
    Band: 40 m
    Logged: 2026-10-06 22:35 UTC
    ITU: RUS
    Mode: FMOP
    Method: OTHR
    Baud / sps: 40sps
    Shift / BW: 12kHz

    https://www.intruder-watch.de
    #IntruderWatch #RadioMonitoring #Shortwave

    #intruderwatch #radiomonitoring #shortwave
14. 

    IG Intruder-Watch @[email protected]

    2026-10-06

    NEW INTRUDER REPORTED

    Ident: Contayner
    Frequency: 6998 kHz
    Band: 40 m
    Logged: 2026-10-06 16:05 UTC
    ITU: RUS
    Mode: FMOP
    Method: OTHR
    Baud / sps: 40sps
    Shift / BW: 12kHz

    https://www.intruder-watch.de
    #IntruderWatch #RadioMonitoring #Shortwave

    #intruderwatch #radiomonitoring #shortwave
15. 

    Paul Chaignon @pchaigno

    2026-10-06

    This morning, Daniel Borkmann presented shirudo, a BPF-based platform for on-the-fly live mitigations. shirudo starts in early boot, runs as much as possible in the kernel, and relies on a TPM to ensure the state is as expected. It then uses a BPF program to check the signature of the patches and load them. The security patches use fmod_ret to patch specific kernel functions.

    At #LinuxPlumbers, Daniel describes what is missing to finish building this. The BPF signing process with the in-kernel loader is documented at https://www.kernel.org/doc/html/latest//bpf/signing.html.

    Demo: https://www.youtube.com/watch?v=dwNqojCJx-4
    Slides: https://lpc.events/event/20/contributions/2437/attachments/2170/4833/shirudo.pdf
    Stream: https://youtube.com/live/UQCglEwWwT4?feature=share

    #linuxplumbers
16. 

    Fabrizio Montesi ⬣ A➔B @[email protected]

    2026-10-07

    The framework now supports, among other things, basic modal logic, the modal cube, basic temporal logic, and Hennessy–Milner Logic, together with reusable metatheory and automation.

    Preprint describing its design and implementation: https://www.fabriziomontesi.com/publication/library-grade-modal-logic-arxiv

    #CSLib #Lean #FormalMethods #FORM

    4/4

    #cslib #lean #formalmethods #form