CVE-2025-5658

creationtimestamp| type| source ---|---|--- 2025-06-05 13:07:19+00:00| seen| https://bsky.app/profile/FunctionalProgramming.activitypub.awakari.com.ap.brid.gy/post/3lquf5626ucp2 2025-06-05 15:01:35+00:00| seen| https://bsky.app/profile/cve.skyfleet.blue/post/3lqullw7j262m...

CVE-2025-5653

creationtimestamp| type| source ---|---|--- 2025-06-05 11:45:36+00:00| seen| https://bsky.app/profile/FunctionalProgramming.activitypub.awakari.com.ap.brid.gy/post/3lquak36pkv42...

CVE-2025-5508

creationtimestamp| type| source ---|---|--- 2025-06-03 17:33:04+00:00| seen| https://bsky.app/profile/FunctionalProgramming.activitypub.awakari.com.ap.brid.gy/post/3lqpt3pv422j2 2025-06-03 18:46:52+00:00| seen| https://bsky.app/profile/cve.skyfleet.blue/post/3lqpxaw2htm2m...

CVE-2025-3876

creationtimestamp| type| source ---|---|--- 2025-05-10 11:26:51+00:00| published-proof-of-concept| https://t.me/DarkWebInformerCVEAlerts/15890 2025-05-10 13:01:53+00:00| seen| https://bsky.app/profile/FunctionalProgramming.activitypub.awakari.com.ap.brid.gy/post/3losugcc7esc2 2025-05-10...

CVE-2025-4470

creationtimestamp| type| source ---|---|--- 2025-05-09 07:25:22+00:00| published-proof-of-concept| https://t.me/DarkWebInformerCVEAlerts/15682 2025-05-09 09:21:35+00:00| seen| https://bsky.app/profile/FunctionalProgramming.activitypub.awakari.com.ap.brid.gy/post/3lopwpboayxk2 2025-05-09...

[SECURITY] Fedora 42 Update: bigloo-4.6a-2.fc42

Bigloo is a Scheme implementation devoted to one goal: enabling a Scheme based programming style where C++ is usually required. Bigloo attempts to make Scheme practical by offering features usually presented by traditional programming languages but not offered by Scheme and functional programming...

Fedora: Security Advisory for q (FEDORA-2021-b58af96f33)

The remote host is missing an update for the Copyright C 2021 Greenbone Networks GmbH Some text descriptions might be excerpted from a referenced sources, and are Copyright C by the respective right holders. SPDX-License-Identifier: GPL-2.0-or-later This program is free software; you can...

Fedora: Security Advisory for q (FEDORA-2021-df1fa3d3e0)

The remote host is missing an update for the SPDX-FileCopyrightText: 2021 Greenbone AG Some text descriptions might be excerpted from a referenced sources, and are Copyright C by the respective right holders. SPDX-License-Identifier: GPL-2.0-only ifdescription...

[SECURITY] Fedora 35 Update: q-7.11-44.fc35

Q is a powerful and extensible functional programming language based on the term rewriting calculus. You specify an arbitrary system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced application...

[SECURITY] Fedora 25 Update: q-7.11-29.fc25

Q is a powerful and extensible functional programming language based on the term rewriting calculus. You specify an arbitrary system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced application...

[SECURITY] Fedora 14 Update: q-7.11-8.fc14

Q is a powerful and extensible functional programming language based on the term rewriting calculus. You specify an arbitrary system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced application...

[SECURITY] Fedora 13 Update: q-7.11-8.fc13

Q is a powerful and extensible functional programming language based on the term rewriting calculus. You specify an arbitrary system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced application...

[SECURITY] Fedora 15 Update: q-7.11-10.fc15

Q is a powerful and extensible functional programming language based on the term rewriting calculus. You specify an arbitrary system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced application...

Windows Access Control Demystified

Hello everybody, We have constructed a logical model of Windows XP access control, in a declarative but executable Datalog format. We have built a scanner that reads access-control configuration information from the Windows registry, file system, and service control manager database, and feeds ra...