56,966 blogs · [ { "id": "01a08763-74f0-70d6-9bbc-c61a62d510d7", "title": "We Are Not Machines: Craft, Care and Collective Agency", "url": "https://constantinides.net/2026/07/16/we-are-not-machines-craft-care-and-collective-agency/", "published_at": "2026-07-16T10:32:00+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a62e3c134", "title": "Precision Matters in Block Scales", "url": "https://constantinides.net/2026/06/11/precision-matters-in-block-scales/", "published_at": "2026-06-11T10:15:39+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a633be36c", "title": "Parliamentary Inquiry on Low-Energy Computing", "url": "https://constantinides.net/2026/06/05/parliamentary-inquiry-on-low-energy-computing/", "published_at": "2026-06-05T16:20:07+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a63c613dc", "title": "Directionality in Low Precision", "url": "https://constantinides.net/2026/06/02/directionality-in-low-precision/", "published_at": "2026-06-02T13:54:40+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a63edf8e5", "title": "AI in Education", "url": "https://constantinides.net/2026/05/19/ai-in-education/", "published_at": "2026-05-19T09:15:19+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a641215a8", "title": "Block Number Formats are (Still!) Direction Preservers", "url": "https://constantinides.net/2026/03/15/block-number-formats-are-still-direction-preservers/", "published_at": "2026-03-15T14:54:15+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a64baaf6c", "title": "Block Number Formats are Direction Preservers", "url": "https://constantinides.net/2026/03/07/block-number-formats-are-direction-preservers/", "published_at": "2026-03-07T09:37:45+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a6560b1b3", "title": "California / FPGA 2026", "url": "https://constantinides.net/2026/02/25/california-fpga-2026/", "published_at": "2026-02-25T22:26:28+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a65d311fb", "title": "Do Your Best: A Social Question?", "url": "https://constantinides.net/2025/10/26/do-your-best-a-social-question/", "published_at": "2025-10-26T16:56:45+00:00" }, { "id": "01a08763-74f0-70d6-9bbc-c61a6670d700", "title": "Productivity and Rate of Profit", "url": "https://constantinides.net/2025/06/17/productivity-and-rate-of-profit/", "published_at": "2025-06-17T07:51:13+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5d93cc748", "title": "FCCM 2025", "url": "https://constantinides.net/2025/05/17/fccm-2025/", "published_at": "2025-05-17T12:01:25+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5da017cc2", "title": "FPGA & HPCA 2025", "url": "https://constantinides.net/2025/03/06/fpga-hpca-2025/", "published_at": "2025-03-06T10:20:27+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5da9f72db", "title": "Machine Learning with Large Lookup Tables", "url": "https://constantinides.net/2025/02/14/machine-learning-with-large-lookup-tables/", "published_at": "2025-02-14T14:42:58+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5db807518", "title": "School Accountability Reform", "url": "https://constantinides.net/2025/02/09/school-accountability-reform/", "published_at": "2025-02-09T16:20:11+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5dc382951", "title": "Ontology and Oppression", "url": "https://constantinides.net/2024/11/03/ontology-and-oppression/", "published_at": "2024-11-03T18:25:08+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5dc55b484", "title": "NeuraLUT: Networks inside LUTs", "url": "https://constantinides.net/2024/08/22/neuralut-networks-inside-luts/", "published_at": "2024-08-22T14:14:19+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5dccb2644", "title": "Open Source MX Library", "url": "https://constantinides.net/2024/08/22/open-source-mx-library/", "published_at": "2024-08-22T14:04:34+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5ddc6dfad", "title": "Notes on Computational Learning Theory", "url": "https://constantinides.net/2024/07/16/notes-on-computational-learning-theory/", "published_at": "2024-07-16T15:58:28+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5de811974", "title": "Review: Neuroqueer Heresies", "url": "https://constantinides.net/2024/07/08/review-neuroqueer-heresies/", "published_at": "2024-07-08T17:16:54+00:00" }, { "id": "01a0c503-fe93-727e-abc0-90a5df6ff38b", "title": "Energy: Rewriting the Possibilities", "url": "https://constantinides.net/2024/05/31/energy-rewriting-the-possibilities/", "published_at": "2024-05-31T09:55:26+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e3b8935a", "title": "FPGA 2024", "url": "https://constantinides.net/2024/03/07/fpga-2024/", "published_at": "2024-03-07T14:37:03+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e3d5d2af", "title": "Review: Empire of Normality", "url": "https://constantinides.net/2024/02/19/review-empire-of-normality/", "published_at": "2024-02-19T09:58:41+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e43e591e", "title": "Nick Higham", "url": "https://constantinides.net/2024/01/22/nick-higham/", "published_at": "2024-01-22T15:16:04+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e4db9df6", "title": "PolyLUT: Ultra low latency inference", "url": "https://constantinides.net/2023/12/10/polylut-ultra-low-latency-inference/", "published_at": "2023-12-10T12:15:00+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e5b7f38a", "title": "Industry Coheres around MX?", "url": "https://constantinides.net/2023/10/30/industry-coheres-around-mx/", "published_at": "2023-10-30T23:40:20+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e6196360", "title": "Supercharging Formal with E-Graphs", "url": "https://constantinides.net/2023/10/20/supercharging-formal-with-e-graphs/", "published_at": "2023-10-20T10:09:19+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e6cf771c", "title": "Discovering Special Cases", "url": "https://constantinides.net/2023/06/13/discovering-special-cases/", "published_at": "2023-06-13T14:37:14+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e745a94a", "title": "Put Your Resource Where it’s Needed!", "url": "https://constantinides.net/2023/05/02/put-your-resource-where-its-needed/", "published_at": "2023-05-02T12:27:04+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e79d711e", "title": "On a definition of Frege", "url": "https://constantinides.net/2023/03/26/on-a-definition-of-frege/", "published_at": "2023-03-26T07:09:40+00:00" }, { "id": "01a0c516-4091-7056-a3b6-fb06e7ffa9bb", "title": "Industry & Academia Unite!", "url": "https://constantinides.net/2023/02/17/industry-academia-unite/", "published_at": "2023-02-17T14:16:19+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-7372fe06259a", "title": "Probably Approximately Correct", "url": "https://constantinides.net/2023/01/01/probably-approximately-correct/", "published_at": "2023-01-01T09:21:38+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-7372fee20de0", "title": "Redundant Life Totals", "url": "https://constantinides.net/2022/12/23/redundant-life-totals/", "published_at": "2022-12-23T12:58:10+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-7372ff5b3876", "title": "St. Anselm’s Ontological Argument", "url": "https://constantinides.net/2022/12/03/st-anselms-ontological-argument/", "published_at": "2022-12-03T10:42:56+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-7372fff4db71", "title": "Equivalent. But better.", "url": "https://constantinides.net/2022/09/08/equivalent-but-better/", "published_at": "2022-09-08T10:31:26+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737300a78c60", "title": "Notes on Model Theory", "url": "https://constantinides.net/2022/08/22/notes-on-model-theory/", "published_at": "2022-08-22T14:20:36+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737300b31feb", "title": "Schools Bill 2022", "url": "https://constantinides.net/2022/05/13/schools-bill-2022/", "published_at": "2022-05-13T12:37:41+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737300d5d14b", "title": "Keeping the Pipelines Full", "url": "https://constantinides.net/2022/05/12/keeping-the-pipelines-full/", "published_at": "2022-05-12T08:48:47+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737301856534", "title": "Nonlinearity is Your Friend", "url": "https://constantinides.net/2022/05/05/nonlinearity-is-your-friend/", "published_at": "2022-05-05T09:50:54+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737302312cbc", "title": "Deciding Theories", "url": "https://constantinides.net/2022/04/13/deciding-theories/", "published_at": "2022-04-13T10:32:03+00:00" }, { "id": "01a0c521-2ebf-721c-9ee9-737302354ec3", "title": "Schools White Paper 2022", "url": "https://constantinides.net/2022/03/28/schools-white-paper-2022/", "published_at": "2022-03-28T19:00:11+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37baffdac60", "title": "Pruning Circuits", "url": "https://constantinides.net/2022/02/24/pruning-circuits/", "published_at": "2022-02-24T14:06:48+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb01a29c9", "title": "Islands of Certainty", "url": "https://constantinides.net/2022/02/23/islands-of-certainty/", "published_at": "2022-02-23T09:31:38+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb046e293", "title": "MATs, SATs and Maintained Schools", "url": "https://constantinides.net/2022/02/18/mats-sats-and-maintained-schools/", "published_at": "2022-02-18T12:24:29+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb0e83f15", "title": "Restructuring Education", "url": "https://constantinides.net/2022/02/17/restructuring-education/", "published_at": "2022-02-17T13:39:20+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb1a38981", "title": "What’s the Rush?", "url": "https://constantinides.net/2021/08/17/whats-the-rush/", "published_at": "2021-08-17T10:56:08+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb1c2833c", "title": "It Probably Works!", "url": "https://constantinides.net/2021/07/16/it-probably-works/", "published_at": "2021-07-16T13:32:45+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb1cec554", "title": "Scheduling with Probabilities", "url": "https://constantinides.net/2021/05/07/scheduling-with-probabilities/", "published_at": "2021-05-07T10:50:07+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb214f68b", "title": "Easter Coq", "url": "https://constantinides.net/2021/04/06/easter-coq/", "published_at": "2021-04-06T07:07:38+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb29d053f", "title": "False Negatives and False Positives", "url": "https://constantinides.net/2021/03/07/false-negatives-and-false-positives/", "published_at": "2021-03-07T13:03:33+00:00" }, { "id": "01a0c52c-7438-72bd-90ce-c37bb3471e7d", "title": "GCSEs and A-Levels in 2021: Current Plans", "url": "https://constantinides.net/2021/02/26/gcses-and-a-levels-in-2021-current-plans/", "published_at": "2021-02-26T20:50:19+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee85f1ff8a9", "title": "GCSEs and A-Levels in 2021", "url": "https://constantinides.net/2021/01/16/gcses-and-a-levels-in-2021/", "published_at": "2021-01-16T13:02:00+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee85fcc3851", "title": "Watch Where You’re Pointing That!", "url": "https://constantinides.net/2020/09/01/watch-where-youre-pointing-that/", "published_at": "2020-09-01T08:59:51+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee860ca6d61", "title": "A-Levels and GCSEs in 2020", "url": "https://constantinides.net/2020/08/15/a-levels-and-gcses-in-2020/", "published_at": "2020-08-15T06:32:11+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee860e09b9c", "title": "Some Notes on Metric Spaces", "url": "https://constantinides.net/2020/08/09/some-notes-on-metric-spaces/", "published_at": "2020-08-09T14:07:53+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee861461b5e", "title": "ResearchED on Curriculum", "url": "https://constantinides.net/2020/07/24/researched-on-curriculum/", "published_at": "2020-07-24T19:17:57+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee861a7feb3", "title": "When are Digits Correct?", "url": "https://constantinides.net/2020/06/24/when-are-digits-correct/", "published_at": "2020-06-24T09:08:54+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee861b74a8a", "title": "Award of GCSEs and A-Levels in 2020", "url": "https://constantinides.net/2020/04/16/award-of-gcses-and-a-levels-in-2020/", "published_at": "2020-04-16T14:23:27+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee861e284fe", "title": "Learning in Vienna", "url": "https://constantinides.net/2020/03/16/learning-in-vienna/", "published_at": "2020-03-16T11:47:03+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee862de4c46", "title": "Highlights from FPGA 2020", "url": "https://constantinides.net/2020/02/27/highlights-from-fpga-2020/", "published_at": "2020-02-27T23:00:48+00:00" }, { "id": "01a0c537-5d9e-7252-adbc-bee8637550c2", "title": "When to Schedule?", "url": "https://constantinides.net/2020/02/23/when-to-schedule/", "published_at": "2020-02-23T01:44:13+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b44c93c89", "title": "Arithmetic for Neural Networks", "url": "https://constantinides.net/2020/01/30/arithmetic-for-neural-networks/", "published_at": "2020-01-30T16:17:42+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b45714bd6", "title": "Book Review: Category Theory for the Sciences", "url": "https://constantinides.net/2019/12/09/book-review-category-theory-for-the-sciences/", "published_at": "2019-12-09T10:00:50+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b46626f9d", "title": "Machine Learning at FPT 2019", "url": "https://constantinides.net/2019/12/06/machine-learning-at-fpt-2019/", "published_at": "2019-12-06T10:09:44+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b46ec9e05", "title": "Highlights of Asilomar 2019", "url": "https://constantinides.net/2019/11/08/highlights-of-asilomar-2019/", "published_at": "2019-11-08T17:19:49+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b46f426df", "title": "Approximating Circuits", "url": "https://constantinides.net/2019/05/28/approximating-circuits/", "published_at": "2019-05-28T06:47:10+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b47169884", "title": "Boolean Circuits are Neural Networks", "url": "https://constantinides.net/2019/04/26/boolean-circuits-are-neural-networks/", "published_at": "2019-04-26T07:16:44+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b47771863", "title": "Royal Society Discussion Meeting", "url": "https://constantinides.net/2019/04/23/royal-society-discussion-meeting/", "published_at": "2019-04-23T10:39:57+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b481ab570", "title": "DATE 2019: Some Highlights", "url": "https://constantinides.net/2019/03/29/date-2019-some-highlights/", "published_at": "2019-03-29T12:37:57+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b491a2e18", "title": "Highlights of CSE 2019", "url": "https://constantinides.net/2019/03/02/highlights-of-cse-2019/", "published_at": "2019-03-02T00:03:20+00:00" }, { "id": "01a0c541-1a60-716e-ac6c-5a0b49e2b95f", "title": "Highlights of FPGA 2019", "url": "https://constantinides.net/2019/02/27/highlights-of-fpga-2019/", "published_at": "2019-02-27T21:04:19+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818bd3dc87", "title": "Efficient Memory via Formal Verification", "url": "https://constantinides.net/2019/02/22/efficient-memory-via-formal-verification/", "published_at": "2019-02-22T09:16:05+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818c35805d", "title": "Neural Networks, Approximation and Hardware", "url": "https://constantinides.net/2019/01/30/neural-networks-approximation-and-hardware/", "published_at": "2019-01-30T11:09:11+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818cf23431", "title": "The Growth Mindset", "url": "https://constantinides.net/2018/12/30/the-growth-mindset/", "published_at": "2018-12-30T15:41:25+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818d34c8c0", "title": "Teaching Curriculum Beyond Year Group", "url": "https://constantinides.net/2018/10/08/teaching-curriculum-beyond-year-group/", "published_at": "2018-10-08T19:33:55+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818da2004b", "title": "Approximation of Boolean Functions", "url": "https://constantinides.net/2018/08/23/approximation-of-boolean-functions/", "published_at": "2018-08-23T12:24:05+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818e38b663", "title": "Throwaway Digits", "url": "https://constantinides.net/2018/06/25/throwaway-digits/", "published_at": "2018-06-25T13:20:40+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818ea31b53", "title": "Hardware for Rational Functions", "url": "https://constantinides.net/2018/06/18/hardware-for-rational-functions/", "published_at": "2018-06-18T14:20:01+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818ec812e4", "title": "Structures in Arithmetic Teaching Tools", "url": "https://constantinides.net/2018/06/08/structures-in-arithmetic-teaching-tools/", "published_at": "2018-06-08T07:20:13+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818f2c4e48", "title": "Know Your Threads", "url": "https://constantinides.net/2018/04/25/know-your-threads/", "published_at": "2018-04-25T13:45:30+00:00" }, { "id": "01a0c549-ed31-7051-b55d-0e818f629b32", "title": "FPGA 2018: Some Highlights", "url": "https://constantinides.net/2018/03/02/fpga-2018-some-highlights/", "published_at": "2018-03-02T14:39:54+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859890846dff", "title": "Iterating Exactly", "url": "https://constantinides.net/2017/12/11/iterating-exactly/", "published_at": "2017-12-11T13:58:05+00:00" }, { "id": "01a0c552-8f7c-726c-916c-85989176ae28", "title": "Passing Data Structures to FPGAs", "url": "https://constantinides.net/2017/12/07/passing-data-structures-to-fpgas/", "published_at": "2017-12-07T09:30:30+00:00" }, { "id": "01a0c552-8f7c-726c-916c-8598923bebef", "title": "HLS and Power: Some FPL Contributions", "url": "https://constantinides.net/2017/09/04/hls-and-power-some-fpl-contributions/", "published_at": "2017-09-04T15:43:08+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859892c4aa65", "title": "Floating-Point Workshop", "url": "https://constantinides.net/2017/09/01/floating-point-workshop/", "published_at": "2017-09-01T16:26:29+00:00" }, { "id": "01a0c552-8f7c-726c-916c-8598938e1b51", "title": "ARITH24: Some Highlights", "url": "https://constantinides.net/2017/07/26/arith24-some-highlights/", "published_at": "2017-07-26T10:54:29+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859893ed7b1a", "title": "Arithmetic Workshop at Imperial", "url": "https://constantinides.net/2017/07/21/arithmetic-workshop-at-imperial/", "published_at": "2017-07-21T14:43:57+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859893f93d5a", "title": "Review: Verified Functional Programming in Agda", "url": "https://constantinides.net/2017/05/19/review-verified-functional-programming-in-agda/", "published_at": "2017-05-19T08:58:29+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859894830c56", "title": "Primary Assessment", "url": "https://constantinides.net/2017/04/20/primary-assessment/", "published_at": "2017-04-20T07:19:48+00:00" }, { "id": "01a0c552-8f7c-726c-916c-859894d092c3", "title": "DATE 2017: Some Personal Highlights", "url": "https://constantinides.net/2017/03/31/date-2017-some-personal-highlights/", "published_at": "2017-03-31T08:48:31+00:00" }, { "id": "01a0c552-8f7c-726c-916c-85989513d78d", "title": "Overclocking For Fun and Profit", "url": "https://constantinides.net/2017/03/27/overclocking-for-fun-and-profit/", "published_at": "2017-03-27T11:19:26+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20a95e1c25", "title": "Playing with L-Systems", "url": "https://constantinides.net/2017/03/21/playing-with-l-systems/", "published_at": "2017-03-21T20:22:13+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20a98136c2", "title": "Concurrent Programming in High-Level Synthesis", "url": "https://constantinides.net/2017/02/22/concurrent-programming-in-high-level-synthesis/", "published_at": "2017-02-22T18:11:29+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20a9dc400a", "title": "National Funding Formula", "url": "https://constantinides.net/2017/02/02/national-funding-formula/", "published_at": "2017-02-02T16:42:12+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20aac60dbf", "title": "Algebra and symmetry for 5-7 year-olds", "url": "https://constantinides.net/2017/02/01/algebra-and-symmetry-for-5-7-year-olds/", "published_at": "2017-02-01T18:23:44+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20ab7cc0a1", "title": "POPL and VMCAI 2017: Some Highlights", "url": "https://constantinides.net/2017/01/26/popl-and-vmcai-2017-some-highlights/", "published_at": "2017-01-26T11:24:03+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20aba99039", "title": "National Funding Formula for Schools: A Critique", "url": "https://constantinides.net/2016/12/16/national-funding-formula-for-schools-a-critique/", "published_at": "2016-12-16T21:05:38+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20ac3c4073", "title": "Time is Precision", "url": "https://constantinides.net/2016/12/12/time-is-precision/", "published_at": "2016-12-12T09:59:24+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20ac6748b2", "title": "Primary School Data: Interpreting RAISEOnline 2016", "url": "https://constantinides.net/2016/12/09/primary-school-data-interpreting-raiseonline-2016/", "published_at": "2016-12-09T20:27:50+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20acb23514", "title": "Memory Consistency Models, and how to compare them automatically", "url": "https://constantinides.net/2016/11/11/memory-consistency-models-and-how-to-compare-them-automatically/", "published_at": "2016-11-11T13:40:40+00:00" }, { "id": "01a0c55a-efd2-71ac-a3b0-cf20ad70994f", "title": "Rounding Error and Algebraic Geometry", "url": "https://constantinides.net/2016/11/08/rounding-error-and-algebraic-geometry/", "published_at": "2016-11-08T14:27:56+00:00" } ] posts Claim your blog

