• Links
  • Lists
  • Tags
  • Search
  • Login

Links

Add
Oldest Newest URL A-Z URL Z-A Title A-Z Title Z-A Random
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

330,000 lines of machine-checked proofs in Isabelle/HOL verify that the Nitro Isolation Engine correctly enforces confidentiality, integrity, and memory safety between EC2 virtual machines on Graviton5.

 
aws computing security
Added 3 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Broken
The most amazing time-lapse video you’ll see today
http://t.co/MsB272dZ

Most time-lapse videos work by capturing an object from one vantage point as the world changes around it. This remarkable time-lapse of the traffic in Ho Chi Minh City by photographer Rob Whitworth moves along with the Vietnamese city. And that — along with a roundabout that seems to beat like the heart of the city — is what helps to make this the most amazing time-lapse video you'll see today.

 
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Sheldon Brown's Bicycle Technical Info
https://www.sheldonbrown.com/

A go-to source of information about bicycle maintenance, repair and customization

 
hackernews hacking
Added 7 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Broken
Security overview dashboards secret scanning metrics and enablement trends
https://github.blog/changelog/2024-07-19-security-overview-dashboards-secret-scanning-metrics-and-enablement-trends-reports-are-now-generally-available/

Today, we’re excited to announce the general availability of our new organization and enterprise-level security overview dashboards, alongside enhanced secret scanning metrics and the enablement trends reports. These features are…

 
application security scanning secrets security
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Broken
https://github.com/ssoready/ssoready
https://github.com/ssoready/ssoready

Open-source dev tools for enterprise SSO. Ship SAML + SCIM support this afternoon. - ssoready/ssoready

 
authentication open source saml sso
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
GitHub - unvalley/ephe: An Ephemeral Markdown Paper for today. Less but handy features for plain Markdown lovers.
https://github.com/unvalley/ephe

An Ephemeral Markdown Paper for today. Less but handy features for plain Markdown lovers. - unvalley/ephe

 
knowledge management markdown
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Meta Pixel halts Android localhost tracking after disclosure • The Register
https://www.theregister.com/2025/06/03/meta_pauses_android_tracking_tech/

: Zuckercorp and Yandex used localhost loophole to tie browser data to app users, say boffins

 
ad privacy
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Mistral raises €3B
https://mistral.ai/news/mistral-makes-sovereign-open-weight-ai-to-frontier/

Mistral today announced that it has raised €3 billion in a Series D funding round at a post-money valuation of more than €21 billion.

 
ai hackernews mistral
Added 1 week ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Saturday Morning Breakfast Cereal - Lake
https://www.smbc-comics.com/comic/lake

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

 
comic RSS
Added 4 days ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Saturday Morning Breakfast Cereal - BOOM
https://www.smbc-comics.com/comic/boom-2

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

 
comic funny identity
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Iranian missile blitz takes down AWS data centers in Bahrain and Dubai — Amazon reportedly declares “hard down” status for multiple zones | Tom's Hardware
https://www.tomshardware.com/tech-industry/iranian-missile-blitz-takes-down-aws-data-centers-in-bahrain-and-dubai-amazon-declares-hard-down-status-for-multiple-zones

Iranian strikes are taking out AWS servers in the region.

 
aws incident
Added 5 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
How to keep up with CI/CD best practices | GitLab
https://about.gitlab.com/blog/2022/02/03/how-to-keep-up-with-ci-cd-best-practices/
 
best practises cicd devops
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Show HN: VOOG – Moog-style polyphonic synthesizer in Python with tkinter GUI
https://github.com/gpasquero/voog

VOOG — Virtual Analog Synthesizer (Moog-style polyphonic synth with GUI) - gpasquero/voog

 
hackernews
Added 7 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Open-source RGB lighting control for keyboards fans etc
https://gitlab.com/CalcProgrammer1/OpenRGB
 
hardware lights rgb software
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Atlas of Space
https://atlasof.space/

An interactive exploration of the planets, moons, asteroids, and other objects in the Solar System.

 
space visualisation
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
The Corporate Creep of Plex: Why it may be time to move to Jellyfin
https://reprodev.com/the-corporate-creep-of-plex-why-it-may-be-time-to-move-to-jellyfin-and-the-open-source-reality/

Why Plex corporate creep restricts system freedom, how Jellyfin restores control, and why Plexamp still saves money on Spotify and Amazon Music

 
hackernews media plex self-hosting
Added 1 month ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Saturday Morning Breakfast Cereal - Up
https://www.smbc-comics.com/comic/up-4

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

 
comic RSS
Added 5 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Challenger: The disaster five people saw coming
https://www.abc.net.au/news/science/2026-01-28/space-shuttle-challenger-disaster-nasa-explosion-video-engineers/106162902

Forty years ago, the Challenger space shuttle disintegrated just after lift-off, killing its crew and changing the history of spaceflight. A small team of engineers tried to prevent the tragedy — but they were overruled.

 
history space
Added 7 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Broken
I was banned from Claude for scaffolding a Claude.md file?
https://hugodaniel.com/posts/claude-code-banned-me/
 
ai claude code hackernews llm
Added 7 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
Saturday Morning Breakfast Cereal - Misery
https://www.smbc-comics.com/comic/misery

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

 
comic RSS
Added 2 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
https://cloudash.dev/?s=09
https://cloudash.dev/?s=09

Tired of constantly switching between AWS Console tabs? Cloudash provides a laser-focused view of your AWS API Gateway, Lambda and other resources - all in a single app.

 
monitoring serverless
Added 1 year ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
You can't cURL a Border
https://drobinin.com/posts/you-cant-curl-a-border/

Country borders don't return JSON, they return judgment. So I built a state machine for travel when governments won't expose your state.

 
automation hackernews
Added 10 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
How Samba Was Written (2003)
https://download.samba.org/pub/tridge/misc/french_cafe.txt
 
hackernews
Added 8 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
1M context is now generally available for Opus 4.6 and Sonnet 4.6
https://claude.com/blog/1m-context-ga
 
2019-01-03 ai anthropic claude code hackernews
Added 6 months ago
Share link via Email Share link via Facebook Share link via Twitter Share link via Reddit Share link via Whatsapp Share link via Telegram Share link via SMS Share link via sharing.service.bluesky Share link via Mastodon Share link via LinkedIn
  • ‹
  • 1
  • 2
  • ...
  • 30
  • 31
  • 32
  • ...
  • 87
  • 88
  • ›
Linkace is a project by Woblick.dev | PGMac . Net . AU | PGLinks