17,691 results for are

strataweather.com
Show HN: Experiments with Weather Datahttps://strataweather.com/mapI had been wanting to try experimenting with nowcasting since the death of Dark Sky and finally got around to it. This application essentially became a playground for me to experiment with various weather datasets and geospatial visualizations.Some interesting concepts that came from it:The nowcast is using pySTEPS optical flow under the hood: https://pysteps.readthedocs.io/en/latest/auto_examples/plot_.... This library is super cool. It bugged me that every radar visualization just gave you choppy snapshots in time, so I spent some time working on building a smooth interpolation. The backend passes keyframes along with motion data from the optical flow analysis and then has a custom WebGL shader to do the interpolation which lets you scrub the timeline and have a smooth interpolation.The other forecast tiles and the main weather page are using the average of many different weather models. You can see every model that factors in on the models page: https://strataweather.com/models. Thi
Jul 29, 2026 11:52 AM
github.com
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projectshttps://github.com/jagg-ix/zil-leanGoogle Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure.Google's Zanzibar paper: https://storage.googleapis.com/gweb-research2023-media/pubto...
Jul 29, 2026 2:22 AM
spacenews.com
ESA opens call to repurpose Gateway communications modulehttps://spacenews.com/esa-opens-call-to-repurpose-gateway-communications-module/JOHANNESBURG — The European Space Agency is moving ahead with plans to examine the feasibility of repurposing Lunar Link, a communications system developed for NASA’s now-paused Gateway space station, as […] The post ESA opens call to repurpose Gateway communications module appeared first on SpaceNews.
Jul 28, 2026 8:38 PM
europeanspaceflight.com
Germany Considers Dedicated Launch Facility for its Armed Forceshttps://europeanspaceflight.com/germany-considers-dedicated-launch-facility-for-its-armed-forces/Germany is considering building a dedicated launch facility for its armed forces to ensure military satellites can be deployed without having to compete for capacity with commercial payloads. German Defence Minister Boris Pistorius announced that the government was considering the proposal during a 23 July visit to Isar Aerospace’s facilities near Munich. Pistorius said that […] The post Germany Considers Dedicated Launch Facility for its Armed Forces appeared first on European Spaceflight.
Jul 28, 2026 2:47 PM
openotp.app
Show HN: My First OSS as a Teenhttps://openotp.appHey! I'm Jenin, a 14 year old in Toronto, Canada! This is my first proper Open Source software I made, called OpenOTP! I have 6 emails :sob: and grabbing OTP's from them can be hard, even with a good email client. So I built this tool to make it easier for me! I made it in native Swift :)I did this for Hack Club Horizons, which is an event where they're flying teens to 7 countries around the world for hackathons! You can find out more about Hack Club at https://hackclub.com and horizons at https://horizons.hackclub.com.I'd love if you guys could check out my software and let me know what you think :)
Jul 28, 2026 4:57 AM
science.nasa.gov
NASA’s Swift Sees ‘Wandering’ Mega Black Hole Shredding Starhttps://science.nasa.gov/missions/swift/nasas-swift-sees-wandering-mega-black-hole-shredding-star/NASA’s Neil Gehrels Swift Observatory captured an “orphan” black hole lighting up as it devoured a star on the outskirts of a faraway galaxy. These phenomena are rare to begin with, and none had ever before been seen so far outside of a galaxy’s core. “We were looking for these star-shredding events as a way […]
Jul 27, 2026 4:06 PM
github.com
Show HN: Let's Seal – Let's Encrypt for document signing, free and self-hostedhttps://github.com/letsseal/letssealTLDR, Let's Seal gives the finger to Adobe and every doc signing tool (docusign, google, etc) who pay to play with the Adobe Approved Trust List and then charge you for something that should be free.Currently even the person checking if a document/contract is sealed or code is authentic has to also be inside the same Adobe walled garden too. Verification, the part that should be free is the part everyone charges for. Thats the shape Let's Encrypt fixed for TLS, and I wanted the same thing for documents and files.The core idea therefore needed to go a bit beyond e signatures and i created an open standard (SEAL), plus free tools that implement it.When you seal a file, three independent things happen.1. it gets a signature from a certificate authority, chaining to a public root. 2. its record is appended to an RFC 6962 transparency log. and 3. its SHA256 is timestamped on a public blockchain (Bitcoin) via OpenTimestamps. Those three give you integrity, transparency and a timestamped proo
Jul 27, 2026 3:52 PM
spacenews.com
Orbes unveils Exo-ORB and agreement with Symphony Spacehttps://spacenews.com/orbes-unveils-exo-orb-and-agreement-with-symphony-space/SAN FRANCISCO – Southern California startup Orbes announced an agreement July 27 to send Exo-ORB, a free-flying satellite, to gather imagery of an uncrewed Symphony Space station. Exo-ORB, which is […] The post Orbes unveils Exo-ORB and agreement with Symphony Space appeared first on SpaceNews.
Jul 27, 2026 1:00 PM
spacenews.com
SpaceNews Welcomes Max Aliprandi as Business Development Associatehttps://spacenews.com/spacenews-welcomes-max-aliprandi-as-business-development-associate/SpaceNews today announced that Max Aliprandi has joined the company as Business Development Associate, strengthening the company’s sales, business development and product teams as SpaceNews continues to expand its audience, […] The post SpaceNews Welcomes Max Aliprandi as Business Development Associate appeared first on SpaceNews.
Jul 27, 2026 12:00 PM
spacenews.com
Amazon files application for direct-to-device satellite constellationhttps://spacenews.com/amazon-files-application-for-direct-to-device-satellite-constellation/Amazon has filed plans with the Federal Communications Commission for a constellation of more than 5,100 satellites that would provide direct-to-device (D2D) services using Globalstar spectrum. The post Amazon files application for direct-to-device satellite constellation appeared first on SpaceNews.
Jul 27, 2026 11:59 AM
spacenews.com
AI in orbit is a double-edged sword. Here’s how to keep it from cutting space cooperation aparthttps://spacenews.com/ai-in-orbit-is-a-double-edged-sword-heres-how-to-keep-it-from-cutting-space-cooperation-apart/When we talk about stopping an arms race in space, people usually say that we need treaties that every state must follow or agreements that states can choose to follow. […] The post AI in orbit is a double-edged sword. Here’s how to keep it from cutting space cooperation apart appeared first on SpaceNews.
Jul 27, 2026 10:00 AM
news.google.com
Google Maps bug keeps critical info from drivershttps://news.google.com/rss/articles/CBMib0FVX3lxTE04d1A5VnczUXpPWGtMNEVGZGc0QmNmZTlYVTVnck9DWlhrRzJxT2xBUU5oek5zanZwSUdvTnVOZTdNc2p4YW84ZjYtVXM3VTlXaFIzMHQzZTA0aklNSW1zUWk5OE1LX1d6clhZWG5ERQ?oc=5Google Maps bug keeps critical info from drivers  PhoneArena
Jul 27, 2026 7:00 AM
news.ycombinator.com
Ask HN: 1950's Chip industry undermined unions how is AI not doing the same?https://news.ycombinator.com/item?id=49064165In the 1950s the Chip industry undermined minorities, immigrants, women and killed unions.In the 1960-70s it targeted black civil rights groups.Along the way, white men were pushed into management, while anything outside of business was split into smaller tasked jobs. This in return gave companies leverage to cut salaries.I don't care what altman says chatgpt did in a blackbox. I judge the world by what I see. Reality is, chat, claude, etc etc are about as useful as smart as the stupidest, slowest engineer on the team.On the other hand, introducing them has made the job appear more "streamline" more production line like. Work increased, and salaries flattened.Now that companies are not getting returns off of AI, they are cutting AI spending, but make no mistake. Salaries will not recover.What am I missing? How am I wrong?Would love opinions on this
Jul 27, 2026 1:26 AM
news.ycombinator.com
We need to rethink tech stackhttps://news.ycombinator.com/item?id=49061251Let me start this with something we already know, AI is here, it may be controversial how it will operate open or closed but its not going anywhere.If you look at the current tech space, AI integrations and use and some very useful but some unnecessary AI implementations, you will realise that there are either many gaps in current understanding.Lets start on what i wanted to talk, first lets talk about AI, what is AI, not the defination, but actually is AI, it may not be the ultimate intelligence but have some intelligence or atleast we can say, it know certain well known patterns, its ability comes in various sizes, but essentially now we a black box with some knobs, which be a better solution than hard coded flows, logics and if its imagined well, it can be really really useful but there is a flaw.We being extremists, we either think of its going to taking all the jobs or its just useless, there is another way to approach it.Think of it as intelligence layer available to you, but cur
Jul 26, 2026 7:01 PM
github.com
Show HN: LLM-spend – Audit your OpenAI/Anthropic API spend locallyhttps://github.com/kliukovkin/llm-spendI build spend-pacing systems for ad auctions for a living, and my side-project agent workloads still kept surprising me with API bills I couldn't explain. When I asked around how people attribute LLM spend, the answers were the provider dashboard or a spreadsheet.llm-spend is a local CLI that pulls usage from the OpenAI/Anthropic reporting APIs, breaks spend down by key, model and project, projects end-of-month, and flags days that look abnormal against the same weekday's history. It also does a second, independent read of the provider's cost API and warns if the totals disagree by more than 1%. That check exists because I don't want to ship you a wrong report: it catches unit, pagination and grouping bugs in my own pipeline. It checks against the provider's cost API, not your invoice — credits, tax and non-API charges live elsewhere.Keys are the ugly part. OpenAI admin keys can be scoped down to read-only usage/cost access, but admin keys require a Team plan. Anthropic admin keys can'
Jul 26, 2026 4:20 PM
scalattice.com
Show HN: I built a hypervisor and client for inference on consumer computehttps://scalattice.com/blog/openai-sdk-scalattice/I'm the founder of Scalattice, this is my second company, third total product. I'm a 2x founder building some challenging software, some easy software, and some curiosity based tools that I've just always wanted to be a part of!So here is Scalattice.Scalattice is an OpenAI-compatible inference API. You keep the OpenAI SDK, swap base_url + API key, and call open models (Qwen3, Llama 3.3 70B, Gemma 3, DeepSeek R1, etc.). Inference is performed by a provider node on our distributed network of consumer hosted inference machines, we run an open source agent (https://github.com/scalattice/scalattice-agent) which works in Rust to run the inference and get the provider paid.In short, anyone can become a provider, offer up their machine with our Windows/Linux Rust agent, and earn some extra cash, or start a farm of machines to make big bucks.I decided to build some innovative behavioural traits to the API for higher performance/security: 1. output vetting - Scalattice Cloud vets the response ag
Jul 26, 2026 5:43 AM
cygnus.run
Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaShttps://cygnus.runI built Cygnus because of a long standing frustration with the compromises needed to be made when choosing a deployment option for web applications.The ecosystem is fragmented into a few distinct camps, each sacrificing user experience or runtime compatibility to balance isolation, startup latency, and their own profit margins.Docker: Heavier and slower because it has to supervise more than web apps. Paying overhead you don't need. MicroVM's: Good isolation, but huge maintenance surface area and substantial overhead. Great for untrusted code, overkill for your own apps. Workerd: Tries to dance around hardware isolation by enforcing an in-process V8 isolate model. Neutered runtime to prevent arbitrary syscall execution. Personally I still find the tradeoff worthwhile for their edge footprint, but I still find myself complaining about it from time to time. Vercel/Managed serverless: Delivers a great developer experience, uses microVM's which is good for compatibility but has a business m
Jul 25, 2026 12:20 PM
spaceflightnow.com
Super Heavy-Starship rocket chalks up mostly successful test flighthttps://spaceflightnow.com/2026/07/25/super-heavy-starship-rocket-chalks-up-mostly-successful-test-flight/Powered by 33 methane-fueled Raptor engines, the 397-foot-tall two-stage rocket blasted off from SpaceX's "Starbase," Texas, launch site at 5:51 p.m. EDT, putting on a spectacular show for area residents and tourists as it climbed away atop some 16 million pounds of thrust.
Jul 25, 2026 1:08 AM
news.ycombinator.com
Ask HN: Multi dimensional sort (beyond Hilbert curve)https://news.ycombinator.com/item?id=49042861My point is about structuring and indexing an arbitrary dataset, for preprocessing before eg segmentation/clustering, neighbor querys...In 1D, sorting is trivial because scalar values have a total, unambiguous order. In 2D and higher dimensions, there is no single way to order points, and points can't all be compared >=/=_k v if u_k >= v_k (comparing along the k-th coordinate axis only).In 1D, a sorted array satisfies x[i+1] >= x[i]. Extending this naturally to a multi-indexed d-dimensional array x[i, j, k, ...], we can define a dataset as "cartesian sorted" if:- x[i+1, j, k, ...] >=_1 x[i, j, k, ...] - x[i, j+1, k, ...] >=_2 x[i, j, k, ...] - ...and so on.In other words, the array of multi indexes is sorted along every row, column, and slice under its corresponding coordinate projection.What makes this definition interesting is that their exist a very simple algorithm to perform Nd sort in the "cartesian" sense. Just iterate: 1. Perform 1D sorts along every row (apply the permutation
Jul 24, 2026 11:27 PM