Back to constantinides.net

Blog · corpus.blog/blogs/constantinides.net/posts

constantinides.net

constantinides.net

2026

We Are Not Machines: Craft, Care and Collective Agency original ↗

16 Jul 2026

Precision Matters in Block Scales original ↗

11 Jun 2026

Parliamentary Inquiry on Low-Energy Computing original ↗

5 Jun 2026

Directionality in Low Precision original ↗

2 Jun 2026

AI in Education original ↗

19 May 2026

Block Number Formats are (Still!) Direction Preservers original ↗

15 Mar 2026

Block Number Formats are Direction Preservers original ↗

7 Mar 2026

California / FPGA 2026 original ↗

25 Feb 2026

2025

Do Your Best: A Social Question?original ↗

26 Oct 2025

Productivity and Rate of Profit original ↗

17 Jun 2025

FCCM 2025 original ↗

17 May 2025

FPGA & HPCA 2025 original ↗

6 Mar 2025

Machine Learning with Large Lookup Tables original ↗

14 Feb 2025

School Accountability Reform original ↗

9 Feb 2025

2024

Ontology and Oppression original ↗

3 Nov 2024

NeuraLUT: Networks inside LUTs original ↗

22 Aug 2024

Open Source MX Library original ↗

22 Aug 2024

Notes on Computational Learning Theory original ↗

