Tag: Hacker News

2025-05-13 07:07:00 github.com git-bug is a standalone, distributed, offline-first issue management tool that embeds issues, comments, and more as objects ...

Unhappy with the recently lost file upload feature in the Nextcloud app for Android? So are we. Let us explain.

2025-05-14 01:38:00 nextcloud.com Dear users, We are aware that for some months, Nextcloud file uploads for Android users have not ...

Databricks and Neon | Databricks Blog

2025-05-14 06:10:00 www.databricks.com Today, we are excited to announce that we have agreed to acquire Neon, a developer-first, serverless Postgres ...

INE Security Alert: Continuous CVE Practice Closes Critical Gap Between Vulnerability Alerts and Effective Defense – Latest Hacking News

CyberNewswire 2025-05-14 06:00:00 latesthackingnews.com 0 Cary, North Carolina, May 14th, 2025, CyberNewsWire INE Security, a global leader in hands-on cybersecurity ...

Writing that changed how I think about PL

2025-05-14 00:19:00 bernsteinbear.com May 13, 2025 Every so often I come across a paper, blog post, or (occasionally) video that ...

A tool to verify estimates, II: a flexible proof assistant

2025-05-10 06:41:00 terrytao.wordpress.com In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since ...

Airbnb Is in Midlife Crisis Mode

2025-05-13 15:17:00 www.wired.com Chesky explains that historically, people used Airbnb only once or twice a year, so its design had ...

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

2025-05-10 09:51:00 www.space.com Astronomer Gianluca Masi of the Virtual Telescope Project caught this image of Kosmos 482 during one of ...

Starcloud: Data centers in space

2025-05-13 16:13:00 www.ycombinator.com Hey all, we're building data centers in space. We’re launching our first satellite next year, which will ...

Google is finally building its own DeX: First look at Android’s Desktop Mode

2025-05-13 10:30:00 www.androidauthority.com Mishaal Rahman / Android AuthorityTL;DR Google is developing its own DeX-like desktop mode for Android, and we ...

HelixDB/helix-db: HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.

2025-05-13 13:26:00 github.com HelixDB is a Rust written, open-source, graph-vector database built for RAG and AI applications. HelixDB is a ...

Why are coffee stains darkest at the edges when they dry?

2025-05-11 17:03:00 www.why.is Question Asked By Gunnlaugur Briem Answer There are many things around us that are so taken for ...

INE Security Alert: Top 5 Takeaways from RSAC 2025 – Latest Hacking News

CyberNewswire 2025-05-13 06:12:00 latesthackingnews.com 1 Cary, North Carolina, May 13th, 2025, CyberNewsWire Comprehensive Training Platform Delivers Solutions for AI Security, ...

Why The 737 MAX Has Been Such A Headache For Boeing

2025-05-12 23:29:00 www.jalopnik.com Wirestock/Getty Images Since it first flew in ...

The BEAM-Erlang’s virtual machine –

2025-05-09 14:48:00 www.erlang-solutions.com Welcome to the first chapter of the “Elixir, 7 Steps to Start Your Journey” series. In my ...

Ask HN: Is Slack Down?

2025-05-12 18:28:00 news.ycombinator.com peterkos 41 minutes ago | next "Users experiencing issues connecting to Slack and unable to load threads" ...

airweave-ai/airweave: Airweave lets agents search any app

2025-05-12 11:34:00 github.com Airweave is a tool that lets agents semantically search any app. It's MCP compatible and seamlessly connects ...

The Glitch Gallery

2025-05-11 13:29:00 glitchgallery.org Welcome to the Glitch Gallery, an online exhibition of pretty software bugs! This is a museum of ...

Researchers unveil unprecedented satellite that will have to be turned off when it floats over the US: ‘This was a pity’

May 11, 2025