corpus.blog
56,966 blogs · [ { "id": "01a0875a-746e-72b0-978b-a96ec7fb84e8", "title": "Knowledge soundness of Groth16", "url": "https://building-babylon.net/2026/08/07/knowledge-soundness-of-groth16/", "published_at": "2026-08-07T21:16:50+00:00" }, { "id": "01a0875a-746e-72b0-978b-a96ec84ce184", "title": "Unlucky folds & the correlated agreement theorem", "url": "https://building-babylon.net/2025/06/02/unlucky-folds-the-correlated-agreement-theorem/", "published_at": "2025-06-02T05:46:11+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e58544e0b", "title": "Re-randomization and information leakage in MPC multiplication using Shamir secret sharing", "url": "https://building-babylon.net/2025/05/16/re-randomization-and-information-leakage-in-mpc-multiplication-using-shamir-secret-sharing/", "published_at": "2025-05-16T05:05:08+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e58e2d699", "title": "Consequences real & imaginary of “How to Prove False Statements: Practical Attacks on Fiat-Shamir”", "url": "https://building-babylon.net/2025/03/07/consequences-real-imaginary-of-how-to-prove-false-statements-practical-attacks-on-fiat-shamir/", "published_at": "2025-03-07T03:04:26+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e59899a2c", "title": "Building a polynomial commitment scheme from the FRI-IOPP", "url": "https://building-babylon.net/2025/02/03/building-a-polynomial-commitment-scheme-from-the-fri-iopp/", "published_at": "2025-02-03T04:50:48+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5a3b2266", "title": "From equivalences of Reed-Solomon codes to algebraic geometry codes", "url": "https://building-babylon.net/2025/01/17/from-equivalences-of-reed-solomon-codes-to-algebraic-geometry-codes/", "published_at": "2025-01-17T05:16:08+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5b177650", "title": "FRI is a proof of proximity, not a low-degree test", "url": "https://building-babylon.net/2025/01/10/fri-is-a-proof-of-proximity-not-a-low-degree-test/", "published_at": "2025-01-10T06:11:07+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5b22d5eb", "title": "When is a polynomial determined by evaluations? Polynomial interpolation over commutative rings with unity.", "url": "https://building-babylon.net/2024/07/17/when-is-a-polynomial-determined-by-evaluations-polynomial-interpolation-over-commutative-rings-with-unity/", "published_at": "2024-07-17T01:58:45+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5b820964", "title": "Efficient polynomial interpolation on $0, 1, 2, .. $ (the inverse Vandermonde on integer nodes)", "url": "https://building-babylon.net/2024/07/10/efficient-polynomial-interpolation-on-0-1-2-the-inverse-vandermonde-on-integer-nodes/", "published_at": "2024-07-10T05:07:30+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5c768682", "title": "Associativity of the group law on an elliptic curve via the Cayley-Bacharach theorem", "url": "https://building-babylon.net/2024/05/26/associativity-of-the-group-law-on-a-non-singular-elliptic-curve-via-the-cayley-bacharach-theorem/", "published_at": "2024-05-26T06:50:55+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5cdfe91e", "title": "A construction of the finite fields (with exercises)", "url": "https://building-babylon.net/2024/05/19/construction-of-the-finite-fields/", "published_at": "2024-05-19T04:43:18+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5dc7f01a", "title": "The multiplicative group of a finite field is cyclic", "url": "https://building-babylon.net/2024/02/25/the-multiplicative-group-of-a-finite-field-is-cyclic/", "published_at": "2024-02-25T00:23:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5e76938c", "title": "Understanding LogUp: A Royal Road", "url": "https://building-babylon.net/2024/02/14/a-royal-road-to-logup/", "published_at": "2024-02-14T08:38:59+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5eb8c92c", "title": "The limits of linear-time machine learning", "url": "https://building-babylon.net/2023/12/01/the-limits-of-linear-time-machine-learning/", "published_at": "2023-12-01T05:36:24+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e5f9b5aff", "title": "Polynomials over a finite field vs polynomial functions on a finite field", "url": "https://building-babylon.net/2023/10/23/polynomials-over-a-finite-field-vs-polynomial-functions-on-a-finite-field/", "published_at": "2023-10-23T00:35:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6013991c", "title": "Deep Differentiable Logic Gate Networks & their (potential) relevance to ZKML", "url": "https://building-babylon.net/2023/05/08/deep-differentiable-logic-gate-networks-their-potential-relevance-to-zkml/", "published_at": "2023-05-08T01:13:14+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e60d5fdbf", "title": "Pairings on elliptic curves: a toy example", "url": "https://building-babylon.net/2023/01/19/elliptic-curve-pairings-a-first-example/", "published_at": "2023-01-19T07:13:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6196b948", "title": "What does an elliptic curve look like near the point at infinity (the identity)?", "url": "https://building-babylon.net/2023/01/06/what-does-an-elliptic-curve-look-like-near-the-point-at-infinity-the-identity/", "published_at": "2023-01-06T03:46:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e61b3c0cb", "title": "A toy elliptic curve over a finite field", "url": "https://building-babylon.net/2022/06/20/a-toy-elliptic-curve-over-a-finite-field/", "published_at": "2022-06-20T06:09:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e624ad029", "title": "Siegelmann & Sontag’s “On the Computational Power of Neural Nets”", "url": "https://building-babylon.net/2018/05/08/siegelmann-sontags-on-the-computational-power-of-neural-nets/", "published_at": "2018-05-08T14:41:28+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e630ff032", "title": "Graph embeddings in Hyperbolic Space", "url": "https://building-babylon.net/2018/04/10/graph-embeddings-in-hyperbolic-space/", "published_at": "2018-04-10T15:20:21+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e63154f62", "title": "Gradient optimisation on the Poincaré disc", "url": "https://building-babylon.net/2018/04/10/gradient-optimisation-on-the-poincare-disc/", "published_at": "2018-04-10T14:58:13+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e640ad210", "title": "Circle circumference in the hyperbolic plane is exponential in the radius: proof by computer game", "url": "https://building-babylon.net/2018/04/10/circle-circumference-in-the-hyperbolic-plane-is-exponential-in-the-radius-a-proof-by-computer-game/", "published_at": "2018-04-10T13:25:58+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e643da21f", "title": "Hierarchical Softmax", "url": "https://building-babylon.net/2017/08/01/hierarchical-softmax/", "published_at": "2017-08-01T08:29:58+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6457a6f7", "title": "Minsky & Papert’s “Perceptrons”", "url": "https://building-babylon.net/2017/06/08/minsky-paperts-perceptrons/", "published_at": "2017-06-08T10:25:51+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e647543e3", "title": "Re-parameterising for non-negativity yields multiplicative updates", "url": "https://building-babylon.net/2017/04/24/re-parameterising-for-non-negativity-yields-multiplicative-updates/", "published_at": "2017-04-24T12:19:10+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e64893fb8", "title": "Factorisation of stochastic matrices", "url": "https://building-babylon.net/2017/04/23/factorisation-of-stochastic-matrices/", "published_at": "2017-04-23T20:02:26+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e64ed4afb", "title": "Heider and Simmel misinterpreted", "url": "https://building-babylon.net/2017/01/18/heider-and-simmel-misinterpreted/", "published_at": "2017-01-18T00:00:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e65130393", "title": "An LCD digit dataset for illustrating the “parts-based” representation of NMF", "url": "https://building-babylon.net/2016/12/28/an-lcd-digit-dataset-for-illustrating-the-parts-based-representation-of-nmf/", "published_at": "2016-12-28T00:00:00+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e651b2157", "title": "Don’t interpret linear hidden units, they don’t exist.", "url": "https://building-babylon.net/2016/10/19/dont-interpret-linear-hidden-units-they-dont-exist/", "published_at": "2016-10-19T08:52:03+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e65cd4ef9", "title": "Adagrad depends on the choice of co-ordinate system", "url": "https://building-babylon.net/2016/10/05/adagrad-evolution-depends-on-the-choice-of-basis/", "published_at": "2016-10-05T08:52:03+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6649b5e8", "title": "Orthogonal transformations and gradient updates", "url": "https://building-babylon.net/2016/10/05/orthogonal-transformations-and-gradient-updates/", "published_at": "2016-10-05T07:52:03+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e66f8809a", "title": "Short-time Fourier transform cheatsheet", "url": "https://building-babylon.net/2016/07/29/short-time-fourier-transform-cheatsheet/", "published_at": "2016-07-29T08:52:03+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e67e23efb", "title": "The mathematics of the discrete Fourier transform", "url": "https://building-babylon.net/2016/07/28/a-mathematicians-take-on-the-discrete-fourier-transform/", "published_at": "2016-07-28T16:45:09+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6811ad41", "title": "Feature scaling and non-negative matrix factorisation", "url": "https://building-babylon.net/2016/07/28/feature-scaling-and-non-negative-matrix-factorisation/", "published_at": "2016-07-28T15:53:20+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e68cbba67", "title": "Convergence rate of gradient descent", "url": "https://building-babylon.net/2016/06/23/convergence-rate-of-gradient-descent/", "published_at": "2016-06-23T14:11:47+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e68dd5fe2", "title": "Skipgram isn't Matrix Factorisation", "url": "https://building-babylon.net/2016/05/12/skipgram-isnt-matrix-factorisation/", "published_at": "2016-05-12T11:54:43+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e69d3cc8a", "title": "Softmax parameterisation and optimisation", "url": "https://building-babylon.net/2016/04/25/softmax-parameterisation-and-optimisation/", "published_at": "2016-04-25T11:28:34+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6a06748d", "title": "Improving Pairwise Learning for Item Recommendation from Implicit Feedback 2014", "url": "https://building-babylon.net/2016/03/20/improving-pairwise-learning-for-item-recommendation-from-implicit-feedback-2014/", "published_at": "2016-03-20T21:04:17+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6ab32d02", "title": "WARP loss for implicit-feedback recommendation", "url": "https://building-babylon.net/2016/03/18/warp-loss-for-implicit-feedback-recommendation/", "published_at": "2016-03-18T18:44:12+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6b21fe8d", "title": "Parameterising the Mahalanobis distances for metric learning", "url": "https://building-babylon.net/2015/11/06/parameterising-the-mahalanobis-distances-for-metric-learning/", "published_at": "2015-11-06T11:28:17+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6bfb067d", "title": "Visualising the set of 2×2 positive semidefinite matrices", "url": "https://building-babylon.net/2015/11/06/visualising-the-set-of-2x2-positive-semidefinite-matrices/", "published_at": "2015-11-06T11:14:31+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6c5fe042", "title": "Does vector direction encode word frequency?", "url": "https://building-babylon.net/2015/11/04/does-vector-direction-encode-word-frequency/", "published_at": "2015-11-04T12:00:31+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6d48d415", "title": "Limiting Distributions of Markov Chains", "url": "https://building-babylon.net/2015/10/23/limiting-distributions-of-markov-chains/", "published_at": "2015-10-23T14:55:05+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6e23db0f", "title": "GloVe: Global Vectors for Word Representations", "url": "https://building-babylon.net/2015/07/29/glove-global-vectors-for-word-representations/", "published_at": "2015-07-29T17:14:20+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6f0e51ac", "title": "Perpendicularity and dimension", "url": "https://building-babylon.net/2015/07/14/perpendicularity-and-dimension/", "published_at": "2015-07-14T08:13:03+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e6ff7afb0", "title": "Marginal and Conditional Distributions of the Multivariate Gaussian", "url": "https://building-babylon.net/2015/07/14/marginal-and-conditional-distributions-of-the-multivariate-gaussian/", "published_at": "2015-07-14T07:43:48+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e70aff80b", "title": "Block Multiplication of Matrices", "url": "https://building-babylon.net/2015/07/09/block-multiplication-of-matrices/", "published_at": "2015-07-09T10:46:27+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e71217bf3", "title": "Document Embedding with Paragraph Vectors", "url": "https://building-babylon.net/2015/06/03/document-embedding-with-paragraph-vectors/", "published_at": "2015-06-03T12:34:58+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e71eb5a2b", "title": "Expectation-Maximisation and Gaussian Mixture Models", "url": "https://building-babylon.net/2015/05/20/expectation-maximisation-and-gaussian-mixture-models/", "published_at": "2015-05-20T09:52:16+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e72932bd6", "title": "Entropy of the Normal Distribution", "url": "https://building-babylon.net/2015/03/15/entropy-of-the-normal-distribution/", "published_at": "2015-03-15T03:00:37+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e729c2e7e", "title": "Shannon: averaging operations can only increase the entropy", "url": "https://building-babylon.net/2015/03/15/shannon-averaging-operations-can-only-increase-the-entropy/", "published_at": "2015-03-15T02:55:39+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e7345bc74", "title": "Matrix Factorisation and the Eigendecomposition of the Gram Matrix", "url": "https://building-babylon.net/2015/02/25/matrix-factorisation-and-the-eigendecomposition-of-the-gram-matrix/", "published_at": "2015-02-25T22:36:46+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e74083bb9", "title": "Projected Gradient Descent", "url": "https://building-babylon.net/2015/02/20/projected-gradient-descent/", "published_at": "2015-02-20T11:08:48+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e7505acc5", "title": "Squared pair-wise differences estimate the variance", "url": "https://building-babylon.net/2015/02/20/squared-pair-wise-differences-estimate-the-variance/", "published_at": "2015-02-20T11:03:24+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e751df33c", "title": "Estimation Theory and the Bias-Variance Trade-Off", "url": "https://building-babylon.net/2015/02/20/the-bias-variance-trade-off/", "published_at": "2015-02-20T11:00:44+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e752ae2c7", "title": "Eigendecomposition of real, symmetric matrices", "url": "https://building-babylon.net/2015/02/20/eigendecomposition-of-real-symmetric-matrices/", "published_at": "2015-02-20T10:47:10+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e755d6a43", "title": "An overview of word2vec", "url": "https://building-babylon.net/2015/02/17/an-overview-of-word2vec/", "published_at": "2015-02-17T12:24:02+00:00" }, { "id": "01a0875a-746f-73b7-b853-f75e758699d1", "title": "Maximum Likelihood Estimation for Non-negative Matrix Factorisation and the generalised Kullback-Leibler divergence", "url": "https://building-babylon.net/2015/02/17/maximum-likelihood-estimation-for-non-negative-matrix-factorisation-and-the-generalised-kullback-leibler-divergence/", "published_at": "2015-02-17T12:07:59+00:00" } ] posts Claim your blog
Back to building-babylon.net
Blog · corpus.blog/blogs/building-babylon.net/posts