16 Jul 2024

Review: Neuroqueer Heresies original ↗

8 Jul 2024

Energy: Rewriting the Possibilities original ↗

31 May 2024

FPGA 2024 original ↗

7 Mar 2024

Review: Empire of Normality original ↗

19 Feb 2024

Nick Higham original ↗

22 Jan 2024

2023

PolyLUT: Ultra low latency inference original ↗

10 Dec 2023

Industry Coheres around MX?original ↗

30 Oct 2023

Supercharging Formal with E-Graphs original ↗

20 Oct 2023

Discovering Special Cases original ↗

13 Jun 2023

Put Your Resource Where it’s Needed!original ↗

2 May 2023

On a definition of Frege original ↗

26 Mar 2023

Industry & Academia Unite!original ↗

17 Feb 2023

Probably Approximately Correct original ↗

1 Jan 2023

2022

Redundant Life Totals original ↗

23 Dec 2022

St. Anselm’s Ontological Argument original ↗

3 Dec 2022

Equivalent. But better.original ↗

8 Sept 2022

Notes on Model Theory original ↗

22 Aug 2022

Schools Bill 2022 original ↗

13 May 2022

Keeping the Pipelines Full original ↗

12 May 2022

Nonlinearity is Your Friend original ↗

5 May 2022

Deciding Theories original ↗

