Forem

Aman Shekhar profile picture

Aman Shekhar

I have over 11 years of experience working as a Fullstack Developer.

Pronouns

He/Him

Work

Boeing

AI will make formal verification go mainstream
Cover image for AI will make formal verification go mainstream

AI will make formal verification go mainstream

Comments
4 min read
Children with cancer scammed out of millions fundraised for their treatment
Cover image for Children with cancer scammed out of millions fundraised for their treatment

Children with cancer scammed out of millions fundraised for their treatment

Comments
4 min read
If AI replaces workers, should it also pay taxes?
Cover image for If AI replaces workers, should it also pay taxes?

If AI replaces workers, should it also pay taxes?

Comments
5 min read
Recovering Anthony Bourdain's Li.st's
Cover image for Recovering Anthony Bourdain's Li.st's

Recovering Anthony Bourdain's Li.st's

Comments
4 min read
OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
Cover image for OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI

Comments
4 min read
GPT-5.2
Cover image for GPT-5.2

GPT-5.2

Comments
5 min read
A “frozen” dictionary for Python
Cover image for A “frozen” dictionary for Python

A “frozen” dictionary for Python

Comments
3 min read
Mistral releases Devstral2 and Mistral Vibe CLI
Cover image for Mistral releases Devstral2 and Mistral Vibe CLI

Mistral releases Devstral2 and Mistral Vibe CLI

Comments
4 min read
LLM from scratch, part 28 – training a base model from scratch on an RTX 3090
Cover image for LLM from scratch, part 28 – training a base model from scratch on an RTX 3090

LLM from scratch, part 28 – training a base model from scratch on an RTX 3090

Comments
4 min read
I failed to recreate the 1996 Space Jam website with Claude
Cover image for I failed to recreate the 1996 Space Jam website with Claude

I failed to recreate the 1996 Space Jam website with Claude

Comments
4 min read
Using LLMs at Oxide
Cover image for Using LLMs at Oxide

Using LLMs at Oxide

Comments
4 min read
Gemini 3 Pro: the frontier of vision AI
Cover image for Gemini 3 Pro: the frontier of vision AI

Gemini 3 Pro: the frontier of vision AI

Comments
4 min read
Most technical problems are people problems
Cover image for Most technical problems are people problems

Most technical problems are people problems

Comments
4 min read
It’s time to free JavaScript
Cover image for It’s time to free JavaScript

It’s time to free JavaScript

Comments
4 min read
OpenAI declares 'code red' as Google catches up in AI race
Cover image for OpenAI declares 'code red' as Google catches up in AI race

OpenAI declares 'code red' as Google catches up in AI race

Comments
4 min read
What will enter the public domain in 2026?
Cover image for What will enter the public domain in 2026?

What will enter the public domain in 2026?

5
Comments
4 min read
Search tool that only returns content created before ChatGPT's public release
Cover image for Search tool that only returns content created before ChatGPT's public release

Search tool that only returns content created before ChatGPT's public release

Comments
4 min read
Norway wealth fund to vote for human rights report at Microsoft, against Nadella
Cover image for Norway wealth fund to vote for human rights report at Microsoft, against Nadella

Norway wealth fund to vote for human rights report at Microsoft, against Nadella

Comments
4 min read
Fran Sans – font inspired by San Francisco light rail displays
Cover image for Fran Sans – font inspired by San Francisco light rail displays

Fran Sans – font inspired by San Francisco light rail displays

Comments
4 min read
Show HN: Forty.News – Daily news, but on a 40-year delay
Cover image for Show HN: Forty.News – Daily news, but on a 40-year delay

Show HN: Forty.News – Daily news, but on a 40-year delay

Comments
4 min read
Agent design is still hard
Cover image for Agent design is still hard

Agent design is still hard

Comments
4 min read
New OS aims to provide (some) compatibility with macOS
Cover image for New OS aims to provide (some) compatibility with macOS

New OS aims to provide (some) compatibility with macOS

Comments
4 min read
Europe is scaling back GDPR and relaxing AI laws
Cover image for Europe is scaling back GDPR and relaxing AI laws

Europe is scaling back GDPR and relaxing AI laws

Comments
4 min read
Multimodal Diffusion Language Models for Thinking-Aware Editing and Generation
Cover image for Multimodal Diffusion Language Models for Thinking-Aware Editing and Generation

Multimodal Diffusion Language Models for Thinking-Aware Editing and Generation

Comments
4 min read
The Uselessness of "Fast" and "Slow" in Programming
Cover image for The Uselessness of "Fast" and "Slow" in Programming

The Uselessness of "Fast" and "Slow" in Programming

Comments
4 min read
Mysterious drones have been spotted at airports across Europe
Cover image for Mysterious drones have been spotted at airports across Europe

Mysterious drones have been spotted at airports across Europe

Comments
4 min read
AirPods libreated from Apple's ecosystem
Cover image for AirPods libreated from Apple's ecosystem

AirPods libreated from Apple's ecosystem

Comments
4 min read
AI World Clocks
Cover image for AI World Clocks

AI World Clocks

1
Comments
4 min read
Nano Banana can be prompt engineered for nuanced AI image generation
Cover image for Nano Banana can be prompt engineered for nuanced AI image generation

Nano Banana can be prompt engineered for nuanced AI image generation

Comments
4 min read
GPT-5.1: A smarter, more conversational ChatGPT
Cover image for GPT-5.1: A smarter, more conversational ChatGPT

GPT-5.1: A smarter, more conversational ChatGPT

Comments
4 min read
Yann LeCun to depart Meta and launch AI startup focused on 'world models'
Cover image for Yann LeCun to depart Meta and launch AI startup focused on 'world models'

Yann LeCun to depart Meta and launch AI startup focused on 'world models'

