bing.com
Microsoft 2.5: New security business chief Hayete Gallot on the company’s push into the agentic erahttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d56dd43864467907828f9bbabc1c0&url=https%3A%2F%2Fwww.geekwire.com%2F2026%2Fmicrosoft-2-5-new-security-business-chief-hayete-gallot-on-the-companys-push-into-the-agentic-era%2F&c=15986319344521849883&mkt=en-usHayete Gallot, who rejoined Microsoft in February to lead its security business, is pushing the company toward "agentic security" — systems that spot threats and act on them without waiting for a ...Jul 23, 2026 12:43 AM
valuepair.app
Show HN: ValuePair – a friendship app that cares about values firsthttps://valuepair.appHey,I would like to show you my project, but it's difficult because it only works with a registration, so I explain the concept to you.The Idea: Everyone who registers has to do an onboarding and answer meaningful questions that help you to find a right match. The matching happens by the system. Once you're done with the onboarding, you enter the pool. When a match is found, you go into a 1on1 14 question-set with that person. All answers are revealed immediately. At the end both decide if they form a connection or not. Only if both agree, the chat opens. Once a connection is formed, they can play through other prepared question sets, so the conversation doesn't get dry. It's also possible to create custom question sets to play through with your connected matches.I just got this idea because I really wanted away from all the typical friendship and dating apps that are just a marketplace of user profiles. I feel like that's the only hook other apps offer, people come back because they aJul 22, 2026 10:20 PM
github.com
Show HN: Stream Android Emulators to a Browser Windowhttps://github.com/hsandhu/serve-avdThe npx serve of Android Emulators.Host your emulator for use with Agent tools like Codex, Cursor, or Claude Desktop — locally, over your LAN, or host on a remote machine and tunnel anywhere.Jul 22, 2026 9:30 PM
bing.com
Pete Golding has 'no ill will at all' toward Lane Kiffinhttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d617d56144b4ea5965f914d3a262c&url=https%3A%2F%2Fsports.yahoo.com%2Farticles%2Fpete-golding-no-ill-toward-035900779.html&c=2619106055801069079&mkt=en-usTAMPA – Contrary to what one might think, Pete Golding holds “no ill will” toward his former Ole Miss boss. In fact, he’s thankful for what Lane Kiffin did for him. Golding is entering his first full ...Jul 22, 2026 8:59 PM
thedaily.fm
Show HN: The Daily FM – Turn any source into a daily podcasthttps://thedaily.fm/I built The Daily FM because I wanted a daily summary of the latest AI news sent to my podcast app and then realized it was useful in summarizing other stuff:- Any blogs, websites, or X handles- The top Hacker News stories with comments- Long podcasts (think Lex Fridman)- Changes in state/federal legislationIt pulls your sources, writes a script with a frontier-ish model of your choice, runs it through TTS (MAI-2 studio voices), and publishes a standard RSS feed. You can also combine several pods into one feed for one subscribe point.Under the hood it’s using Cloudflare Workers, queues, browser rendering, and the AI Gateway, but the TTS models aren’t very good on Cloudflare so I switched to the MAI-Voice-2 models with OpenRouter.I also created a public library you can subscribe to without ever signing up, or if you sign up, you can combine a bunch into a single feed and use your own sources as well and choose from other voice options if you don’t like “Excited Ethan” at 1.1x speed.FeedJul 22, 2026 8:50 PM
kalvir.life
Show HN: Kalvir Clockhttps://kalvir.life/clockI've been working on new mind psychology visualizations of time and have created a unique clock to work in the background of my iterm2 transparent vim that has been really helping me focus my mind on complex code, notes, thinking. So have published it for free, it's a one page app, so you can easily copy the HTML code and host it yourself. It's your unique clock for your minds eye.Jul 22, 2026 8:17 PM
europeanspaceflight.com
ONERA Selects AMOS to Build French Space Surveillance Telescopehttps://europeanspaceflight.com/onera-selects-amos-to-build-french-space-surveillance-telescope/Belgium’s AMOS has been selected by the French aerospace research agency ONERA to build PROVIDENCE, a 2.5-metre ground-based telescope that will provide detailed images of satellites in low Earth orbit for the French Air and Space Force. The telescope is expected to enter service in early 2029. Preliminary studies for PROVIDENCE began in 2020, with […] The post ONERA Selects AMOS to Build French Space Surveillance Telescope appeared first on European Spaceflight.Jul 22, 2026 8:13 PM
bing.com
Vietnam Reaffirms Trade Talks, Urges US to Conclude Trade Investigationhttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d26803b844ef6b48a52ece3932dc3&url=https%3A%2F%2Fwww.usnews.com%2Fnews%2Ftop-news%2Farticles%2F2026-07-23%2Fvietnam-reaffirms-trade-talks-urges-us-to-conclude-trade-investigation&c=7450309674221349141&mkt=en-usVietnam called for the United States to conclude the Section 301 investigation with a decision that fully recognises Vietnam's efforts, the foreign ministry said in a statement. Section 301 of U.S.Jul 22, 2026 8:00 PM
github.com
Show HN: Millwright – Rust-based, self-hosted LLM routerhttps://github.com/Northwood-Systems/millwrightHey HN,With the news of OpenRouter possibly being acquired and proliferation of hosted LLM routers (i.e. Ramp Router, Vercel’s AI Gateway), I saw the need for a self hosted solution focused on cost savings, transparency, and performance. So, I built an open sourced router with a simple CLI interface that can easily sit between coding agents and GenAI workloads.For the curious and lazy, at the moment, Millwright has the tools for,- Providers: OpenAI-compatible APIs, Anthropic, Amazon Bedrock- Routing: policy-controlled model roles (cheap, mid, frontier), cheapest healthy route selection- Protocols: OpenAI Chat Completions, Anthropic Messages, text and tool translation- Cache Affinity: role-scoped session lanes without serializing concurrent agent traffic- Spend Tracking: per-team costs, cache usage, model/provider mix, request traces- Cost Analysis: measured usage and modeled candidate economics (HTML, Markdown, JSON)- Reliability: bounded failover, circuit breakers, timeouts, concurrenJul 22, 2026 7:03 PM
nasa.gov
NASA to Showcase Agency’s Newest Wind Tunnel in Virginiahttps://www.nasa.gov/news-release/nasa-to-showcase-agencys-newest-wind-tunnel-in-virginia/Media are invited to NASA’s Langley Research Center in Hampton, Virginia, on Friday, July 31, to attend a media tour and ribbon-cutting ceremony for the Flight Dynamics Research Facility, the agency’s first new wind tunnel in more than 40 years. The event will include a brief media availability with: This event is in person only […]Jul 22, 2026 6:47 PM
windowhints.com
Show HN: Window Hints – Keyboard-first window switchinghttps://windowhints.com/Hello!I’m a big fan of tools and apps that make common (preferably all) actions directly accessible from the keyboard. For example, I use Vimium every day, and it makes me so much faster. When I'm in the zone, using it feels like I'm "flying" :DAt the same time, people often use multiple displays with tons of windows open across multiple apps. Switching between these using the mouse, cmd+tab or Spotlight (by typing the app's name) kinda works, but it's easy to lose your flow when doing so.That's why I built Window Hints. It lets you jump directly to any window using only your keyboard.To get a feel for how it works, it's best to watch some demos on the website:https://windowhints.com- When you press a keyboard shortcut, Window Hints shows labels over all visible windows. Type a label to jump to the corresponding window. You can also press the shortcut again to include buried windows.- It also works when you reveal all windows with Mission Control (ctrl+↑ or swipe up with 3 fingers), asJul 22, 2026 6:12 PM
github.com
Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wronghttps://github.com/cactus-compute/cactus-hybridHey HN, Henry & Roman here from Cactus.A small, on-device model is fast and private, but sometimes wrong, but frontier models are getting expensive pretty fast. So, we post-trained Gemma 4 E2B post-trained to know when it's wrong. Every response comes with a confidence score between 0 and 1. Developers can accept the on-device when it's high, hand off to a bigger cloud model when it's low. By routing only 15-35% of queries to Gemini 3.1 Flash-Lite, Gemma-4-E2B matches Gemini 3.1 Flash-Lite on most benchmarks.- ChartQA: 15-20%- LibriSpeech: 25-30%- MMBench, GigaSpeech, MMAU: 30-35%- MMLU-Pro: 45-55%We were always frustrated by the routing signals hybrid apps rely on: asking the model to rate itself in text (unreliable, and you're parsing prose), or token entropy heuristics (barely better than a coin flip in our tests). So we did mechanistic studies on small models, Gemma 4 particularly, and found the hidden state for different layers carry meaningful self-awareness signal for various siJul 22, 2026 5:56 PM
news.ycombinator.com
Grok is a surprisingly good automated theorem proverhttps://news.ycombinator.com/item?id=49010310TL;DR: I'm working on a Python package called OpenATP [1] that provides a common interface to coding agents for automated theorem proving in Lean. In the latest release, I added support for Leanstral 1.5 [2,3], Grok, and Kimi Code [4]. I was surprised to find that Grok has accuracy competitive with Claude Code and Codex at faster wall-clock times and a fraction of the cost. See the rest of this post and the OpenATP docs [5] for more details.Automated theorem provers take formal statements (in a proof assistant like Lean) and attempt to synthesize a proof. Unsurprisingly, LLMs have become the dominant approach to this task. Many have fine-tuned LLMs specifically for theorem proving, like Mistral's Leanstral 1.5 model. However, a number of recent papers have shown that general-purpose frontier models in a coding harness are competitive with, and sometimes outperform, these specialized models [6,7].In my own research, I've had a lot of success using Claude Code and Codex as automated theoJul 22, 2026 5:28 PM
news.ycombinator.com
Ask HN: Where is NFTs as a technology or investment?https://news.ycombinator.com/item?id=49010010As I’m working through reports, I realized that with AI-everything taking all the air in the room, I hadn’t heard about tokens of the non-fungible kind for a hot second.As an artist, I was excited about the implications of getting paid for your work each time it sold, but have not seen that facet explored in the tech news I follow here and elsewhere.Of those still in the space, what does the landscape look like? Did it pan out better or worse than you expected? Has the technology led to any unforeseen problems or solutions that came from time spent on the tech?Truly curious, seeing as we are in what I would call a similar cultural moment with what I’ve been seeing made and written about “agentic” AI.Jul 22, 2026 5:10 PM
bing.com
Xbox Starts Testing Free Ad-Supported Xbox Cloud Gaming - Newshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8cfb8095a74e21827e436dd0d3d739&url=https%3A%2F%2Fwww.vgchartz.com%2Farticle%2F468563%2Fxbox-starts-testing-free-ad-supported-xbox-cloud-gaming%2F&c=11937847924828890667&mkt=en-usXbox announced it has begun testing free ad-supported Xbox Cloud Gaming with Xbox Insiders. The test period will let Xbox Insiders to stream games they own for free with ads. Players will have a one ...Jul 22, 2026 4:59 PM
bing.com
Federal judges allow new Tennessee congressional map that splits majority-Black district in Memphishttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8cc7a0b5614d5387d0e9283f2e8add&url=https%3A%2F%2Fwww.washingtonpost.com%2Fpolitics%2F2026%2F07%2F23%2Ftennessee-redistricting-memphis-congressional-district%2F17a525a6-86f3-11f1-9cec-0fb26676f07e_story.html&c=3334589667481508893&mkt=en-usA federal judicial panel has allowed Tennessee to use a new congressional map that splits apart a majority-Black district in Memphis, providing another legal victory for Republicans who hope to gain ...Jul 22, 2026 4:59 PM
bing.com
Xbox Starts Testing Free Ad-Supported Xbox Cloud Gaming - Newshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8cd7bd12f046618ec240975abb7d8a&url=https%3A%2F%2Fwww.vgchartz.com%2Farticle%2F468563%2Fxbox-starts-testing-free-ad-supported-xbox-cloud-gaming%2F&c=11937847924828890667&mkt=en-usXbox announced it has begun testing free ad-supported Xbox Cloud Gaming with Xbox Insiders. The test period will let Xbox Insiders to stream games they own for free with ads. Players will have a one ...Jul 22, 2026 4:59 PM
apps.apple.com
Show HN: Loophole – a word game where you make the AI say the secret wordhttps://apps.apple.com/us/app/loophole-daily-word-game/id6791596536Hi HN. I made a word game where you get a secret word and a list of banned words, and you write clues to make an AI say the secret. One word per day, same for everyone.The first version was solve/fail and it was boring, because the guesser solves basically any coherent clue in one shot. I gave it "cyclops of the harbor" and it immediately said lighthouse. So scoring works like golf now: each word has a par, which I get by running a pile of plausible human clues against the pinned model and taking the median, and you're trying to beat par on total word count. Annoying side effect: pars are relative to that specific model, so if I ever upgrade it I have to recalibrate everything.Cheating was the harder problem. Banned words are checked deterministically with lemma matching, but that does nothing against "mariposa" for butterfly, or "vol-KAY-no", or rhymes. I wrote a red-team script and it found ~99 automatic wins like that across 37 words. There's now a second model call that runs in parJul 22, 2026 4:58 PM
rombugearth.com
Show HN: ROMbug Earth – a browser that shows where websites connecthttps://rombugearth.com/I built ROMbug Earth, a Windows browser that displays the IP address, host, estimated network location, and third-party connections behind the websites you visit.It also includes WebRTC, DNS, and IPv6 leak checks, plus an optional whole-device VPN using WireGuard. The browser and network inspection tools are free; the VPN costs $4.99 per month with no long-term contract.The goal is simple: most browsers show you the webpage, but not the network activity happening behind it. ROMbug Earth is designed to make that activity visible.Site: rombugearth.comI’d appreciate feedback on the concept, interface, and what network information would be most useful to show.Jul 22, 2026 4:56 PM
github.com
Show HN: Interact with inactive macOS windows without selecting the window firsthttps://github.com/dainank/apple-click-throughmacOS requires users to 'select' a window first before being able to interact with UI elements within. This leads to more clicks, and I personally found this tedious. Furthermore, this behavior was inconsistent, with some applications actually supporting 'Click Through'.I was not able to find any solutions online without drastically changing the behavior of the OS. In the end I found Hammerspoon and via AI, quickly put together a neat script that seems to work flawlessly (I have also already tested it works on the beta of Golden Gate).This script enables click through on macOS, allowing you to click UI elements inside inactive windows without clicking the window first, solving the aforementioned problem.Feel free to try it out and submit improvements. I submitted this on HN since I figured some users are looking for something similar since a few years.Jul 22, 2026 4:38 PM