13 Apr 2022

Schools White Paper 2022 original ↗

28 Mar 2022

Pruning Circuits original ↗

24 Feb 2022

Islands of Certainty original ↗

23 Feb 2022

MATs, SATs and Maintained Schools original ↗

18 Feb 2022

Restructuring Education original ↗

17 Feb 2022

2021

What’s the Rush?original ↗

17 Aug 2021

It Probably Works!original ↗

16 Jul 2021

Scheduling with Probabilities original ↗

7 May 2021

Easter Coq original ↗

6 Apr 2021

False Negatives and False Positives original ↗

7 Mar 2021

GCSEs and A-Levels in 2021: Current Plans original ↗

26 Feb 2021

GCSEs and A-Levels in 2021 original ↗

16 Jan 2021

2020

Watch Where You’re Pointing That!original ↗

1 Sept 2020

A-Levels and GCSEs in 2020 original ↗

15 Aug 2020

Some Notes on Metric Spaces original ↗

9 Aug 2020

ResearchED on Curriculum original ↗

24 Jul 2020

When are Digits Correct?original ↗

24 Jun 2020

Award of GCSEs and A-Levels in 2020 original ↗

16 Apr 2020

Learning in Vienna original ↗

16 Mar 2020

Highlights from FPGA 2020 original ↗

