PGLinks

How formal verification makes AWS Nitro the first formally verified cloud hypervisor - Amazon Science

https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation

aws computing security

Added 1 week ago

IssueOps: Automate CI/CD (and more!) with GitHub Issues and Actions - The GitHub Blog

https://github.blog/engineering/issueops-automate-ci-cd-and-more-with-github-issues-and-actions/

actions github operations

Added 1 year ago

http://m.techrepublic.com/blog/five-apps/five-free-network-monitoring-tools/1342

Added 1 year ago

Operational issue – Multiple services (UAE)

https://health.aws.amazon.com/health/status

aws hackernews incident incident management

Added 3 months ago

ACCC shifts support for broadband tax on 4G and 5G fixed wireless - Telco/I

https://www.itnews.com.au/news/accc-shifts-support-for-broadband-tax-on-4g-and-5g-fixed-wireless-610215

4g 5g bill internet nbnco

Added 1 year ago

Scammers impersonating the ASD's ACSC | Cyber.gov.au

https://www.cyber.gov.au/about-us/view-all-content/alerts-and-advisories/email-scammers-impersonating-asds-acsc

cyber phishing security

Added 1 year ago

Saturday Morning Breakfast Cereal - Peace

https://www.smbc-comics.com/comic/peace-4

comic RSS

Added 1 month ago

The 12 Anti-factors of Infrastructure as Code | by Brian Grant | Dec 2024 | ITNEXT

https://itnext.io/the-12-anti-factors-of-infrastructure-as-code-acb52fba3ae0

iac k8s

Added 1 year ago

GitHub - zedless-editor/zed: (WIP) Zed fork focused on privacy and being local-first

https://github.com/zedless-editor/zed

ide open source privacy

Added 10 months ago

System76 on Age Verification Laws

https://blog.system76.com/post/system76-on-age-verification/

hackernews privacy

Added 3 months ago

Open-Source Knob Packed With Precision | Hackaday

https://hackaday.com/2025/06/28/open-source-knob-packed-with-precision/

hardware open source technology

Added 11 months ago

Mermaid ASCII: Render Mermaid diagrams in your terminal

https://mermaid-ascii.art/

code diagrams hackernews visualisation

Added 4 months ago

Dark Castle

https://darkcastle.co.uk/

games hackernews retro

Added 2 months ago

Ceph performance — YourcmcWiki

https://yourcmc.ru/wiki/Ceph_performance

ceph performance storage

Added 1 year ago

pwr-Solaar/Solaar

https://github.com/pwr-Solaar/Solaar

hardware linux logitech

Added 1 year ago

Lenticular Clock : 7 Steps (with Pictures) - Instructables

https://www.instructables.com/Lenticular-Clock/

maker

Added 1 year ago

What is Li-Fi? Get the Details on What Might Be the Next Big Thing for the Internet

https://www.cnet.com/home/internet/what-is-li-fi/

networking wifi

Added 1 year ago

EUCLEAK - NinjaLab

https://ninjalab.io/eucleak/

hardware mfa security vulnerability

Added 1 year ago

GitHub - pydantic/monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty

ai llm python

Added 4 months ago

www.friskyradio.com

https://www.friskyradio.com/

music streaming

Added 5 months ago

coroot/coroot: Coroot is an open-source APM & Observability tool - a DataDog and NewRelic alternative

https://github.com/coroot/coroot

apm monitoring open source

Added 1 year ago

[HOONIGAN] Gymkhana 2025: Aussie Shred — Travis Pastrana Does the IMPOSSIBLE in a Subaru Brat - YouTube

https://youtu.be/daYgg2YSA2g?si=xMHbkRATwPjBPBKt

funny motor racing

Added 6 months ago

Honest Trailers | The Transformers: The Movie (1986)

https://www.youtube.com/watch?v=ub12DkmRUnI

youtube

Added 5 months ago

Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize

https://github.com/DeepMyst/Mysti

ai hackernews llm

Added 5 months ago