31
ChatGPT for Robotics
We use ChatGPT to allow a user to intuitively control multiple robots such as drones, robot arms, home assistant robots using only language.
Microsoft
- Popular posts
- 61
- Total points
- 12,873
- HN comments
- 6,366
- Rank
- #65 company
Visit microsoft.com → On Hacker News Sep 2009 – Apr 2025
Tech Industry & Business 22Software Engineering 14AI & Machine Learning 12Security & Privacy 11Infrastructure & DevOps 7Systems & Performance 6
32
33
34
Microsoft buys Minecraft for 2.5B
The latest news and stories about how technology is helping people around the world solve problems, innovate and do more each day.
35
How Microsoft quietly built the city of the future
The latest news and stories about how technology is helping people around the world solve problems, innovate and do more each day.
36
37
38
Hardening attack surfaces with formally proven binary format parsers
With an eye toward performance, interoperability, or legacy concerns, low-level system software often must parse binary encoded data formats. Few tools are available for this task, especially since the formats involve a mixture of arithmetic and data dependence, beyond what can be handled by typical parser generators…
39
Implementing Algebraic Effects in C
We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. We use a formal operational semantics to guide the C implementation at every step where an evaluation context corresponds directly to a…
40
Visual Studio 2010 released
Visual Studio dev tools & services make app development easy for any developer, on any platform & language. Develop with our code editor or IDE anywhere for free.
41
Microsoft agrees to $1.2bn purchase of Yammer
The latest news and stories about how technology is helping people around the world solve problems, innovate and do more each day.
42
43
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alternatives like C/C++. These guarantees come from a strong ownership-based type system, as well as primitive support for features like closures…
44
Second version of HoloLens HPU will incorporate AI coprocessor
By Marc Pollefeys, Director of Science, HoloLens It is not an exaggeration to say that deep learning has taken the world of computer vision, and many other recognition tasks, by storm. Many of the most difficult recognition problems have seen gains over the past few years that are astonishing. Opens in a new tab…
45
Faster – A key-value store for large state management
At SIGMOD 2018, a team from Microsoft Research will be presenting a new embedded key-value store called FASTER, described in their paper “FASTER: A Concurrent Key-Value Store with In-Place Updates”. As its name suggests, FASTER makes a major leap forward in terms of supporting fast and frequent lookups and updates of…
46
Microsoft Board Names Satya Nadella as CEO
The latest news and stories about how technology is helping people around the world solve problems, innovate and do more each day.
47
Project Snowflake: Non-blocking safe manual memory management in .NET
We propose integrating safe manual memory management with garbage collection in the .NET runtime to get the best of both worlds.
48
Time-Travel Debugging for JavaScript/Node.js
Time-traveling in the execution history of a program during debugging enables a developer to precisely track and understand the sequence of statements and program values leading to an error. To provide this functionality to real world developers, we embarked on a two year journey to create a production quality…
49
50
Microsoft says: IE6 is like 9 year old milk
Explore Microsoft products and services and support for your home or business. Shop Microsoft 365, Copilot, Teams, Xbox, Windows, Azure, Surface and more.
51
A Cloud-Scale Acceleration Architecture: FPGAs in Microsoft’s Datacenters
A hyperscale Configurable Cloud architecture using FPGAs to efficiently accelerate networking and applications with a distributed fabric in the data center.
52
53
Microsoft Cloud Strength Highlights Second Quarter Results
Commercial cloud annualized revenue run rate exceeds $9.4 billion; Windows 10 active on over 200 million devices
54
Andrew Kim: Minimal to the max
The latest news and stories about how technology is helping people around the world solve problems, innovate and do more each day.
55
NET Core and ASP.NET Core RC2 Released
Free downloads for building and running .NET apps on Linux, macOS, and Windows. Runtimes, SDKs, and developer packs for .NET Framework, .NET, and ASP.NET.
56
The Science of Word Recognition
Reviews the history of why psychologists moved from a word shape model of word recognition to a letter recognition model.
57
58
59
The Implementation of Functional Programming Languages
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, incuding detailed…
60
Why Do Nigerian Scammers Say They are From Nigeria?
False positives cause many promising detection technologies to be unworkable in practice. Attackers, we show, face this problem too. In deciding who to attack true positives are targets successfully attacked, while false positives are those that are attacked but yield nothing. This allows us to view the attacker’s…