Comments
4 min read
OpenAI may not use lyrics without license, German court rules
Cover image for OpenAI may not use lyrics without license, German court rules

OpenAI may not use lyrics without license, German court rules

Comments
4 min read
Marble Fountain
Cover image for Marble Fountain

Marble Fountain

Comments
4 min read
Study identifies weaknesses in how AI systems are evaluated
Cover image for Study identifies weaknesses in how AI systems are evaluated

Study identifies weaknesses in how AI systems are evaluated

Comments
4 min read
YouTube Removes Windows 11 Bypass Tutorials, Claims 'Risk of Physical Harm'
Cover image for YouTube Removes Windows 11 Bypass Tutorials, Claims 'Risk of Physical Harm'

YouTube Removes Windows 11 Bypass Tutorials, Claims 'Risk of Physical Harm'

Comments
4 min read
You should write an agent
Cover image for You should write an agent

You should write an agent

1
Comments
4 min read
ChatGPT terms disallow its use in providing legal and medical advice to others
Cover image for ChatGPT terms disallow its use in providing legal and medical advice to others

ChatGPT terms disallow its use in providing legal and medical advice to others

Comments
4 min read
UPS plane crashes near Louisville airport
Cover image for UPS plane crashes near Louisville airport

UPS plane crashes near Louisville airport

Comments
4 min read
AI's Dial-Up Era
Cover image for AI's Dial-Up Era

AI's Dial-Up Era

Comments
4 min read
Using FreeBSD to make self-hosting fun again
Cover image for Using FreeBSD to make self-hosting fun again

Using FreeBSD to make self-hosting fun again

Comments
4 min read
Visopsys: OS maintained by a single developer since 1997
Cover image for Visopsys: OS maintained by a single developer since 1997

Visopsys: OS maintained by a single developer since 1997

1
Comments
4 min read
Abandonware of the web: do you know that there is an HTML tables API?
Cover image for Abandonware of the web: do you know that there is an HTML tables API?

Abandonware of the web: do you know that there is an HTML tables API?

Comments
4 min read
Rouille – Rust Programming, in French
Cover image for Rouille – Rust Programming, in French

Rouille – Rust Programming, in French

Comments
4 min read
Uv is the best thing to happen to the Python ecosystem in a decade
Cover image for Uv is the best thing to happen to the Python ecosystem in a decade

Uv is the best thing to happen to the Python ecosystem in a decade

Comments
4 min read
Using AI to negotiate a $195k hospital bill down to $33k
Cover image for Using AI to negotiate a $195k hospital bill down to $33k

Using AI to negotiate a $195k hospital bill down to $33k

Comments
4 min read
EuroLLM: LLM made in Europe built to support all 24 official EU languages
Cover image for EuroLLM: LLM made in Europe built to support all 24 official EU languages

EuroLLM: LLM made in Europe built to support all 24 official EU languages

Comments
4 min read
Microsoft 365 Copilot – Arbitrary Data Exfiltration via Mermaid Diagrams
Cover image for Microsoft 365 Copilot – Arbitrary Data Exfiltration via Mermaid Diagrams

Microsoft 365 Copilot – Arbitrary Data Exfiltration via Mermaid Diagrams

2
Comments
4 min read
A worker fell into a nuclear reactor pool
Cover image for A worker fell into a nuclear reactor pool

A worker fell into a nuclear reactor pool

Comments
4 min read
The Journey Before main()
Cover image for The Journey Before main()

The Journey Before main()

Comments
4 min read
Unlocking free WiFi on British Airways
Cover image for Unlocking free WiFi on British Airways

Unlocking free WiFi on British Airways

Comments
4 min read
Study: MRI contrast agent causes harmful metal buildup in some patients
Cover image for Study: MRI contrast agent causes harmful metal buildup in some patients

Study: MRI contrast agent causes harmful metal buildup in some patients

Comments
4 min read
Debian Technical Committee overrides systemd change
Cover image for Debian Technical Committee overrides systemd change

Debian Technical Committee overrides systemd change

Comments
4 min read
Armed police swarm student after AI mistakes bag of Doritos for a weapon
Cover image for Armed police swarm student after AI mistakes bag of Doritos for a weapon

Armed police swarm student after AI mistakes bag of Doritos for a weapon

Comments
5 min read
Karpathy on DeepSeek-OCR paper: Are pixels better inputs to LLMs than text?
Cover image for Karpathy on DeepSeek-OCR paper: Are pixels better inputs to LLMs than text?

Karpathy on DeepSeek-OCR paper: Are pixels better inputs to LLMs than text?

Comments
4 min read
Ovi: Twin backbone cross-modal fusion for audio-video generation
Cover image for Ovi: Twin backbone cross-modal fusion for audio-video generation

Ovi: Twin backbone cross-modal fusion for audio-video generation

Comments
4 min read
LLMs can get "brain rot"
Cover image for LLMs can get "brain rot"

LLMs can get "brain rot"

Comments
4 min read
ChatGPT Atlas
Cover image for ChatGPT Atlas

ChatGPT Atlas

Comments
4 min read
Alibaba Cloud says it cut Nvidia AI GPU use by 82% with new pooling system
Cover image for Alibaba Cloud says it cut Nvidia AI GPU use by 82% with new pooling system

Alibaba Cloud says it cut Nvidia AI GPU use by 82% with new pooling system

Comments
4 min read
Today is when the Amazon brain drain sent AWS down the spout
Cover image for Today is when the Amazon brain drain sent AWS down the spout

Today is when the Amazon brain drain sent AWS down the spout

Comments
4 min read
Forth: The programming language that writes itself
Cover image for Forth: The programming language that writes itself

Forth: The programming language that writes itself

Comments
4 min read
loading...