PGLinks

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

https://mistral.ai/news/leanstral

ai coding assistant engineering hackernews llm

Added 3 months ago

Dark Castle

https://darkcastle.co.uk/

games hackernews retro

Added 2 months ago

How I use Claude Code: Separation of planning and execution

https://boristane.com/blog/how-i-use-claude-code/

ai claude code coding assistant development hackernews llm

Added 4 months ago

Saturday Morning Breakfast Cereal - Conscious

https://www.smbc-comics.com/comic/conscious-8

comic funny self

Added 7 months ago

Rectal oxygen delivery might soon be a real medical treatment

https://arstechnica.com/science/2025/10/butt-breathing-might-soon-be-a-real-medical-treatment/

hackernews health medicine

Added 8 months ago

LinkAce - Your self-hosted bookmark archive. Free and open source.

https://www.linkace.org/

host own your

Added 1 year ago

Chawan: 0.2.0

https://chawan.net/news/chawan-0-2-0.html

browser tui

Added 1 year ago

I vibe-coded a $20M YC app in a weekend, here is how🧙‍♂️ 🪄 - DEV Community

https://dev.to/composiodev/i-vibe-coded-a-20m-yc-app-in-a-weekend-heres-how-533o

ai coding assistant llm

Added 1 year ago

17 free AWS cybersecurity courses you can take right now - Help Net Securit

https://www.helpnetsecurity.com/2023/09/12/free-aws-cybersecurity-courses/

security training

Added 1 year ago

Saturday Morning Breakfast Cereal - Joke

https://www.smbc-comics.com/comic/joke-5

comic RSS

Added 1 month ago

https://www.auscert.org.au/blog/2018-02-22-mandatory-data-breach-notification

data breach mdbn security

Added 1 year ago

https://www.androidauthority.com/google-photos-video-editing-ai-presets-new-tools-3484389/

ai google photography video

Added 1 year ago

GitHub - s2-streamstore/claude-batch-toolkit: Send non-urgent work to the Anthropic Batch API at 50% cost — directly from Claude Code

https://github.com/s2-streamstore/claude-batch-toolkit

ai anthropic claude code llm

Added 4 months ago

Cloudflare service outage June 12, 2025

https://blog.cloudflare.com/cloudflare-service-outage-june-12-2025/

cloudflare incident

Added 1 year ago

Show HN: Rift – A tiling window manager for macOS

https://github.com/acsandmann/rift

hackernews open source software tiling window-manager

Added 8 months ago

Claude's new constitution

https://www.anthropic.com/news/claude-new-constitution

ai claude code hackernews llm

Added 5 months ago

MinIO stops distributing free Docker images

https://github.com/minio/minio/issues/21647#issuecomment-3418675115

docker hackernews open source software

Added 8 months ago

Red Hat data breach escalates as ShinyHunters joins extortion

https://www.bleepingcomputer.com/news/security/red-hat-data-breach-escalates-as-shinyhunters-joins-extortion/

cyber security

Added 8 months ago

HashiCorp speaks up about adjusting to life under IBM • The Register

https://www.theregister.com/2025/06/05/hashicorp_ibm_hashidays/

ansible open source orchestration terraform

Added 1 year ago

Upcoming Changes to Let's Encrypt Certificates

https://community.letsencrypt.org/t/upcoming-changes-to-let-s-encrypt-certificates/243873

hackernews

Added 6 months ago

Caedmon’s Hymn Discovery - News & Events | Trinity College Dublin

https://www.tcd.ie/news_events/articles/2026/caedmons-hymn-discovery/

history language

Added 1 month ago

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/

ai code hackernews llm

Added 4 months ago

Authelia is an open-source authentication/authorization server with 2FA/SSO

https://github.com/authelia/authelia

authentication security

Added 1 year ago

LMArena | Benchmark & Compare the Best AI Models

https://lmarena.ai/

ai llm

Added 5 months ago