I think the ‘Texas’ part in the TXSE is mainly from a business procurement pov. They’re hoping to capitalize on the recent growth in the area, which is possibly ripe for a lot of new listings. The actual electronic trading might still originate in NJ.
I don’t believe they’ll have a floor. I think they are going the NASDAQ route, unless I’m confusing them with Long Term Stock Exchange (I was researching both around the same time).
Take the above with a heap of salt. It’s part my intuition and part things I might have read on the internet (including their corporate site).
This is engineering at its finest. Working within tight constraints to find solutions that minimize impact. An equally important part of the “solution” is communication - to the leadership, departments and customers. Start early, communicate often and you will almost always come out ahead, even if mistakes are made.
> "[Tangentially related emoji] I have completed this fully functional addition to the project that is now working perfectly! There are now zero bugs and the system is ready for deployment to production! [Rocketship emoji]"
This made me laugh so hard. Never trust an AI model saying “There are now zero bugs”! Weaponized incompetence? :)
As a side note, I absolutely am in love with GPT-5 and GPT-5-codex. When I talk to it, it feels like talking to a peer and not an over enthusiastic (but talented) junior with potential. GPT-5-codex on high has been exceptional at debugging insidious bugs.
Probably wouldn’t have been feasible - I heard developers had to compile their games with Stadia support. Maybe it was an entirely different platform, with its own alternative to DirectX, or maybe had some kind of lightweight emulation (such as Proton) but I remember vaguely the few games I played had custom stadia key bindings (with stadia symbols). They would display like that within the game. So definitely some customization did happen.
This is unlike the model that PlayStation, Xbox and even Nvidia are following - I don’t know about Amazon Luna.
Stadia games were just run on Linux with Vulkan + some extra Stadia APIs for their custom swapchain and other bits and pieces. Stadia games were basically just Linux builds.
As I understand it, GeForce Now actually does require changes to the game to run in the standard and until recently only option of "Ready To Play". This is the supposed reason that new updates to games sometimes take time to get released on the service, since either the developers themselves or Nvidia needs to modify it to work correctly on the service. I have no idea if this is true, but it makes sense to me.
They recently added "Install to Play" where you can install games from Steam that aren't modified for the service. They charge for storage for this though.
Sadly, there's still tons of games unavaiable because publishers need to opt in and many don't.
They did have a dev console based on a Lenovo workstation, as well as off-menu AMD V340L 2x8GB GPUs, both later leaked into Internet auctions. So some hardware and software customizations had definitely happened.
Really. A British fraudster managed to sell $20 golf ball finders as bomb detectors for thousands of dollars each to various militarys. He got away with it for quite a while.
If you read the entire article, you’ll find a mention of an audience member pointing at a drone. Remarkably, the device/weapon was able to precisely bring that drone down without affecting any of the nearby drones. Clearly, they have something working for them. I can only imagine that it would be significantly more challenging than simply throwing a very wide EMP. Controlling an EMP is the seemingly impossible task, and they managed to succeed.
It is just a high-power microwave transmitter, made with gallium nitride field-effect transistors.
Like any microwave transmitter, it can use a directional antenna. If the antenna is big enough, it can have a narrow enough transmitted microwave beacon to intercept only a single drone.
The GaN FETs enable a higher transmitter power at whatever high frequency they are using. At lower frequencies, a 70-kW power was already easily achievable in the past. The higher frequency allows a precise aiming of the microwave beacon with an antenna of reasonable size.
I believe they're using a phased array grid of emitters to electronically steer the microwave, not just a normal directional antenna. This means the antenna doesn't need to physically move to change what is pointing at. (within some bounds)
I can echo everyone here in saying the graphics of the game and the execution is fantastic. The keyboard controls on desktop and the thumb control on mobile works great. This got me very excited about the future! Can’t imagine the amount of effort that would have gone in this.
One additional input, although I could play it well on the desktop - the mobile gameplay made me a tad nauseous. I am someone prone to nausea in VR too, but I’ve never felt this in any other mobile game before. I think it’s probably the amount of motion (hilly topography) and the very narrow field of view, along with the way the mobile controls behave. This was on iOS Safari btw (iPhone 16 Pro Max).
It's perfect on the almost square-ish main screen of a foldable.
In fact, it's the best looking game experience on a foldable I've seen so far (most games are designed for either mobile or tablet form factor, and can't quite handle the in-between). And it's cool how you can just fold or unfold the device on the fly, and the game just adapts without anything more noticeable than the camera pivoting a bit if needed to keep the character on-screen. No stutter, no half-second pause for UI to realign, not even perspective change.
EDIT: I just realized it's probably not a mobile-specific thing, and sure enough, on a desktop you can just resize your browser window to see this.
The 'point' skill is trained on a ton of UI data; we've heard of a lot of people using it in combination with a bigger driver model for UI automation. We are also planning on post-training it to work end-to-end for this in an agentic setting before the final release -- this was one of the main reasons we increased the model's context length.
Re: chart understanding, there are a lot of different types of charts out there but it does fairly well! We posted benchmarks for ChartQA in the blog but it's on par with GPT5* and slightly better than Gemini 2.5 Flash.
* To be fair to GPT5, it's going to work well on many more types of charts/graphs than Moondream. To be fair to Moondream, GPT5 isn't really well suited to deploy in a lot of vision AI applications due to cost/latency.
This neatly sums up my experience with Claude Code. It’s a brilliant tool - but one that often requires a tight leash. The challenge is that you won’t know when or where until you’ve used it extensively for your specific use case.
In the author’s case, producing a formal proof that inspires little confidence feels counterproductive. It’s very likely that we’re missing a key piece here: perhaps what’s needed is a model trained specifically to keep large language models on task, verify their output, and challenge them on our behalf.
That said, deep domain knowledge remains essential. Without it, things can easily get built in odd or unintended ways.
A practical workaround (for typical app development/not formal verification) may be to treat the system as a black box - relying on carefully written specifications or test cases. In many situations, that approach could be more effective than trying to wrestle certainty out of inherently uncertain processes.
I guess it's a spectrum with varying abilities. If you ask me, I can see a red apple - or a photo of a red apple precisely. It's not in 3D though, I cannot imagine it from other angles so I cannot image the dots around it. But if I were to sit in a quiet and dark room without any distractions, and tried concentrating super hard (with my eyes closed), then I would be able to see it as other can. Perhaps even manipulate it in my mind.
Then maybe, at least in my case, it is my inability to focus my imagination when my senses are already being bombarded with external stimuli. But I cannot speak for anyone else.
I don’t believe they’ll have a floor. I think they are going the NASDAQ route, unless I’m confusing them with Long Term Stock Exchange (I was researching both around the same time).
Take the above with a heap of salt. It’s part my intuition and part things I might have read on the internet (including their corporate site).
reply