whinvik
- Karma
- 0
- Created
- ()
- Submissions
- 196
- Introduction to Formal Methods (Part 2): From Spec to Code (vikramsg.github.io)
- Introduction to Formal Methods – Part 1 (vikramsg.github.io)
- Deep Research from OpenAI now available as API (platform.openai.com)
- Add Virtual Threads to Python (discuss.python.org)
- The Birth of Parquet (sympathetic.ink)
-
Today I was working with Pydantic and I realized that I am version 2, and so many things are not the same anymore. Of course, it's good that they have put warnings in there but I still don't like it. I am also a heavy…
- Python decorators make composability easier (vikramsg.github.io)
- Comparing GPT with Open Source LLM’s (vikramsg.github.io)
- Travel across Germany with the 49 Euro ticket (49travel.vercel.app)
- Numba can be slower than even Pandas, or why you should always benchmark (vikramsg.github.io)
- Speeding up Pandas GroupBy Apply by using NumPy instead (vikramsg.github.io)
-
During my PhD I decided to use a C++ library to build my simulation app. One of the reasons I decided to use that particular library was that it was small and that it compiled quickly! That was very useful because my…
- Can we make machine learning more efficient using conservation laws? (vikramsg.github.io)
- The mathematical method from the movie Hidden Figures (twitter.com)
- What is the Navier Stokes problem? (twitter.com)
- Einstein's PhD Thesis (mobile.twitter.com)
- Short History of Fluid Mechanics (twitter.com)