RANDOMBLOGS (RSS)

chriswarbo.net


8. 11. 2024Rationalising Denominators 3: Sums – chriswarbo.net
5. 11. 2024Rationalising Denominators 2: Products – chriswarbo.net
3. 11. 2024Rationalising Denominators 1: Fractional Powers – chriswarbo.net
29. 6. 2024Determinism – chriswarbo.net
24. 5. 2024Nix is a build system – chriswarbo.net
17. 5. 2024Lock Files Considered Harmful – chriswarbo.net
14. 5. 2024Spigot, and rational approximations – chriswarbo.net
10. 5. 2024SK in egglog: part 4, extensional equality – chriswarbo.net
8. 4. 2024Unlocking the GNOME keyring – chriswarbo.net
2. 4. 2024SK logic in egglog: part 3, falsifying myself – chriswarbo.net
17. 3. 2024SK logic in egglog: part 2, property-checking extensionality – chriswarbo.net
25. 2. 2024SK logic in egglog: part 1 – chriswarbo.net
21. 2. 2024Git pages update – chriswarbo.net
15. 2. 2024Dependency solving in Nix – chriswarbo.net
31. 1. 2024Renaming files inside tarballs – chriswarbo.net
23. 1. 2024Nix caching on a LAN – chriswarbo.net
19. 1. 2024Lazy Test Generators – chriswarbo.net
15. 1. 2024The Backwards Compatibility of Text – chriswarbo.net
14. 1. 2024Nix from the bottom up – chriswarbo.net
13. 1. 2024Boltzmann RAM – chriswarbo.net
11. 1. 2024Haskell Parsing – chriswarbo.net
8. 1. 2024Playing with MathML – chriswarbo.net
27. 10. 2023Useful info I learned from playing with GSM – chriswarbo.net
8. 4. 2021Environment Variables are Dynamically Scoped Keyword Arguments – chriswarbo.net
7. 7. 2020More Testing Terminology – chriswarbo.net
8. 6. 2020Haskell Strings – chriswarbo.net
22. 5. 2020The Metric Red Herring – chriswarbo.net
22. 5. 2020Improving our Units – chriswarbo.net
20. 5. 2020GADT Casting – chriswarbo.net
9. 2. 2020Bottom, Null, Unit and Void – chriswarbo.net
8. 2. 2020Clever Code – chriswarbo.net
6. 12. 2019Paths of Least Resistance – chriswarbo.net
6. 12. 2019Effective Property Checking – chriswarbo.net
29. 11. 2019Deleting SMS from SIM on OpenMoko – chriswarbo.net
17. 11. 2019Switching Browser – chriswarbo.net
27. 5. 2019Benchmarking – chriswarbo.net
12. 5. 2019Quantum Encryption – chriswarbo.net
10. 5. 2018Self-Organising Lists – chriswarbo.net
2. 5. 2018Fixing leveldb – chriswarbo.net
24. 1. 2018Curry Your Calls, Uncurry Your Returns – chriswarbo.net
10. 11. 2017Unit Testing Terminology – chriswarbo.net
10. 11. 2017Compile-time I/O – chriswarbo.net
10. 11. 2017Capabilities Example – chriswarbo.net
9. 11. 2017Haskell Theory Exploration scripts – chriswarbo.net
3. 11. 2017Dependent Function Types – chriswarbo.net
6. 9. 2017del in Python – chriswarbo.net
5. 9. 2017PHP Types – chriswarbo.net
29. 8. 2017S-expressions – chriswarbo.net
20. 8. 2017A Personal Opinion On PHP – chriswarbo.net
11. 8. 2017Small Functions – chriswarbo.net
2. 8. 2017Nix Hacks – chriswarbo.net
22. 7. 2017Git Repo Pages – chriswarbo.net
13. 7. 2017State, Effects and Monads in Functional Programming and Haskell – chriswarbo.net
14. 6. 2017Artemis – chriswarbo.net
23. 5. 2017Computer Science is a Natural Science – chriswarbo.net
17. 5. 2017Active Code Updates – chriswarbo.net
9. 5. 2017GUIs – chriswarbo.net
20. 3. 2017Web Hosting With IPFS and Nix – chriswarbo.net
3. 3. 2017Free Elves – chriswarbo.net
27. 2. 2017Listing Things – chriswarbo.net
13. 2. 2017What I Would Like – chriswarbo.net
10. 2. 2017Urbit – chriswarbo.net
10. 2. 2017Algorithmic Information Theory – chriswarbo.net
31. 1. 2017Standard Syntax Trees – chriswarbo.net
31. 1. 2017Querying Impurities – chriswarbo.net
31. 1. 2017Deleting files – chriswarbo.net
28. 1. 2017Dodgy Chargers – chriswarbo.net
14. 1. 2017Converting Feeds (RSS/Atom/etc.) to Maildir – chriswarbo.net
20. 12. 2016Perspective – chriswarbo.net
24. 9. 2016KISS – chriswarbo.net
14. 9. 2016Site Changes – chriswarbo.net
5. 9. 2016Work log 2016-09-05 – chriswarbo.net
2. 9. 2016Work log 2016-09-02 – chriswarbo.net
1. 9. 2016Work log 2016-09-01 – chriswarbo.net
31. 8. 2016Work log 2016-08-31 – chriswarbo.net
25. 8. 2016Work log 2016-08-25 – chriswarbo.net
24. 8. 2016Work log 2016-08-24 – chriswarbo.net
23. 8. 2016Work log 2016-08-23 – chriswarbo.net
22. 8. 2016Work log 2016-08-22 – chriswarbo.net
19. 8. 2016Work log 2016-08-19 – chriswarbo.net
18. 8. 2016Work log 2016-08-18 – chriswarbo.net
17. 8. 2016Work log 2016-08-17 – chriswarbo.net
16. 8. 2016Work log 2016-08-16 – chriswarbo.net
15. 8. 2016Work log 2016-08-15 – chriswarbo.net
12. 8. 2016Work log 2016-08-12 – chriswarbo.net
11. 8. 2016Work log 2016-08-11 – chriswarbo.net
10. 8. 2016Work log 2016-08-10 – chriswarbo.net
9. 8. 2016Work log 2016-08-09 – chriswarbo.net
8. 8. 2016Work log 2016-08-08 – chriswarbo.net
5. 8. 2016Work log 2016-08-05 – chriswarbo.net
4. 8. 2016Work log 2016-08-04 – chriswarbo.net
3. 8. 2016Work log 2016-08-03 – chriswarbo.net
3. 8. 2016Hydra – chriswarbo.net
2. 8. 2016Work log 2016-08-02 – chriswarbo.net
1. 8. 2016Work log 2016-08-01 – chriswarbo.net
31. 7. 2016Work log 2016-07-31 – chriswarbo.net
29. 7. 2016Work log 2016-07-29 – chriswarbo.net
27. 7. 2016Work log 2016-07-27 – chriswarbo.net
26. 7. 2016Work log 2016-07-26 – chriswarbo.net
25. 7. 2016Work log 2016-07-25 – chriswarbo.net
22. 7. 2016Work log 2016-07-22 – chriswarbo.net
20. 7. 2016Work log 2016-07-20 – chriswarbo.net
13. 7. 2016Work log 2016-07-13 – chriswarbo.net
11. 7. 2016Work log 2016-07-11 – chriswarbo.net
8. 7. 2016Work log 2016-07-08 – chriswarbo.net
7. 7. 2016Work log 2016-07-07 – chriswarbo.net
6. 7. 2016Work log 2016-07-06 – chriswarbo.net
5. 7. 2016Work log 2016-07-05 – chriswarbo.net
4. 7. 2016Work log 2016-07-04 – chriswarbo.net
22. 6. 2016Trolled 2 – chriswarbo.net
3. 6. 2016Premature Optimisation – chriswarbo.net
30. 5. 2016The Sorry State of the Web – chriswarbo.net
21. 4. 2016Off The Grid – chriswarbo.net
22. 2. 2016A Few Site Updates – chriswarbo.net
12. 11. 2015Calculating Arity – chriswarbo.net
1. 10. 2015Fixing Web Colours – chriswarbo.net
30. 9. 2015nix-eval – chriswarbo.net
13. 9. 2015Abandoning Hakyll – chriswarbo.net
11. 9. 2015HoTT for Dummies – chriswarbo.net
25. 6. 2015Cabal Hell – chriswarbo.net
6. 6. 2015More git changes – chriswarbo.net
16. 3. 2015Moving Git Repos – chriswarbo.net
16. 2. 2015Procedural Images – chriswarbo.net
16. 2. 2015Active Code Updates – chriswarbo.net
3. 2. 2015Developing on NixOS – chriswarbo.net
30. 1. 2015Embedding Lambda Calculus – chriswarbo.net
18. 1. 2015Learning Functional Programming – chriswarbo.net
24. 12. 2014Does Polymorphism Make Code More Flexible? – chriswarbo.net
22. 12. 2014Minimalist Programming Languages – chriswarbo.net
22. 12. 2014Controlling Side-Effects – chriswarbo.net
16. 12. 2014Nix Packages – chriswarbo.net
4. 12. 2014Nat-like Types, or Dynamic and Static Information – chriswarbo.net
3. 12. 2014MELPA breakage – chriswarbo.net
26. 8. 2014Search Algorithms (again!) – chriswarbo.net
18. 8. 2014Plumb: A Domain-Specific Language Embedded in PHP – chriswarbo.net
23. 7. 2014Fibonacci Sequence in PHP – chriswarbo.net
14. 7. 2014Switching to NixOS – chriswarbo.net
18. 5. 2014Unifying PHP’s namespaces – chriswarbo.net
12. 3. 2014Trolled – chriswarbo.net
12. 3. 2014Omega – chriswarbo.net
21. 2. 2014Partial Application & Currying in PHP – chriswarbo.net
7. 2. 2014Lazy Lambda Calculus – chriswarbo.net
22. 11. 2013PowerPlay Improvement continued – chriswarbo.net
20. 11. 2013PowerPlay implementations – chriswarbo.net
31. 10. 2013PowerPlay improvement – chriswarbo.net
26. 9. 2013PHP Reference Silliness – chriswarbo.net
11. 9. 2013Optimal Programming – chriswarbo.net
19. 7. 2013My Wordpress.com Blog – chriswarbo.net
16. 7. 2013Lambda Lounge Manchester – chriswarbo.net
15. 7. 2013Sheffield Hardware Hackers – chriswarbo.net
24. 4. 2013Computers and Maths – chriswarbo.net
21. 3. 2013Mapping associative arrays in PHP – chriswarbo.net
21. 3. 2013Inverse of PHP’s array_combine – chriswarbo.net
14. 3. 2013Dynamic scope vs. Lexical scope – chriswarbo.net
26. 2. 2013Imperative Programming In CSS – chriswarbo.net
6. 2. 2013Quick ‘n’ Dirty PHP/Drupal REPL – chriswarbo.net
31. 1. 2013Debugging random Haskell – chriswarbo.net
1. 12. 2012Typed Combinators – chriswarbo.net
17. 11. 2012Naturals Search – chriswarbo.net
17. 11. 2012Joy part I – chriswarbo.net
17. 11. 2012Anonymous closures in Python – chriswarbo.net
23. 10. 2012Identi.ca – chriswarbo.net
2. 10. 2012Looping in Javascript – chriswarbo.net
1. 10. 2012Better Currying in Javascript – chriswarbo.net
22. 9. 2012Safety through types – chriswarbo.net
13. 9. 2012Making Windows Less Shit – chriswarbo.net
11. 9. 2012Perhaps, perhaps, perhaps – chriswarbo.net
21. 5. 2012Emacs & XMonad – chriswarbo.net
13. 5. 2012Concatenative Languages – chriswarbo.net
7. 5. 2012Search and Optimisation Streams – chriswarbo.net
20. 2. 2012Currying in Javascript – chriswarbo.net
15. 2. 2012‘Strong typing’ in PHP – chriswarbo.net
16. 1. 2012Some Search Algorithms – chriswarbo.net
28. 11. 2011Crayola Doodle Penguin; or Why I Hate Consumerist Computing – chriswarbo.net
19. 10. 2011Why Are Physicists Bad In Bed? – chriswarbo.net
6. 7. 2011Closures vs. First-class functions vs. Higher-order functions – chriswarbo.net
16. 5. 2011Dear World – chriswarbo.net
12. 4. 2011Python Decompiler Performance – chriswarbo.net
9. 4. 2011Some Python Stats – chriswarbo.net
9. 4. 2011PyMeta Stacks – chriswarbo.net
8. 4. 2011Abstraction Fail – chriswarbo.net
22. 1. 2011Enigma Number 1628 – chriswarbo.net
30. 12. 2010More ocPortal Thoughts – chriswarbo.net
14. 12. 2010Blog Dump 8: Building a Language – chriswarbo.net
14. 12. 2010Blog Dump 7: Reasoning & Proof – chriswarbo.net
14. 12. 2010Blog Dump 6: The Web of Code – chriswarbo.net
12. 12. 2010ocPortal Ramblings – chriswarbo.net
9. 12. 2010Blog dump 1: Diet Python – chriswarbo.net
9. 12. 2010Blog Dump 5: Some Statistics – chriswarbo.net
9. 12. 2010Blog Dump 4: What Makes Me A Geek: Reason 0x54F6 – chriswarbo.net
9. 12. 2010Blog Dump 3: Duck Typing as Constraint Propagation – chriswarbo.net
9. 12. 2010Blog Dump 2: The Universality of Search – chriswarbo.net
3. 9. 2010Odd SOCKS – chriswarbo.net
3. 9. 2010Freedom to Work – chriswarbo.net
26. 8. 2010IWF Crap – chriswarbo.net
26. 6. 2010Bits & Bobs – chriswarbo.net
28. 5. 2010Symmetry in Languages – chriswarbo.net
21. 5. 2010Some Reading Material – chriswarbo.net
10. 5. 2010My thoughts on the new Amiga – chriswarbo.net
10. 5. 2010Diet Python – chriswarbo.net
9. 5. 2010What Makes Me A Geek: Reason 0x54F6 – chriswarbo.net
9. 5. 2010The Web as an Oracle – chriswarbo.net
9. 5. 2010(Anti)Object-oriented reasoning – chriswarbo.net
12. 4. 2010Enviro Mental – chriswarbo.net
8. 4. 2010Publicly whoring onesself out for politics – chriswarbo.net
7. 4. 2010My Current Browser Tabs – chriswarbo.net
1. 4. 2010Twilight: New Moon – chriswarbo.net
1. 4. 2010Browsing on a budget – chriswarbo.net
26. 3. 2010Divergence and reduction with complex numbers – chriswarbo.net
22. 3. 2010Blogilo test – chriswarbo.net
18. 3. 2010I’ve Got an XO! – chriswarbo.net
18. 3. 2010Digital Economy Bill – chriswarbo.net
23. 2. 2010Fffffffffffffffffffff… – chriswarbo.net
15. 2. 2010mv/((1-(v/c)2)(1/2)) or, in non-relativistic terms, momentum – chriswarbo.net
15. 2. 2010Wish I had some free time – chriswarbo.net
15. 2. 2010On Computer Animation – chriswarbo.net
15. 2. 2010Music is good – chriswarbo.net
15. 2. 2010Just Wondering… – chriswarbo.net
15. 2. 2010Experiment Dump – chriswarbo.net
15. 2. 2010Diet Python and some ranting – chriswarbo.net
15. 2. 2010Coming down to Earth with Physics – chriswarbo.net
15. 2. 2010A lengthy list of practical problems with shipping non-free software – chriswarbo.net
15. 2. 2010A Whole New World – chriswarbo.net
26. 1. 2010Web Apps are shit – chriswarbo.net
11. 8. 2009A Decent Compressed Filesystem At Last? – chriswarbo.net
4. 8. 2009The Ugliest Hack I’ve Written So Far – chriswarbo.net
27. 4. 2009Some Nice Things – chriswarbo.net
24. 3. 2009BBC News comments are broken – chriswarbo.net
6. 2. 2009Learned Helplessness in Computing? – chriswarbo.net
30. 1. 2009Retarded = backwards – chriswarbo.net
25. 1. 2009PubSubClient back in development – chriswarbo.net
12. 11. 2008The Importance of Transparency – chriswarbo.net
12. 11. 2008Medibuntu :P – chriswarbo.net
18. 10. 2008Amarok and roll – chriswarbo.net
9. 10. 2008I CAN HAZ OPENMOKO? – chriswarbo.net
5. 10. 2008On People – chriswarbo.net
21. 9. 2008Video or it didn’t happen – chriswarbo.net
21. 9. 2008Brains are Object Oriented – chriswarbo.net
20. 9. 2008Spot The Difference – chriswarbo.net
20. 9. 2008PubSubClient has a home – chriswarbo.net
19. 9. 2008Wanna Be A Programmer? – chriswarbo.net
18. 9. 2008…And Laws Were Most Numerous When The Commonwealth Was Most Corrupt – chriswarbo.net
17. 9. 2008The Effects of Promoting Propaganda – chriswarbo.net
12. 9. 2008The Power To Change – chriswarbo.net
12. 9. 2008I am teh awesome – chriswarbo.net
11. 9. 2008Model-View-Controller – chriswarbo.net
8. 9. 2008Services, integration, communication and standards – chriswarbo.net
7. 9. 2008NOTE TO SELF – chriswarbo.net
6. 9. 2008Physics + Programming = Pretty – chriswarbo.net
5. 9. 2008LOLFOX – chriswarbo.net
5. 9. 2008Efficient vs Approachable (choose your phrase carefully) – chriswarbo.net
4. 9. 2008Last.fm Is Becoming More Accurate – chriswarbo.net
2. 9. 2008What I Find Cool – chriswarbo.net
2. 9. 2008On Responsiveness – chriswarbo.net
31. 8. 2008OMFG I want to be there – chriswarbo.net
27. 8. 2008Two Wrongs Do Not Make A Right – chriswarbo.net
27. 8. 2008Resits Over – chriswarbo.net
27. 8. 2008Note to self – chriswarbo.net
27. 8. 2008C00l – chriswarbo.net
26. 8. 2008An Option I Would Like To See In Every Application – chriswarbo.net
24. 8. 2008OMFG! – chriswarbo.net
23. 8. 2008QEdje Is Working! :D – chriswarbo.net
22. 8. 2008Reasons I Love Teh Internets – chriswarbo.net
21. 8. 2008You know you’re a sad bastard when… – chriswarbo.net
19. 8. 2008Exactly – chriswarbo.net
13. 8. 2008Some ramblings about graphics, compilers and CPUs – chriswarbo.net
13. 8. 2008PubSub Browser – chriswarbo.net
8. 8. 2008LXDE is actually teh awesome – chriswarbo.net
7. 8. 2008PubSub Ahoy! – chriswarbo.net
7. 8. 2008I could really do with a replacement ’phone – chriswarbo.net
25. 7. 2008X on Minix 3 AT LAST – chriswarbo.net
24. 7. 2008A Crossroads in my life… – chriswarbo.net
23. 7. 2008PubSub Library Diagram – chriswarbo.net
22. 7. 2008PubSub – chriswarbo.net
17. 7. 2008Programming I’ve Been Up To – chriswarbo.net
7. 7. 2008E=MC^Hawking – chriswarbo.net
5. 7. 2008The night so far… – chriswarbo.net
28. 6. 2008Awesomeness – chriswarbo.net
15. 6. 2008SUMMER! – chriswarbo.net
12. 6. 2008Make Ubuntu a simple “Gateway” Distribution, make switching to something else easy – chriswarbo.net
1. 6. 2008My Dilemma – chriswarbo.net
28. 5. 2008Won’t somebody PLEASE think of the people? – chriswarbo.net
13. 5. 2008Rather XKCD-esque – chriswarbo.net
3. 4. 2008Just wondering – chriswarbo.net
26. 3. 2008How’s This For a Mention? – chriswarbo.net
17. 3. 2008Some musings – chriswarbo.net
12. 3. 2008Some Python Examples – chriswarbo.net
23. 2. 2008Some Slashdot musings….. – chriswarbo.net
28. 1. 2008Some musings on KDE4, and what I am currently up to – chriswarbo.net
9. 1. 2008Shut Up You Stupid Bitch – chriswarbo.net
5. 1. 2008How To Design Things – chriswarbo.net
22. 12. 2007Christmas Is Coming – chriswarbo.net
23. 11. 2007Free Software Society Get-together – chriswarbo.net
23. 11. 2007Dir En Get Out Of My House – chriswarbo.net
23. 11. 2007Action on the FSS Front – chriswarbo.net
22. 11. 2007Installfest Success :D – chriswarbo.net
13. 11. 2007Free Software Society Gathering Steam… Sort Of – chriswarbo.net
14. 10. 2007Bicubic Penis Enlargement – chriswarbo.net
2. 10. 2007Ridiculousness – chriswarbo.net
29. 9. 2007I <3 U Dell – chriswarbo.net
19. 9. 2007Plasma Testing In Ubuntu – chriswarbo.net
18. 9. 2007Just want to share this with you – chriswarbo.net
18. 9. 2007I used to love nostalgia… – chriswarbo.net
3. 9. 2007You don’t have to be into violent BDSM to think the GIMP Took Kit is sexy – chriswarbo.net
1. 9. 2007Cool Tech Preview – chriswarbo.net
31. 8. 2007A little toy for you – chriswarbo.net
30. 8. 2007ZOMG – chriswarbo.net
30. 8. 2007Some Cool Graphics Algorithms – chriswarbo.net
30. 8. 2007How Dare They! – chriswarbo.net
20. 8. 2007Why you shouldn’t rely on a single company with closed protocols – chriswarbo.net
20. 8. 2007Some phrases should be culled – chriswarbo.net
11. 8. 2007Way to make my work sound easy there… – chriswarbo.net
7. 8. 2007lol – chriswarbo.net
1. 8. 2007Will the FUD never end?! – chriswarbo.net
31. 7. 2007Very serious issue, but the semantics are still funny – chriswarbo.net
31. 7. 2007Ugly Mug – chriswarbo.net
31. 7. 2007Monopolies Are A Bad Thing(TM) – chriswarbo.net
31. 7. 2007Lawyers are our friends too… – chriswarbo.net
31. 7. 2007Firefox is a desktop application – chriswarbo.net
31. 7. 2007Death To All Pan Beasts – chriswarbo.net
31. 7. 2007Aren’t I Clever? – chriswarbo.net
13. 7. 2007Why should this even be necessary? – chriswarbo.net
9. 7. 2007LUGRadio Live is over – chriswarbo.net
7. 7. 2007RLOD – chriswarbo.net
6. 7. 2007Overengineering 4TW – chriswarbo.net
3. 7. 2007GNOME Blog Works! – chriswarbo.net
30. 6. 2007Quote of the day – chriswarbo.net
22. 6. 2007Some interesting interface ideas – chriswarbo.net
22. 6. 2007Application naming – chriswarbo.net
15. 5. 2007Service Pack Maker – chriswarbo.net
15. 5. 2007Nuclear Bovines – chriswarbo.net
9. 5. 2007Various updates – chriswarbo.net
7. 4. 2007More UI ideas. Graphics for my pinball engine! – chriswarbo.net
5. 4. 2007Warbuntu in the works – chriswarbo.net
30. 3. 2007Yahoo suck donkey balls – chriswarbo.net
28. 3. 2007Easter – chriswarbo.net
1. 3. 2007I have nothing to talk about – chriswarbo.net
3. 2. 2007Ubuntu Thoughts – chriswarbo.net
30. 1. 2007Vista today… – chriswarbo.net
@kaja47, 0xDEADBEEF funkcionálně.cz, k47.cz