41554 blogs · [ { "id": "01a08776-a572-71a1-90a0-5622dd1109b5", "title": "Policy Gradients Part 2: Baselines", "url": "http://fa.bianp.net/blog/2026/policy-gradient-baselines/", "published_at": "2026-08-25T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622dda53b43", "title": "Policy Gradients Part 1: The REINFORCE Estimator", "url": "http://fa.bianp.net/blog/2026/policy-gradient/", "published_at": "2026-06-18T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622de531679", "title": "On the Link Between Optimization and Polynomials, Part 6.", "url": "http://fa.bianp.net/blog/2024/unrolling/", "published_at": "2024-05-03T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622deb18307", "title": "Optimization Nuggets: Stochastic Polyak Step-size, Part 2", "url": "http://fa.bianp.net/blog/2023/sps2/", "published_at": "2023-11-18T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622debefbc0", "title": "Optimization Nuggets: Stochastic Polyak Step-size", "url": "http://fa.bianp.net/blog/2023/sps/", "published_at": "2023-09-28T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ded3ad4f", "title": "On the Convergence of the Unadjusted Langevin Algorithm", "url": "http://fa.bianp.net/blog/2023/ulaq/", "published_at": "2023-06-13T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622dfa92b2b", "title": "The Russian Roulette: An Unbiased Estimator of the Limit", "url": "http://fa.bianp.net/blog/2022/russian-roulette/", "published_at": "2022-10-14T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e06bb364", "title": "Notes on the Frank-Wolfe Algorithm, Part III: backtracking line-search", "url": "http://fa.bianp.net/blog/2022/adaptive_fw/", "published_at": "2022-08-25T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e11b787c", "title": "On the Link Between Optimization and Polynomials, Part 5", "url": "http://fa.bianp.net/blog/2022/cyclical/", "published_at": "2022-05-26T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e138e174", "title": "Optimization Nuggets: Implicit Bias of Gradient-based Methods", "url": "http://fa.bianp.net/blog/2022/implicit-bias-regression/", "published_at": "2022-01-09T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e210308b", "title": "Optimization Nuggets: Exponential Convergence of SGD", "url": "http://fa.bianp.net/blog/2021/exponential-sgd/", "published_at": "2021-12-14T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e26e0080", "title": "On the Link Between Optimization and Polynomials, Part 4", "url": "http://fa.bianp.net/blog/2021/no-momentum/", "published_at": "2021-04-12T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e2abdf64", "title": "On the Link Between Optimization and Polynomials, Part 3", "url": "http://fa.bianp.net/blog/2021/hitchhiker/", "published_at": "2021-03-01T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e3351c1d", "title": "On the Link Between Optimization and Polynomials, Part 2", "url": "http://fa.bianp.net/blog/2020/momentum/", "published_at": "2020-12-20T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e36601ea", "title": "On the Link Between Polynomials and Optimization, Part 1", "url": "http://fa.bianp.net/blog/2020/polyopt/", "published_at": "2020-04-06T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e4422468", "title": "How to Evaluate the Logistic Loss and not NaN trying", "url": "http://fa.bianp.net/blog/2019/evaluate_logistic/", "published_at": "2019-09-26T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e4efade5", "title": "Notes on the Frank-Wolfe Algorithm, Part II: A Primal-dual Analysis", "url": "http://fa.bianp.net/blog/2018/fw2/", "published_at": "2018-11-16T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e5eaccb4", "title": "Three Operator Splitting", "url": "http://fa.bianp.net/blog/2018/tos/", "published_at": "2018-09-05T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e6d26c3a", "title": "Notes on the Frank-Wolfe Algorithm, Part I", "url": "http://fa.bianp.net/blog/2018/notes-on-the-frank-wolfe-algorithm-part-i/", "published_at": "2018-03-20T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e7a77f5b", "title": "Optimization inequalities cheatsheet", "url": "http://fa.bianp.net/blog/2017/optimization-inequalities-cheatsheet/", "published_at": "2017-01-10T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e7bcaf7a", "title": "A fully asynchronous variant of the SAGA algorithm", "url": "http://fa.bianp.net/blog/2016/a-fully-asynchronous-variant-of-the-saga-algorithm/", "published_at": "2016-10-11T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e80d4f25", "title": "Hyperparameter optimization with approximate gradient", "url": "http://fa.bianp.net/blog/2016/hyperparameter-optimization-with-approximate-gradient/", "published_at": "2016-05-24T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e884eed5", "title": "Lightning v0.1", "url": "http://fa.bianp.net/blog/2016/lightning-v01/", "published_at": "2016-03-24T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e8c6bf68", "title": "scikit-learn-contrib, an umbrella for scikit-learn related projects.", "url": "http://fa.bianp.net/blog/2016/scikit-learn-contrib-an-umbrella-for-scikit-learn-related-projects/", "published_at": "2016-03-05T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622e974e2bb", "title": "SAGA algorithm in the lightning library", "url": "http://fa.bianp.net/blog/2016/saga-algorithm-in-the-lightning-library/", "published_at": "2016-02-21T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ea1d4381", "title": "On the consistency of ordinal regression methods", "url": "http://fa.bianp.net/blog/2015/on-the-consistency-of-ordinal-regression-methods/", "published_at": "2015-10-08T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ea4e87cf", "title": "Holdout cross-validation generator", "url": "http://fa.bianp.net/blog/2015/holdout-cross-validation-generator/", "published_at": "2015-08-19T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ea858fdc", "title": "IPython/Jupyter notebook gallery", "url": "http://fa.bianp.net/blog/2015/ipythonjupyter-notebook-gallery/", "published_at": "2015-04-20T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622eb71f2df", "title": "PyData Paris - April 2015", "url": "http://fa.bianp.net/blog/2015/pydata-paris-april-2015/", "published_at": "2015-04-06T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ec58529a", "title": "Data-driven hemodynamic response function estimation", "url": "http://fa.bianp.net/blog/2014/data-driven-hemodynamic-response-function-estimation/", "published_at": "2014-12-04T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ece8c0f4", "title": "Plot memory usage as a function of time", "url": "http://fa.bianp.net/blog/2014/plot-memory-usage-as-a-function-of-time/", "published_at": "2014-11-06T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ecf75472", "title": "Surrogate Loss Functions in Machine Learning", "url": "http://fa.bianp.net/blog/2014/surrogate-loss-functions-in-machine-learning/", "published_at": "2014-06-19T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622edae4853", "title": "Different ways to get memory consumption or lessons learned from ``memory_profiler``", "url": "http://fa.bianp.net/blog/2013/different-ways-to-get-memory-consumption-or-lessons-learned-from-memory_profiler/", "published_at": "2013-07-24T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622eded778c", "title": "Numerical optimizers for Logistic Regression", "url": "http://fa.bianp.net/blog/2013/numerical-optimizers-for-logistic-regression/", "published_at": "2013-05-19T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622eed3ed29", "title": "Logistic Ordinal Regression", "url": "http://fa.bianp.net/blog/2013/logistic-ordinal-regression/", "published_at": "2013-05-01T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622efafbb12", "title": "Isotonic Regression", "url": "http://fa.bianp.net/blog/2013/isotonic-regression/", "published_at": "2013-04-15T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622efb3c9d9", "title": "Householder matrices", "url": "http://fa.bianp.net/blog/2013/householder-matrices/", "published_at": "2013-03-29T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622efc78ed7", "title": "Loss Functions for Ordinal regression", "url": "http://fa.bianp.net/blog/2013/loss-functions-for-ordinal-regression/", "published_at": "2013-02-26T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622efd09fed", "title": "Memory plots with memory_profiler", "url": "http://fa.bianp.net/blog/2013/memory-plots-with-memory_profiler/", "published_at": "2013-01-03T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f0532c0a", "title": "Singular Value Decomposition in SciPy", "url": "http://fa.bianp.net/blog/2012/singular-value-decomposition-in-scipy/", "published_at": "2012-12-07T23:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f0919c40", "title": "Learning to rank with scikit-learn: the pairwise transform", "url": "http://fa.bianp.net/blog/2012/learning-to-rank-with-scikit-learn-the-pairwise-transform/", "published_at": "2012-10-22T22:00:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f0f88cab", "title": "line-by-line memory usage of a Python program", "url": "http://fa.bianp.net/blog/2012/line-by-line-report-of-memory-usage/", "published_at": "2012-04-24T05:04:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f1c91c9c", "title": "Low rank approximation", "url": "http://fa.bianp.net/blog/2011/low-rank-approximation/", "published_at": "2011-11-06T11:05:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f20a5ced", "title": "qr_multiply function in scipy.linalg", "url": "http://fa.bianp.net/blog/2011/qr_multiply-function-in-scipylinalg/", "published_at": "2011-10-14T14:44:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f2b48143", "title": "scikit-learn 0.9", "url": "http://fa.bianp.net/blog/2011/scikit-learn-09/", "published_at": "2011-10-02T09:19:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f3041c08", "title": "Reworked example gallery for scikit-learn", "url": "http://fa.bianp.net/blog/2011/reworked-example-gallery-for-scikit-learn/", "published_at": "2011-09-04T18:09:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f32f423c", "title": "scikit-learn’s EuroScipy 2011 coding sprint -- day two", "url": "http://fa.bianp.net/blog/2011/scikit-learns-euroscipy-2011-coding-sprint-day-two/", "published_at": "2011-08-24T22:33:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f3ee2148", "title": "scikit-learn EuroScipy 2011 coding sprint -- day one", "url": "http://fa.bianp.net/blog/2011/scikit-learn-euroscipy-2011-coding-sprint-day-one/", "published_at": "2011-08-23T19:38:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f4e245a2", "title": "Ridge regression path", "url": "http://fa.bianp.net/blog/2011/ridge-regression-path/", "published_at": "2011-07-12T07:21:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f51763f0", "title": "LLE comes in different flavours", "url": "http://fa.bianp.net/blog/2011/lle-comes-in-different-flavours/", "published_at": "2011-06-30T14:22:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f54e387d", "title": "Manifold learning in scikit-learn", "url": "http://fa.bianp.net/blog/2011/manifold-learning-in-scikit-learn/", "published_at": "2011-06-07T07:19:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f5c72526", "title": "Handwritten digits and Locally Linear Embedding", "url": "http://fa.bianp.net/blog/2011/handwritten-digits-and-locally-linear-embedding/", "published_at": "2011-05-04T08:46:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f618c53f", "title": "Low-level routines for Support Vector Machines", "url": "http://fa.bianp.net/blog/2011/low-level-routines-for-support-vector-machines/", "published_at": "2011-04-27T13:27:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f6e94f01", "title": "new get_blas_funcs in scipy.linalg", "url": "http://fa.bianp.net/blog/2011/new-get_blas_funcs-in-scipylinalg/", "published_at": "2011-04-23T16:24:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f7dabb0a", "title": "Locally linear embedding and sparse eigensolvers", "url": "http://fa.bianp.net/blog/2011/locally-linear-embedding-and-sparse-eigensolvers/", "published_at": "2011-04-21T12:28:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f8439516", "title": "scikits.learn is now part of pythonxy", "url": "http://fa.bianp.net/blog/2011/scikitslearn-is-now-part-of-pythonxy/", "published_at": "2011-04-20T11:48:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f84d66af", "title": "Least squares with equality constrain", "url": "http://fa.bianp.net/blog/2011/least-squares-with-equality-constrain/", "published_at": "2011-04-14T08:02:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f89c7a1e", "title": "A profiler for Python extensions", "url": "http://fa.bianp.net/blog/2011/a-profiler-for-python-extensions/", "published_at": "2011-04-06T12:02:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f9459e40", "title": "scikit-learn coding sprint in Paris", "url": "http://fa.bianp.net/blog/2011/scikit-learn-coding-sprint-in-paris/", "published_at": "2011-04-02T10:07:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f96af442", "title": "py3k in scikit-learn", "url": "http://fa.bianp.net/blog/2011/py3k-in-scikit-learn/", "published_at": "2011-03-28T13:23:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622f97eed51", "title": "Computing the vector norm", "url": "http://fa.bianp.net/blog/2011/computing-the-vector-norm/", "published_at": "2011-02-15T09:31:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fa54c16e", "title": "Smells like hacker spirit", "url": "http://fa.bianp.net/blog/2011/smells-like-hacker-spirit/", "published_at": "2011-02-11T08:50:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fad46a98", "title": "New examples in scikits.learn 0.6", "url": "http://fa.bianp.net/blog/2010/new-examples-in-scikitslearn-06/", "published_at": "2010-12-31T12:55:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fb7ae9b9", "title": "Weighted samples for SVMs", "url": "http://fa.bianp.net/blog/2010/weighted-samples-for-svms/", "published_at": "2010-11-29T12:20:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fbfef083", "title": "Coming soon ...", "url": "http://fa.bianp.net/blog/2010/coming-soon/", "published_at": "2010-11-24T09:39:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fc03b1bb", "title": "memory efficient bindigs for libsvm", "url": "http://fa.bianp.net/blog/2010/memory-efficient-bindigs-for-libsvm/", "published_at": "2010-11-19T14:08:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fcd32666", "title": "solve triangular matrices using scipy.linalg", "url": "http://fa.bianp.net/blog/2010/solve-triangular-matrices-using-scipylinalg/", "published_at": "2010-10-29T23:13:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fcf21abb", "title": "LARS algorithm", "url": "http://fa.bianp.net/blog/2010/lars-algorithm/", "published_at": "2010-09-30T14:01:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fd060846", "title": "Second scikits.learn coding sprint", "url": "http://fa.bianp.net/blog/2010/second-scikitslearn-coding-sprint/", "published_at": "2010-09-12T20:31:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fe017b89", "title": "Support for sparse matrices in scikits.learn", "url": "http://fa.bianp.net/blog/2010/support-for-sparse-matrices-in-scikitslearn/", "published_at": "2010-08-23T15:47:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622fec65ff1", "title": "Flags to debug python C extensions.", "url": "http://fa.bianp.net/blog/2010/flags-to-debug-python-c-extensions/", "published_at": "2010-08-18T11:40:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5622ffa8128e", "title": "July in Paris", "url": "http://fa.bianp.net/blog/2010/july-in-paris/", "published_at": "2010-07-29T22:11:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-562300311f4c", "title": "Support Vector machines with custom kernels using scikits.learn", "url": "http://fa.bianp.net/blog/2010/support-vector-machines-with-custom-kernels-using-scikitslearn/", "published_at": "2010-05-27T08:42:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-562300a9eb57", "title": "Howto link against system-wide BLAS library using numpy.distutils", "url": "http://fa.bianp.net/blog/2010/howto-link-against-system-wide-blas-library-using-numpydistutils/", "published_at": "2010-04-22T12:28:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-56230170253b", "title": "scikits.learn 0.2 release", "url": "http://fa.bianp.net/blog/2010/scikitslearn-02-release/", "published_at": "2010-03-22T10:37:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5623021510ad", "title": "Plot the maximum margin hyperplane with scikits.learn", "url": "http://fa.bianp.net/blog/2010/plot-the-maximum-margin-hyperplane-with-scikitslearn/", "published_at": "2010-03-17T11:24:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-562302f1dfa8", "title": "Fast bindings for LibSVM in scikits.learn", "url": "http://fa.bianp.net/blog/2010/fast-bindings-for-libsvm-in-scikitslearn/", "published_at": "2010-03-09T14:49:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-562303abb913", "title": "scikits.learn coding sprint in Paris", "url": "http://fa.bianp.net/blog/2010/scikitslearn-coding-sprint-in-paris/", "published_at": "2010-03-04T10:25:00+00:00" }, { "id": "01a08776-a572-71a1-90a0-5623049abba7", "title": "Scikit-learn 0.1", "url": "http://fa.bianp.net/blog/2010/scikit-learn-01/", "published_at": "2010-02-01T14:32:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba07734348", "title": "scikit-learn project on sourceforge", "url": "http://fa.bianp.net/blog/2010/scikit-learn-project-on-sourceforge/", "published_at": "2010-01-07T14:17:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba07811f35", "title": "After holidays", "url": "http://fa.bianp.net/blog/2010/after-holidays/", "published_at": "2010-01-05T09:56:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba07ce5937", "title": "Winter in Paris is not funny", "url": "http://fa.bianp.net/blog/2009/winter-in-paris-is-not-funny/", "published_at": "2009-12-22T18:36:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba07f78b4d", "title": "Last days in Granada", "url": "http://fa.bianp.net/blog/2009/last-days-in-granada/", "published_at": "2009-12-15T22:42:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0864a052", "title": "Learning, Machine Learning", "url": "http://fa.bianp.net/blog/2009/learning-machine-learning/", "published_at": "2009-12-15T22:34:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba08b15f09", "title": "Moving to Paris!", "url": "http://fa.bianp.net/blog/2009/moving-to-paris/", "published_at": "2009-12-12T01:07:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba095a6585", "title": "Summer of Code is over", "url": "http://fa.bianp.net/blog/2009/summer-of-code-is-over/", "published_at": "2009-09-05T10:21:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0a37d1c1", "title": "Speed improvements for ask() (sympy.queries.ask)", "url": "http://fa.bianp.net/blog/2009/speed-improvements-for-ask-sympyqueriesask/", "published_at": "2009-08-19T22:36:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0a6ff5cb", "title": "Logic module (sympy.logic): improving speed", "url": "http://fa.bianp.net/blog/2009/logic-module-sympylogic-improving-speed/", "published_at": "2009-08-18T21:35:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0a803d44", "title": "Refine module", "url": "http://fa.bianp.net/blog/2009/refine-module/", "published_at": "2009-08-17T17:20:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0a8b82af", "title": "Query module - finally in trunk", "url": "http://fa.bianp.net/blog/2009/query-module-finally-in-trunk/", "published_at": "2009-08-10T19:51:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0b37da3d", "title": "django, change language settings dynamically", "url": "http://fa.bianp.net/blog/2009/django-change-language-settings-dynamically/", "published_at": "2009-08-07T14:12:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0bf8c0a3", "title": "can we merge now, pleeease ?", "url": "http://fa.bianp.net/blog/2009/can-we-merge-now-pleeease/", "published_at": "2009-07-21T20:36:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0ceaf81d", "title": "Refine module, proof of concept", "url": "http://fa.bianp.net/blog/2009/refine-module-proof-of-concept/", "published_at": "2009-07-09T00:49:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0d8ecdd4", "title": "Preparing a new release", "url": "http://fa.bianp.net/blog/2009/preparing-a-new-release/", "published_at": "2009-06-30T06:57:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0e8e8582", "title": "Efficient DPLL algorithm", "url": "http://fa.bianp.net/blog/2009/efficient-dpll-algorithm/", "published_at": "2009-06-28T16:16:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0e9080cd", "title": "Queries and performance", "url": "http://fa.bianp.net/blog/2009/queries-and-performance/", "published_at": "2009-06-22T22:02:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba0f25c774", "title": "Reading CNF files", "url": "http://fa.bianp.net/blog/2009/reading-cnf-files/", "published_at": "2009-06-20T14:27:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba10250f36", "title": "Logic module merged", "url": "http://fa.bianp.net/blog/2009/logic-module-merged/", "published_at": "2009-06-19T10:23:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba103289e4", "title": "The boolean satisfiability problem", "url": "http://fa.bianp.net/blog/2009/the-boolean-satisfiability-problem/", "published_at": "2009-06-15T04:00:00+00:00" }, { "id": "01a08776-a573-702f-adc1-01ba10c11757", "title": "Initial implementation of the query system", "url": "http://fa.bianp.net/blog/2009/initial-implementation-of-the-query-system/", "published_at": "2009-06-12T04:36:00+00:00" } ] posts Claim your blog
Back to fa.bianp.net
Blog · corpus.blog/blogs/fa.bianp.net/posts

fa.bianp.net

fa.bianp.net

2026

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009