27 Feb 2020

When to Schedule?original ↗

23 Feb 2020

Arithmetic for Neural Networks original ↗

30 Jan 2020

2019

Book Review: Category Theory for the Sciences original ↗

9 Dec 2019

Machine Learning at FPT 2019 original ↗

6 Dec 2019

Highlights of Asilomar 2019 original ↗

8 Nov 2019

Approximating Circuits original ↗

28 May 2019

Boolean Circuits are Neural Networks original ↗

26 Apr 2019

Royal Society Discussion Meeting original ↗

23 Apr 2019

DATE 2019: Some Highlights original ↗

29 Mar 2019

Highlights of CSE 2019 original ↗

2 Mar 2019

Highlights of FPGA 2019 original ↗

27 Feb 2019

Efficient Memory via Formal Verification original ↗

22 Feb 2019

Neural Networks, Approximation and Hardware original ↗

30 Jan 2019

2018

The Growth Mindset original ↗

30 Dec 2018

Teaching Curriculum Beyond Year Group original ↗

8 Oct 2018

Approximation of Boolean Functions original ↗

23 Aug 2018

Throwaway Digits original ↗

25 Jun 2018

Hardware for Rational Functions original ↗

18 Jun 2018

Structures in Arithmetic Teaching Tools original ↗

8 Jun 2018