building-babylon.net

building-babylon.net

2026

Knowledge soundness of Groth16original ↗
7 Aug 2026

2025

Unlucky folds & the correlated agreement theoremoriginal ↗
2 Jun 2025
Re-randomization and information leakage in MPC multiplication using Shamir secret sharingoriginal ↗
16 May 2025
Consequences real & imaginary of “How to Prove False Statements: Practical Attacks on Fiat-Shamir”original ↗
7 Mar 2025
Building a polynomial commitment scheme from the FRI-IOPPoriginal ↗
3 Feb 2025
From equivalences of Reed-Solomon codes to algebraic geometry codesoriginal ↗
17 Jan 2025
FRI is a proof of proximity, not a low-degree testoriginal ↗
10 Jan 2025

2024

When is a polynomial determined by evaluations? Polynomial interpolation over commutative rings with unity.original ↗
17 Jul 2024
Efficient polynomial interpolation on $0, 1, 2, .. $ (the inverse Vandermonde on integer nodes)original ↗
10 Jul 2024
Associativity of the group law on an elliptic curve via the Cayley-Bacharach theoremoriginal ↗
26 May 2024
A construction of the finite fields (with exercises)original ↗
19 May 2024
The multiplicative group of a finite field is cyclicoriginal ↗
25 Feb 2024
Understanding LogUp: A Royal Roadoriginal ↗
14 Feb 2024

