Boyd Stephen Smith Jr.Apr 6

So, I sent a message to the #diris mailing list, after subscribing, but it still hasn't shown up on the web version and I haven't gotten a response.

So, I join the Idris Discord (ugh, but I already have Discord for other things) and now it is being shut down in favor of Zulip (wtf is zulip?).

Anyway, does anyone know I good tool/library/framework to get code coverage numbers out of my existing (Hedgehog) test suite? Additionally, or even better, is there a mutation testing thing for Idris that can give me code coverage that way?

RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-55222 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-55222-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-55222 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-55222 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP USB Function functionality of Socomec DIRIS Digiware M-70 1.6.9. A

RedPacket Security
RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-55221 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-55221-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-55221 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-55221 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP USB Function functionality of Socomec DIRIS Digiware M-70 1.6.9. A

RedPacket Security
RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-54850 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54850-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54850 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54850 - Socomec - DIRIS Digiware M-70 - RedPacket Security

High risk: unauthenticated, network-based denial-of-service against DIRIS Digiware M-70 with potential for immediate availability impact; KEV/SSVC

RedPacket Security
RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-54851 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54851-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54851 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54851 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security
RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-54849 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54849-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54849 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54849 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security
RedPacket SecurityDec 1, 2025

CVE Alert: CVE-2025-54848 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54848-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54848 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54848 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security
Boyd Stephen Smith Jr.Sep 17, 2024

Hey, #diris check out my Okasaki library. It's not necessarily where I want it, but it appears for build for Idris2 now, which is an improvement: https://gitlab.com/bss03/idris2-okasaki-pfds

You might find the pure functional data structures useful.

Boyd Stephen Smith Jr. / Okasaki-style Purely Functional Data Structures in Idris2 · GitLab

Idris2 port of older Idris implementation of the data structures from the appendix of Chris Okasaki's book Purely Functional Data Strcutures

GitLab