HN user
A software developer living in Stockholm. Can be reached via tgeek at msn.com
At the AtCoder World Tour Finals 2026, an OpenAI system crushed all human competitors in an exhibition match, solving all five problems in the Algorithm Division. Two of those problems were rated exceptionally difficult by observers.
I had been using Antigravity for about 4 months now. I used Gemini Pro 3.1 heavily for small to medium size projects, alongside I used AWS Kiro and Claude Code. Then I use Angtigravity but instead of Gemini I installed Claude code extention which was working great till Today with the new update, Antigravity removed all the vscode extentions. Not sure even how git will work here. This antigravity update isn't an update but a completely new product. All the investments we have made in order set it down with our dev process, integration is gone, wasted. This is a very bad move but actually its the permanent state of Google, launch a product and a bunch of similar kind of products and then pull the rug.
A good effort, but i failed to see any use case why someone will select Lumina over TypeScript. Infact Lumina itself is written in TypeScript.
Humans are not going to visit Mars anytime soon, let alone colonize. There are not one but many unsolved technical, economical etc. issues.
But its a dream and a wish list. And We're the only species who can have dreams as big as we want.
Most people don't realize how important is the "size" of active military for any country.
Turkey is the 2nd most powerful military in NATO after USA. It has access to all modern weapons, manufacturing abilities and above all, centuries of experience in fighting, winning and losing WARS.
Turkey's location is very very important for all kind of military operations and trade via Black Sea.
Right now, we've robots and space probes working all over the Solar System with much more intelligence and reliability than any biological rodents.
For me, as a developer, Microsoft is a company with deep roots in compilers and operating systems. All of the business empire started from these two foundations. Since its inception till today, Microsoft has been producing some global products every decade. And then making these products unbeatable in the global marketes. Be it Windows, Office, Exchange, Developer tools & Compilers, Web Servers, XBox, Azure, Teams etc. You just name it and Microsoft is right there in almost every field with profitable products. A lot of people don't like the traditional Microsoft products but all of the products just work and are being used for tens of millions of customers around the globe every day. Any Software company with ability to create profitable products every decade is a killer company. That is the secret souce Microsoft has.
As a developer just imagine about a company which gives you a developer tool to make a web application, using the company's provided compiler, which then can be deployed on a company's provided webserver and can store some data on company's provided database which is running on company's provided operating system.
The company also happens to provide end-to-end tools for running a company of a 5 people to a company of 500,000 people.
This is Microsoft.
Unfortunately, that is not possible. Earth isn't a star and not big enough to provide this much data even outside of our Solar System, let alone millions of light years away.
From a philosophical point of view, an event happens at the point when observed by an observer. For us, Humans on earth, this supernova happens now and not 120 million years ago.
Objects move pretty fast in space, usually tens of kilometers per second. A 20 meter of diameter object with velocity of 10000 mps is pretty deadly impact from Earth's point of view.
If you take away all the media hype around Alan Turning and just see his contributions, he will still stand out.
On Computable Numbers [1] is perhaps one of the top 3 papers in the history of Mathematics. One of the most remarkable thing about Turning Machine is its simplicity.
Then again, in 1950, Can Machine Think[2] is perhaps the top 3 papers in the history of Philosophy. And then again, one of the most remarkable thing about Turing Test and the Imitation Game is its simplicity.
The impact of these two papers in the academia, industry and in our lives is huge.
Alan Turning is easily one of the top 3 Mathematicians and Philosophers of all time.
[1]. https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
[2]. https://academic.oup.com/mind/article/LIX/236/433/986238
So at high level its Pub/Sub and RPC combined together in a single framework.
From a developer perspective, you can create a "channel" and then start transmitting messages on that channel. Then someone else can subscribe and can listen to that channel.
In the same way, someone can "expose" a single method. And you as a developer can call that method from anywhere.
The medium of communication is WebSockets. The protocols it uses is WAMP.
Which means any programming language can implement this (on top of WebSockets) and can take advantage of "distributed application architecture".
This is great visualization.
Mehrgarh [1] one of the oldest city in South Asia (pre 7000 BCE) is missing.
First there is nothing called center of a blackhole. What mathematics tells us is exactly what is a black hole. After crossing the event horizon, there is no time so there is no "information" exists. Its the end of "everything" which I wrote "nothingness". Thats what is in the black hole. Thats the structure.
What is more poetic than a mathematical model of a black hole? Look at this
A "finished" black hole (The end state of the gravitational collapse) doesn't have a volume or any density.
This is the mathematical solution first obtained by Schwarzschild in 1916. So standard mathematical solutions of the black holes are vacuum solutions.
There is "nothingness" inside the event horizon.
The outside observer would see a collapsing sphere of dust, but over time, as the radius of the sphere approaches the (yet to form) event horizon, gravitational time dilation makes everything appear increasingly in slow motion. The actual moment of horizon formation is never seen, it remains forever in the future for the outside observer.
For the in falling observer, the situation is different. The moment once the horizon is crossed, there is no escape. The observer will find himself inside an ever shrinking “universe” of dust everywhere. The singularity is an unavoidable future moment in time, when the density of this “universe” becomes divergent and time itself comes to an end.
So there you've a vacuum. A "universe" of vacuum everywhere where there is no time exists.
Most typed languages work like this way. For example, Java compiles down to the bytecode. The JVM bytecode doesn't have preserve generics information. But Java code has generics so when it compiles down to the bytecode, it removes that information. This is almost true for all high level languages. Kotline's type system is very different than Java but it also compile down to the bytecode so Java and Kotline shares their libraries without sharing the type system. Type Script is no different. Only problem here is that Type Script doesn't bring its own "runtime" or libraries.
TS compiled to JS without any "overhead". This is not what the OP said.
I had been thinking that WebAssembly or CLR could be the target for TypeScript and that would allow to bring her own base class libraries etc.
But if you look closely again, the beaut & wide adoption of TS is because it has no "runtime" or no extra libraries or APIs to learn. Its the JS.
This also makes it easy to iterate quickly on Type System and bring new features. Having its own runtime means, that wouldn't be easy.
But I completely agree that TS right now has perhaps one of the best and most intuitive Type System than any other language.
One of the remarkable property of ML languages is algebraic data types and then type systems. Look here
type Bottom = private Bottom of Bottom
Modeling any kind of data is intuitive and simple. This is why ML languages (F#, oCamel etc.) shines in industries where you've complex data like Finance. Reading any F# code is like reading a novel. It starts with modeling of data and small functions. Then these small functions and data evolves into bigger features. File by file you keep moving upwards. For example if you are writing a Json parser in F#, you start with Modeling Json data first. And here it is
type JsonValue = | String of string | Number of decimal | Float of float | Record of properties:(string * JsonValue)[] | Array of elements:JsonValue[] | Boolean of bool | Null
Then everything starts from here.
MQM and coalition was brought in power in 1983. Since then PPP has no mandate, they have no power to run the city. There are no funds available to any PPP representative in Karachi. All development or non-development projects run by the City administration. It is always the winning parties who decide about city development. How come a party which doesn't have any significant representation in city administration for 40 years is responsible for its development??? Karachi's city administration has been receiving one of the largest funds than any other city in Pakistan.
Since early 1980s, Karachi city is not under PPP govt. So it really doesn't matter how corrupt Pakistan Peoples Party is, Karachi has not been voting for them for nearly 40 years now. It is always MQM with some coalition who runs Karachi. Right now PPP has only 3 NA seats from Karachi.
I agree that whenever I've to "adjust" something in HTML, CSS, its always a struggle with multiple tries and write-run-write-run cycle. But again, this has nothing to do with how you design and write code in a static language.
That's spot on. I mostly work with C#, F# in a day to day job and I build my code only a few times. This is also true when I work with Java, Angular and TypeScript. When I pick a new feature to implement I design that on paper with pencil and then mostly translate that to code. Mostly I can code for hours without compiling since this is where Typed Languages have strength.
Comparing Human Brain with a CPU is misconception. In the past when we didn't have digital computers we used to compare Brain with other machines. And now with a CPU. A Brain from a primitive neuron to higher level is not comparable to any machine at all including the CPU.
There is a product called Unomaly [1] which does exactly what you wrote.
That is not entirely true. You are implying that entire population who lives on South side don't travel to Arlanda airport and in the same way, people on north side don't go to Karolinska Huddinge which is situated on South side.
This huge project is a "bypass" and it'll work as any other bypass in other cities around the world. Which means any kind of traffic moving from North to South and vice versa, will bypass entire Stockholm, and right now I see huge amount of traffic every day on this route.
Yet another criticism is that the highway doesn't really solve the problem, because there's actually very little existing traffic that goes between the points it will connect.
The route between Kista and Huddinge is perhaps one of worst traffic route in entire Country. This is because there is HUGE traffic almost 8-9 hours a day on this route. I drive this route twice a month and its horrible. So I don't know who told you that there is very little existing traffic here.
I doubt that the billion's dollars business decisions are taken because of the programming models of the products.
There is a really good short novel Manna [1] that explore two models of Post robotic world.
Incidentally the Germanic nations (German, Sweden, Finland, Denmark, Switzerland etc) always ranks in top 5 in almost every ranking of this kind.