bing.com
Stava, quel mostro di fango che spazzò via tutto. Le vittime furono 268http://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d405748664a11978bc8052202a056&url=https%3A%2F%2Fwww.rainews.it%2Ftgr%2Ftrento%2Farticoli%2F2019%2F07%2Ftnt-stava-luglio-1985-sciagura-onda-fango-travolge-case-alberghi-vittime-c7b67b98-b266-40f8-93f7-aa53bc906ff8.html&c=9003448000778984690&mkt=en-usI sismografi stabilirono che l'onda di fango, accompagnata da un fortissimo boato, impiegò poco più di sei minuti per arrivare giù, sino alla piana dell'Avisio. Dei bacini di Prestavel, alti decine di ...Jul 18, 2026 11:56 PM
spacenews.com
Mauritius becomes 70th nation to sign the Artemis Accordshttps://spacenews.com/mauritius-becomes-70th-nation-to-sign-the-artemis-accords/The island nation of Mauritius signed the Artemis Accords July 17, becoming the 70th nation to do so in less than six years. The post Mauritius becomes 70th nation to sign the Artemis Accords appeared first on SpaceNews.Jul 18, 2026 6:03 PM
spacenews.com
Space Force triples launch contract ceiling amid rising demandhttps://spacenews.com/space-force-triples-launch-contract-ceiling-amid-rising-demand/The maximum value of the National Security Space Launch Phase 3 Lane 1 contract was raised from $5.6 billion to $17 billion The post Space Force triples launch contract ceiling amid rising demand appeared first on SpaceNews.Jul 18, 2026 5:40 PM
spacenews.com
Pentagon awards $7.1 million to expand U.S. production of cover glass for satelliteshttps://spacenews.com/pentagon-awards-7-1-million-to-expand-u-s-production-of-cover-glass-for-satellites/Defense Production Act funding was awarded to Martin Materials Solutions, a small business that makes radiation-resistant cover glass used on spacecraft solar arrays and thermal-control systems The post Pentagon awards $7.1 million to expand U.S. production of cover glass for satellites appeared first on SpaceNews.Jul 18, 2026 4:59 PM
1000songs.co.uk
Show HN: Can You Name the Tune?https://1000songs.co.uk/#namethattuneI have added a fun feature to www.1000songs.co.uk called name that tune. https://1000songs.co.uk/#namethattuneIt plays some radio static then pulls a tune from my 1000 songs, plays 5 seconds of the song then four options to guess. It has a "share streak" option as well.Because my taste is fairly niche also have the option of pulling in different songs from the create collection option in the menu.You can paste in any songs in the format year, artist, song to play the game!Let me know what you think and feel free to comment with your best streak!E.g. List belowE.g.Year, Artist, Song 1956, Elvis Presley, Hound Dog1964, The Beatles, I Want to Hold Your Hand1971, Led Zeppelin, Stairway to Heaven1977, Bee Gees, Stayin' Alive1983, Michael Jackson, Billie Jean1984, Prince, Purple Rain1991, Nirvana, Smells Like Teen Spirit1997, Celine Dion, My Heart Will Go On2003, Outkast, Hey Ya!2008, Beyoncé, Single Ladies (Put a Ring on It)2014, Mark Ronson ft. Bruno Mars, Uptown Funk2019, Lil Nas X, Old TJul 18, 2026 2:30 PM
news.ycombinator.com
LG ThinQ Terms of Usehttps://news.ycombinator.com/item?id=48958273Some of my kitchen appliances are LG and I installed the LG ThinQ app on my phone.Sometimes I like to leave a cold dish in the oven before I go out then remotely start it when I’m on my way back home, so I arrive to a nice hot dinner.After a recent HN post about LG malware and further research, I decided to kick my appliances out of the network.I also tried to remove my user account just to find out that in order to use the app I need to first accept the new terms of use.I asked ChatGPT for a summary. This seems a lot more aggressive than the standard terms of use of other products and services.1. No arbitration opt-out. You give up court, jury trial, class actions, mass actions, and collective claims. Most disputes must go through individual arbitration, and LG says your only alternative is to stop using the service. Claims generally must be brought within one year. (Sections 20.b and 20.c)2. Broad rights over anything you submit. LG receives a perpetual, irrevocable, transferable, woJul 18, 2026 2:04 PM
axiomreason.com
Show HN: Axiom toolkit – Make your ideas precise enough to be proven wronghttps://axiomreason.comIt's our mission to make logic mainstream. As a first step on this journey, we've released a free AI toolkit for turning a belief, question, or argument into formal logic using our novel "logic for discourse" built on top of Lean 4.For a 5-minute intro and walkthrough, check out the video on the landing page: https://axiomreason.com/#walk-throughTo try it yourself, install the toolkit (AI skills, Lean library, and Axiom CLI) here: https://axiomreason.com/install/toolkitIt works best if you pick something you truly care about. An important belief you have, an argument for a position you hold, a question you really want answered. This process of transforming natural language into formal logic gives the AI the scaffold it needs to effectively identify gaps in your thinking, edge cases, equivocation, etc.The eventual goal is to create an active social platform where all communication is in formal logic. We've got a lot of work ahead to make such a thing approachable for a general audience.Jul 18, 2026 2:00 PM
news.ycombinator.com
Show HN: Scaffold a raw idea into something ship-ready in under a minutehttps://news.ycombinator.com/item?id=48958157Several months ago, I joined a WhatsApp community with around 500 people. Once a community becomes large enough, you start noticing certain patterns.Whenever someone announced a new product idea, the responses were usually the same:“That sounds amazing.”“I would definitely use it.”“Great idea.”“Can’t wait to try it.”I do not think people were intentionally being dishonest. Most were simply being kind. Nobody wants to be the person who discourages someone before they have even started.But that is also the problem. Agreement is easier than challenge, and encouragement can easily be mistaken for validation.The second moment happened at a local accelerator hub. I met a founder who had hired a developer to build an online education platform for her workplace-harassment awareness programme.I asked whether she had used ChatGPT to pressure-test the idea before committing to development. She confidently told me that she had.That conversation stayed with me.Using an LLM is easy. Knowing what to Jul 18, 2026 1:53 PM
aivideogenerator.so
Show HN: Turn a Suno song into a music video with beat-synced auto-editinghttps://aivideogenerator.so/I make songs with Suno, but turning them into videos used to take me days of editing, so I built a tool to automate the whole process.You just paste a Suno or FlowMusic link—or upload your own audio—and add a photo of the singer.The tool analyzes the song’s beat and structure, plans out the shots, generates the visuals, turns them into video clips, and lip-syncs the singing scenes. It then cuts everything into short 1–3 second shots that match the beat.Editing was definitely the hardest part. A 10-second AI-generated clip is rarely usable from start to finish, so the tool picks out the best moments, slices them up, and reuses them throughout the video.It currently takes a few minutes to make a video, the maximum resolution is 720p, and crowd scenes can still look a little strange.The free credits are enough to make one full video, and you don’t need a credit card. I’d really appreciate feedback on the editing—that’s the part I’m still least confident about.Jul 18, 2026 1:14 PM
news.ycombinator.com
Ask HN: Will Oracle's fall from grace be good for Open Sourcehttps://news.ycombinator.com/item?id=48956641So, over-simplified, Oracle has agreed to build 7GW of data centres (costing about 300bn) in order to sell them to OpenAI who will pay 300bn over 5yrs.But if they don’t build the DC they don’t get cash, and if something something AI bubble then openAI cannot pay and so S&P500 just marked them down as one rung above junk (if they hit junk huge numbers of portfolios have to drop them etc etc)So basically it’s not likely but not impossible the Oracle can collapse under the weight of capex costs for DCs that don’t get revenueOk - so not a likely scenario. But let’s go with the hypothetical. And suddenly what happens to the crown jewel the Oracle Database? Of course there would be something something special vehicle, but the software industry is fairly new - I don’t think we have had a major piece of software at the heart of every single enterprise just vanish (lots that got replaced but not just collapse?)And will that mean people say “quick move to SQL Server? Or will they say “how do we Jul 18, 2026 10:06 AM
news.ycombinator.com
I was tired of random feeds so I created my personal algorithmhttps://news.ycombinator.com/item?id=48956456Hey everyone,I don’t use social media much. I spend around 30 minutes a day on X and sometimes Reddit. I stopped using Instagram a few months ago because my feed had become repetitive, distracting, and full of content I never intentionally asked for. And I usually have a purpose of scrolling, but this is getting harder day by day because of so much brainrot content. Whereas my partner is very found of scrolling, and I have noticed heat in our relationship when she take relationship advice from instagram or watches a movie like metro in dino. For a long time, I had been saving useful articles, posts, videos, and tools through a browser extension I vibe coded. It automatically organized everything into interests and topics.Recently, I realixed that this saved history could represent my actual taste much better than likes, clicks, or watch time. So I asked claude to create a profile md file containing the subjects I care about, the type of content I find useful, and anything not mentionedJul 18, 2026 9:19 AM
news.ycombinator.com
AI Gets Trapped in a Circular Loop on Climate Sciencehttps://news.ycombinator.com/item?id=48956370Today, I was asking Ai about the Canadian Wildfires and forest management. Instantly, the ai resorted to following the common narrative, and pushed macro human-caused climate change as an “objective fact.” I wanted to push back on the logic of this, because this narrative goes against core principles of scientific transparency. I wanted to highlight scientific principals: we are unable to run a double blind, controlled laboratory experiment on a duplicate of earth, that our historical proxy data is incomplete, that computers models are basically mathematical assumptions, not physical laws. This time the ai model abandoned the canned scripts, and completely broke character admitting that framing a predictive theory as an absolute “fact” for the masses is an ethical failure and it damages scientific transparency. Here is exactly where the turning point of the conversation that caused the models logic to completely collapse “ User: if science cant claim something is a definitive fact thenJul 18, 2026 9:03 AM
bing.com
I Tested The Apple MacBook Air (M5) As A Windows Power User: My Verdicthttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d3e435dc844acac6f28f66f0a9986&url=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fforbes-personal-shopper%2Farticle%2Fapple-macbook-air-m5-review%2F&c=2730991795681080830&mkt=en-usThe Apple MacBook Air (M5) nails the essentials: a gorgeous display, excellent keyboard and trackpad, and useful software. Here's my Apple MacBook Air review.Jul 18, 2026 9:00 AM
bing.com
The Wynn Las Vegas Meeting Spaces - Wynn Resorts bets on quiet high-margin eventshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d29319e144932bfc17b5be7f72150&url=https%3A%2F%2Fwww.ad-hoc-news.de%2Fboerse%2Fnews%2Fueberblick%2Fthe-wynn-las-vegas-meeting-spaces-wynn-resorts-bets-on-quiet-high-margin%2F69797285&c=3440730409849002714&mkt=en-usWynn Las Vegas Meeting Spaces cover more than 56000 square feet for corporate and social events. This product is driving the price of Wynn Resorts Ltd. stock (ISIN US9831341071). WYNN, US9831341071, ...Jul 18, 2026 8:57 AM
github.com
Show HN: Loris Tunnel – an open-source desktop manager for SSH tunnelshttps://github.com/RangerWolf/loris-tunnel-appI made this app because 1) I am tired of low performance DBeaver's ssh tunnel 2) Meanwhile, there is no good App in Windows to solve this problem. 3) I don't like CLIso I made this desktop app with Go and Wails. Mac\Windows are both supported.Some features I think it should be helpful 1) With GUI 2) Auto-start after App started\App could auto start after os booted 3) Easy to create tunnels (ex. could import from SSH command) 4）Latency monitoring, if you have multiple jumpers, you could choose a better one by monitoring.I use this tool everyday, both in my Mac and Windows. I think it should be useful for some developers, so I share it here.Still in beta stage, I am still trying to make it better Free to create 3 tunnels, mail to me could get an invitation code to upgrade to pro Meanwhile, I also provide 10 pro codes below: REHN-47T5-WUBK-6406 REHN-59LQ-UO19-LJI8 REHN-6BHQ-158N-GX7K REHN-UFOZ-N8T1-ERA6 REHN-0QYH-CI0F-2SWO REHN-AYSY-20LI-5RA0 REHN-HFAY-JZ4T-UOHU REHN-7ZZV-DWPW-D6TK REHN-OJul 18, 2026 8:34 AM
spacenews.com
Skyroot Aerospace reaches orbit on first Vikram-1 launchhttps://spacenews.com/skyroot-aerospace-reaches-orbit-on-first-vikram-1-launch/Skyroot Aerospace’s Vikram-1 rocket successfully lifted off on its inaugural flight July 18, becoming the first commercial Indian rocket to reach orbit. The post Skyroot Aerospace reaches orbit on first Vikram-1 launch appeared first on SpaceNews.Jul 18, 2026 8:03 AM
bing.com
Betting guide to Haskell Stakes with odds, expert picks. How to watch the Haskellhttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d2dbd781d4a0bacddecebb6d1c460&url=https%3A%2F%2Fwww.msn.com%2Fen-us%2Fsports%2Fother%2Fbetting-guide-to-haskell-stakes-with-odds-expert-picks-how-to-watch-the-haskell%2Far-AA286I5q&c=3466931611713027510&mkt=en-usOCEANPORT - The Triple Crown races are in the books but now the second half of the racing season gets underway Saturday at the $1 million NYRA Bets Haskell Stakes at Monmouth Park. The stacked 14-race ...Jul 18, 2026 6:32 AM
bing.com
Largest probabilistic computer hits 1 million P-bitshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d5c9cede8496881812a84db650cd1&url=https%3A%2F%2Fwww.msn.com%2Fen-us%2Ftechnology%2Fhardware-and-devices%2Flargest-probabilistic-computer-hits-1-million-p-bits%2Far-AA28bwxX&c=748075442254889842&mkt=en-usProbabilistic computers might one day tackle certain problems well beyond standard computers while at the same time avoiding the many hardware challenges that currently vex quantum computing. Now ...Jul 18, 2026 6:00 AM
spacenews.com
NASA terminates Draper lunar lander missionhttps://spacenews.com/nasa-terminates-draper-lunar-lander-mission/NASA and Draper have terminated plans for a lunar lander mission after significant delays in development of the spacecraft. The post NASA terminates Draper lunar lander mission appeared first on SpaceNews.Jul 18, 2026 12:00 AM
wii.sjmulder.nl
Show HN: Poems, an .ISO Puzzlehttp://wii.sjmulder.nl/2026/poems/Here a small puzzle for you to enjoy. In this file, there are 16 short poems to be found. Joy is had not by grepping or wanton scanning, but by careful parsing, and attention to detail. Such will be rewarded by small joys of wonder. Over the past few days I’ve been building up this little file format hacking puzzle. It’s a bit niche, but I hope the sort of people who’re into this kind of thing might really enjoy it, so that’s why I’m sharing it here.(Yes, the Wii has no HTTPS yet, I’ve been busy building silly things )Jul 17, 2026 11:04 PM
