Home
This blog hosts various different ideas, projects and intresting case studies into topics spanning areas of computer and cognitive sciences. Contact me if you’re intrested in any of my content!
Posts
-
SMT Algorithms for Temporal Constraint Checking in Safety-Critical Systems
Temporal constraints show up everywhere in safety-critical engineering: a brake command must be acknowledged within a deadline, a watchdog must be serviced often enough, a flight-control mode transition must not happen too quickly, and so on. The tricky part is that these requirements live at the intersection of logic (“this must never happen”), time (“within 50ms”), and implementation detail (“with fixed-width integers, saturating arithmetic, and stateful software”).
-
Agent Ensembles
How are agent ensembles structured and deployed to web services in production environments. Can we create a more robust framework for allowing agents to run in parrallel and complete tasks without constant interference and instrumentation.
-
How to Use GitHub Copilot Coding Agent
AI-powered coding assistants have revolutionized software development, and GitHub Copilot Coding Agent represents the next evolution in this space. This post explores how to effectively leverage Copilot Coding Agent to enhance your development workflow, from setup to advanced usage patterns.
-
Ray Tracer - Reflection and Refraction
https://gundralaa.github.io/2023/03/23/cs184-ray-reflect.html
-
Ray Tracer
https://gundralaa.github.io/2023/03/20/cs184-ray-tracer.html
-
Markov Beats
An intresting idea I’ve recently been exposed to is the Markov Chain. The model is simple yet powerful. By linking together a set of states with a set of transition probabilities, you can create intresting state models that express probablistic natures.
-
Linked List
Article on Linked List manipulation techniques and examples problems.
-
Graph Search
Graph Search problems are common so I wanted to write down some of my thoughts on how to implement and solve them as efficently as possible using the syntactical sugar of Python while being stranded on an island.
-
Hello World
This is my first post and hopefully more goes on this page later. This is currently serving as a placeholder for the weekly project post I will try to do at the end of every saturday. To fill this article with relevance, I will be compiling a list of the “Hello World Program” in different programming languages.