2023

The limits of linear-time machine learningoriginal ↗
1 Dec 2023
Polynomials over a finite field vs polynomial functions on a finite fieldoriginal ↗
23 Oct 2023
Deep Differentiable Logic Gate Networks & their (potential) relevance to ZKMLoriginal ↗
8 May 2023
Pairings on elliptic curves: a toy exampleoriginal ↗
19 Jan 2023
What does an elliptic curve look like near the point at infinity (the identity)?original ↗
6 Jan 2023

2022

A toy elliptic curve over a finite fieldoriginal ↗
20 Jun 2022

2018

Siegelmann & Sontag’s “On the Computational Power of Neural Nets”original ↗
8 May 2018
Graph embeddings in Hyperbolic Spaceoriginal ↗
10 Apr 2018
Gradient optimisation on the Poincaré discoriginal ↗
10 Apr 2018
Circle circumference in the hyperbolic plane is exponential in the radius: proof by computer gameoriginal ↗
10 Apr 2018

2017

Hierarchical Softmaxoriginal ↗
1 Aug 2017
Minsky & Papert’s “Perceptrons”original ↗
8 Jun 2017
Re-parameterising for non-negativity yields multiplicative updatesoriginal ↗
24 Apr 2017
Factorisation of stochastic matricesoriginal ↗
23 Apr 2017
Heider and Simmel misinterpretedoriginal ↗
18 Jan 2017

