Archives
Here you can find all my previous posts:- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Boeing and Deaths due to Software Bugs
- Notice of AMS: Vladimir Voevodsky
- Gentle Introduction to Homotopy Type Theory
- Interactive Theorem Proving
- Giving a Talk on Propositions as Types
- Web Page is Back
- Recording of My Talk at Lambda Days 2019
- Insisting on a Three-valued Boolean Type
- Comparison of Type Theory and Set Theory
- Competing Against Wadler
- Isomorphism and Embedding
- Google and its own Software
- Gave a Talk: Terminating and Productive Functions
- Giving Talk on Productive and Terminating Functions
- Structurelessness
- Speaking at Lambda Days 2019!
- Programming Lego Mindstorms EV3 in Haskell
- Gave a Talk on Function Totality
- Giving a Talk at IEEE on Function Totality
- Function Totality: Abstraction Tool in Programming
- Proof Assistant in Teaching
- Restoring Engineering in Software Engineering
- Facebook Protest for the Web
- Hooked on Dependent Types
- Typed Functional Programming and Software Correctness
- Wadler on Invented Programming Languages
- Fast Grepping Source Code
- Less bad MTL
- Idris for Haskellers
- Typed Holes in Programming
- Totality in Programming
- Haskell IDE The Memory Hog Engine
- The State of Software Engineering
- Haskell IDE Engine in the Atom Editor from cwd
- Idris 1.3.0 Released
- Incomplete Pattern-matching in Haskell
- Explicit forall in Haskell
- Haskell Library Demonstrating Dependent Types in eDSL
- 2FA Smartphone App
- Haskell User Survey 2018
- Felleisen on Dynamically Typed Languages
- On Dynamically Typed Languages
- Debian Meltdown
- In the Meantime in Radiology
- On Function Types
- Haskell at Google Summer of Code 2018
- Gave a Talk on Types in Programming
- More on Subtyping
- Haskell Stack Upgrade
- Announcing: Talk on the Role of Types in Programming
- Syncthing
- Visualizing Types
- Refinement Types
- Idris 1.2.0 Released
- Embrace, Extend and Extinguish
- Free Monads in Idris
- 10 Things Idris Improved over Haskell
- Writing Dependently Typed Programs in Haskell
- Functional Programming with Graphs
- Dijkstra on Abstraction
- Former Facebook Exec Says Social Media is Ripping Apart Society
- Haskell for Dummies
- Liquid Haskell
- Proving Parity in Idris
- Types and Proofs
- A Subtyping Polymorphism Misfortune
- Programming Language Grouping
- Hoogle
- Equality Broken in Scala
- How Google and Microsoft made E-mail Unreliable
- Unlimited Limitedness
- Stop the Numbers Game
- Committing at the Right Time
- America is obsessed with happiness — and it’s making us miserable
- You don’t have to be stupid to work here, but it helps
- PhD Candidate
- Summary of My Google Summer of Code 2016 Project
- First Debile Plugin for KLEE Done!
- DAVdroid
- Learning sbuild and Extracting LLVM IR Files
- Modifying sbuild
- Fireworks Season
- Academic Rejection Letter
- Setting up sbuild Environment for KLEE
- Started integrating KLEE into Debile
- First Debian Bug Fixed!
- Almost There with Firehosing KLEE, First Debian Bug Reported
- Unit Testing, cgroups, and Confirming Bugs
- C++ Taking Toll
- Unit Testing Interleaved with Development
- Writing Tests and LLVM-interpreting Hundreds of Programs
- Firehosing KLEE
- 2016 and C++
- KLEE: It Ain't Gonna Do Much Without Libraries
- Putting KLEE to Test
- On the PC of the JPF Workshop 2016
- DRM Video on e-books
- Accepted to GSoC 2016!
- Scripting in Scala
- I'm Into Scala
- Conference Decision Chart
- Apple — A For-profit Company
- A Comparative Analysis of Pandas vs. Academics
- Analyzing Debian with KLEE
- Org-mode to Markdown
- When a Draft Says Hello to a PhD Student
- Making Sure Artifact Reviewing Stays Anonymous
- Hand-signing a Digital Document
- An Email Self-Defense Guide by the FSF
- Welcome to the Pirate Bay of Science
- Computing Ethics
- GNU Enscript
- Security and Privacy Double-talk
- Serving on the Program Committee of WMA 2016
- PhD comics: Possible Reasons
- How Winning Leads to Cheating
- Who Controls the Code in Self-driving Cars?
- Added the About page
- Let's Encrypt
- On the Artifact Evaluation Committee for PLDI 2016!
- Two Papers Accepted for Publication in One Day
- JPF-Doop is dead, long live JDoop!
- Getting LLVM Bitcode with Clang from Android — Take II
- Accessing Research Publications Off-campus
- Facebook Fellowship
- Research work done so far
- Writing with Others
- Video: The War on Science
- The Smartphone Society
- LDV + SeaHorn
- Necessity of packaging research artifacts for reuse
- Getting LLVM bitcode with Clang from Android
- Trip reimbursements
- Back from ISSTA and CAV 2015
- Experience with Artifact Evaluation
- Going Bould
- Research Paper Artifact Evaluation
- Another Reason Why Ads Are Bad For You
- View Over Salt Lake City
- Doing Research Without Doing Research
- VMware Sued for Failure to Comply with GPL
- The Exploitative Economics of Academic Publishing
- The Dominance of English in Science
- Paper writing: RefTeX to the rescue!
- Surveillance Cameras for Live Streaming
- Once Upon A Time In The West
- Back to Utah!
- Working on Imperative Programming Code Ain't Fun
- Mr. Grim
- Phonetics on Front Page
- Piwik
- Science and Economy
- The Dance of Merge Sort
- Market-driven Academic Research
- Going with JVM Languages
- Creating and Sustaining Commons
- Representing Speech Sounds (or How To Pronounce My Name — Take One)
- Internship in NASA!
- Handcuffed Research
- Free Software on the final frontier: GNU Radio controls the ISEE-3 Spacecraft
- Malware detection for Android
- Reproducible Research in Computer Science
- A uniquely anonymous survey participant
- University as a Retail Store for Academic Consumers
- Presented JPF-Doop at Java Pathfinder Workshop 2013
- Embedding bibliographic metadata into a WordPress site
- A story about the human spirit
- Presentation of JPF-Doop at FMCAD 2013
- Grab popcorn, sit back, and watch
- LaTeX, Org-mode, and those weird letters from the European alphabets
- iUniversity
- Support free as in freedom media infrastructure
- Multidimenzionalna selidba
- Demokracija i suverenitet
- Drugačiji pristup traženju posla
- Arbeit macht frei
- Vladine mjere za promicanje slobodnog softvera
- Kartiranje za OpenStreetMap s Androidnim mobitelom
- Dan slobodnog softvera 2011. u Križevcima
- Potpuno slobodno prijenosno računalo
- Osnovana udruga Slobodan softver Hrvatska!
- O informatičko-društvenom aspektu našeg obrazovnog sustava
- Paralelni životi — strip o slobodnom softveru
- Parabola je i "službeno" slobodna
- Word dokument u privitku
- Prvi koraci prema digitalnoj slobodi
- Softver kao javno dobro
- Zemlja znanja
- Dan slobodnih dokumenata — plakati i letci
- Liberation by software
- Skoro pa slobodan
- Kulturšok u 2011.
- Teknologija narodu
- Debata "Društvo treba priznati četiri slobode kao neotuđivo pravo korisnika računala"
- Jefferson o posjedovanju ideja
- Kralj bez krune
- Poziv na debatu/Debate challenge
- Akademski — slobodno?
- Otvoreno na zatvoreni način
- Šok za šačicu
- Kulturšok u Križevcima!
- Globalni policajac protiv slobodnog softvera
- Desetljeće zarobljeno u DRM-u
- Umrežimo se na mikro-razini!
- Rješavanje krize na Haitiju pomoću OpenStreetMapa
- Neviđeno komuniciranje mailom
- Tumarati s neznancima
- Staro (ne)poimanje slobode
- Averzija prema hrvatskom
- Vikend uživanja u Plitvicama i Zadru
- Volonterizam — koketiranje s bezumljem
- Otvorenje dnevnika