Know Your Threads original ↗

25 Apr 2018

FPGA 2018: Some Highlights original ↗

2 Mar 2018

2017

Iterating Exactly original ↗

11 Dec 2017

Passing Data Structures to FPGAs original ↗

7 Dec 2017

HLS and Power: Some FPL Contributions original ↗

4 Sept 2017

Floating-Point Workshop original ↗

1 Sept 2017

ARITH24: Some Highlights original ↗

26 Jul 2017

Arithmetic Workshop at Imperial original ↗

21 Jul 2017

Review: Verified Functional Programming in Agda original ↗

19 May 2017

Primary Assessment original ↗

20 Apr 2017

DATE 2017: Some Personal Highlights original ↗

31 Mar 2017

Overclocking For Fun and Profit original ↗

27 Mar 2017

Playing with L-Systems original ↗

21 Mar 2017

Concurrent Programming in High-Level Synthesis original ↗

22 Feb 2017

National Funding Formula original ↗

2 Feb 2017

Algebra and symmetry for 5-7 year-olds original ↗

1 Feb 2017

POPL and VMCAI 2017: Some Highlights original ↗

26 Jan 2017

2016

National Funding Formula for Schools: A Critique original ↗

16 Dec 2016

Time is Precision original ↗

12 Dec 2016

Primary School Data: Interpreting RAISEOnline 2016 original ↗

9 Dec 2016

Memory Consistency Models, and how to compare them automatically original ↗

11 Nov 2016

Rounding Error and Algebraic Geometry original ↗

8 Nov 2016