If your feed is filled with systems engineering, research papers, side projects, and shipping code
- IIT Madras internship (Sethu)
- Distributed systems & BlockDAGs, ZKPs
- Web development
- Operating Systems & Compilers
- LeetCode
Say hi to connect or share what you're building
introducing TScert, a sound core for TypeScript.
- TypeScript functions accepted only with a proof
- a checker whose soundness is proved in Lean
- first target: its own front end, 628 of 684 functions verified
a research project, unfinished by design. read it, inspect it 👇
And apparently, even using a gradient now gets you labelled as AI slop
Are we moving towards a future where every website is designed to look unique by looking exactly the same?
Why does every website look the same these days?
More text, generic layouts, predictable animations, and the same recycled design patterns, website isn't great just because it looks minimal or follows the latest design trend
UI != functionality
https://t.co/IkAmzdRQBy
We're prototyping native language support in Next.js, starting with Route Handlers and Proxy in Go.
This gives you more options for CPU intensive workloads on the server, alongside your React app.
Wow, matrix multiplication in C from scratch? Truly pushing the boundaries of human achievement. What's next, a 2-hour tutorial on writing Hello World? The bar isn't low anymore, it's basically underground
Launching tomorrow!
At Amul, we have been on a mission to help Indians meet their daily protein needs, with a target of at least 1 g of protein per kg of body weight every day.
With a wide range of high protein products across categories, we are now setting our sights on a new category to help build another daily protein habit: savoury snacks.
Our challenge was to make snacking functional by delivering meaningfully high protein per serving, using the best quality protein, and keeping calories in check so that protein-rich snacking could become part of the daily diet.
It was a difficult brief. After over a year of R&D, we are excited to have cracked it!
A high protein snack with calories and protein comparable to a scoop of protein powder!
Designed for convenient on-the-go snacking yet versatile enough for you to personalise and discover your own favourite ways to enjoy it.
We’re excited about what we’ve created. Stay tuned!
gamma correction started as workaround for CRT displays. CRT brightness wasn't linear with the voltage you gave it, so we encoded images nonlinearly to compensate for the hardware
then why the hell are we still using gamma correction?