.. |
graphics
|
Truthiness blog post
|
2016-12-13 14:59:03 -05:00 |
2012-05-29-Hello_world.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-06-10-DBToaster_and_the_Viewlet_Transform.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-06-16-AGCA_The_language_of_change_Part_1_Everything_is_Multiplicities.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-06-24-AGCA_The_language_of_change_Part_2_Ringing_in_Change.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-06-30-AGCA_The_language_of_change_Part_3_The_Sum_Project.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-07-08-AGCA_The_language_of_change_Part_4_The_table_special.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-07-11-DBToaster_Released.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-07-14-AGCA_Summary.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-07-19-The_Viewlet_Transform_Part_1_Deltas_in_AGCA.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-07-29-The_Viewlet_Transform_Part_2_The_Naive_Viewlet_Transform.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-08-06-The_Viewlet_Transform_Part_3_Input_Variables_and_Partial_Materialization.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-08-12-The_Viewlet_Transform_Part_4_Input_Variables_and_Partial_Materialization_Continued.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-08-20-Optimizing_AGCA_Part_1_Ringing_in_the_optimizations.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-08-25-The_Viewlet_Transform_Part_5_Hypergraph_Partitioning.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-09-01-Optimizing_AGCA_Part_2_Lifting_Equalities.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-09-07-Optimizing_AGCA_Part_3_Unification.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-09-17-Those_Marvelous_Lifts_and_Exists_Part_1.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-09-24-Those_Marvelous_Lifts_and_Exists_Part_2.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-10-01-Those_Marvelous_Lifts_and_Exists_Part_3.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-10-08-Collaborative_web_applications.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-10-14-Intent.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-10-21-What_s_Wrong_With_Probabilistic_Databases_Part_1.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-10-27-What_s_Wrong_With_Probabilistic_Databases_Part_2.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-11-04-What_s_Wrong_With_Probabilistic_Databases_Part_3.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-11-11-Consistency_through_semantics.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-11-18-Uncertainty_in_Distributed_Computation.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-11-24-Filesystems_Application_Semantics_and_Walled_Gardens_Part_1.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-12-01-Filesystems_Application_Semantics_and_Walled_Gardens_Part_2.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-12-10-Filesystems_Application_Semantics_and_Walled_Gardens_Part_3.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-12-17-Filesystems_Application_Semantics_and_Walled_Gardens_Part_4.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2012-12-23-Filesystems_Application_Semantics_and_Walled_Gardens_Part_5.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-01-01-Happy_New_Year.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-01-06-Procedural_Stories_and_Constraint_Satisfaction_Part_1.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-01-22-Procedural_Stories_and_Constraint_Satisfaction_Part_2_Plot_twists.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-02-02-Using_Constraints_to_Define_Correctness.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-02-11-The_Analizerificationist.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-04-09-Semantics_as_Data.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-05-04-Languages_with_first_class_ORM_primitives.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-05-24-Never_tell_me_the_odds.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-06-16-Are_you_sure.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-06-22-Laasie_Building_the_next_generation_of_collaborative_applications.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-06-27-Log_as_a_Service_Part_1_of_2.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-07-12-SIGMOD_Wrapup.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-07-21-Expressiveness_vs_Efficiency.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-07-28-Log_as_a_Service_Part_2_of_2.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-09-21-Why_text_editors_are_bad_for_programmers.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-10-07-Finding_truth_in_the_bits.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2013-10-20-Gathering_Data_Interactive_Programming_and_Analysis.html
|
Importing 'the cutting edge' blog from way back when
|
2017-10-08 21:45:59 -04:00 |
2015-08-13-incorrect-dbs.md
|
Move over to HTTPS
|
2017-08-31 17:18:47 -04:00 |
2015-10-23-iCloud-Login.md
|
Adding news page
|
2016-07-31 13:26:09 -04:00 |
2016-01-01-Project-Based-Learning.md
|
Project-based learning rant
|
2016-01-02 00:18:00 +01:00 |
2016-12-13-Truthiness.md
|
Move over to HTTPS
|
2017-08-31 17:18:47 -04:00 |
2018-08-12-Purism_Librem_13v3_Review.md
|
Librem review
|
2018-08-12 14:54:40 -04:00 |
2019-06-01-2_years_of_linux.md
|
title
|
2019-06-01 22:01:15 -04:00 |
2022-03-23-View_Serializability.md
|
View serializability rant draft
|
2022-03-23 19:32:43 -04:00 |
2023-04-27-Librem5_and_Mobile_Linux.md
|
what are we thinking about
|
2023-05-11 20:43:27 -04:00 |
index.erb
|
Adding news page
|
2016-07-31 13:26:09 -04:00 |