2016

An LCD digit dataset for illustrating the “parts-based” representation of NMForiginal ↗
28 Dec 2016
Don’t interpret linear hidden units, they don’t exist.original ↗
19 Oct 2016
Adagrad depends on the choice of co-ordinate systemoriginal ↗
5 Oct 2016
Orthogonal transformations and gradient updatesoriginal ↗
5 Oct 2016
Short-time Fourier transform cheatsheetoriginal ↗
29 Jul 2016
The mathematics of the discrete Fourier transformoriginal ↗
28 Jul 2016
Feature scaling and non-negative matrix factorisationoriginal ↗
28 Jul 2016
Convergence rate of gradient descentoriginal ↗
23 Jun 2016
Skipgram isn't Matrix Factorisationoriginal ↗
12 May 2016
Softmax parameterisation and optimisationoriginal ↗
25 Apr 2016
Improving Pairwise Learning for Item Recommendation from Implicit Feedback 2014original ↗
20 Mar 2016
WARP loss for implicit-feedback recommendationoriginal ↗
18 Mar 2016

2015

Parameterising the Mahalanobis distances for metric learningoriginal ↗
6 Nov 2015
Visualising the set of 2×2 positive semidefinite matricesoriginal ↗
6 Nov 2015
Does vector direction encode word frequency?original ↗
4 Nov 2015
Limiting Distributions of Markov Chainsoriginal ↗
23 Oct 2015
GloVe: Global Vectors for Word Representationsoriginal ↗
29 Jul 2015
Perpendicularity and dimensionoriginal ↗
14 Jul 2015
Marginal and Conditional Distributions of the Multivariate Gaussianoriginal ↗
14 Jul 2015
Block Multiplication of Matricesoriginal ↗
9 Jul 2015
Document Embedding with Paragraph Vectorsoriginal ↗
3 Jun 2015
Expectation-Maximisation and Gaussian Mixture Modelsoriginal ↗
20 May 2015
Entropy of the Normal Distributionoriginal ↗
15 Mar 2015
Shannon: averaging operations can only increase the entropyoriginal ↗
15 Mar 2015
Matrix Factorisation and the Eigendecomposition of the Gram Matrixoriginal ↗
25 Feb 2015
Projected Gradient Descentoriginal ↗
20 Feb 2015
Squared pair-wise differences estimate the varianceoriginal ↗
20 Feb 2015
Estimation Theory and the Bias-Variance Trade-Offoriginal ↗
20 Feb 2015
Eigendecomposition of real, symmetric matricesoriginal ↗
20 Feb 2015
An overview of word2vecoriginal ↗
17 Feb 2015
Maximum Likelihood Estimation for Non-negative Matrix Factorisation and the generalised Kullback-Leibler divergenceoriginal ↗
17 Feb 2015