• Ethereum “Dagger” proof-of-work function is flawed http://bitslog.wordpress.com/2014/01/17/ethereum-dagger-pow-is-flawed/ 30 comments 24/1/2014
• Proof in Functions http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 3 comments 7/1/2015
• A visual proof that neural nets can approximate any function http://neuralnetworksanddeeplearning.com/chap4.html 128 comments 20/4/2019
• A visual proof that neural nets can compute any function http://neuralnetworksanddeeplearning.com/chap4.html 65 comments 21/8/2015

• Functional Data Structures and Algorithms. A Proof Assistant Approach https://functional-algorithms-verified.org/ 6 comments 1/9/2023 book , formalmethods , pdf , plt

• R3: a proof-of-concept static RTOS utilizing compile-time function evaluation for static configuration https://github.com/yvt/r3 6 comments 3/11/2020 rust
• Explaining- How Proof-of-Work functions on Blockchain! https://www.applancer.co/explained/explaining-how-proof-of-work-functions-on-blockchain 3 comments 22/2/2018 btc
• Chi - A proof-of-concept code generator for universally quantified function signatures. https://github.com/melvic-ybanez/chi 2 comments 8/3/2022 scala
• Manifest v3 update: Vivaldi is future-proofed with its built-in functionality https://vivaldi.com/blog/manifest-v3-update-vivaldi-is-future-proofed-with-its-built-in-functionality/ 2 comments 17/6/2024 technology
• Proof of the euler product for the Riemann Zeta function-pretty damn cool http://en.wikipedia.org/wiki/proof_of_the_euler_product_formula_for_the_riemann_zeta_function 3 comments 23/4/2012 math
• CSS Variables, Comparison Functions Proof of Concept https://codepen.io/eliseodannunzio/pen/xxprEJZ 14 comments 30/3/2022 css
• [Proof of Concept] Embedded functional scripting language with YAML https://github.com/sayanarijit/yamlfun 3 comments 1/12/2021 rust
• Data type that represents the proof that two functions are equivalent? https://stackoverflow.com/questions/53437889/data-type-that-represents-the-proof-that-two-functions-are-equivalent 3 comments 23/11/2018 idris
• Bestof: proof of sum of squares formula with generating functions https://np.reddit.com/r/math/comments/22j5p8/ideas_for_sum_of_squares_proof/cgnd0jd 2 comments 11/4/2016 math
• "In open source software development a functional pull request == proof of work." https://twitter.com/lopp/status/696004909758619648 2 comments 6/2/2016 btc
• Proof in functions: Curry-Howard explained through Swift code http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 8 comments 6/1/2015 programming
• Proof of concept plugin: asynchronous function calling in vim https://github.com/devlinzed/set 4 comments 21/12/2013 vim
• fractal-form - An experimental proof of concept for a form library using functional lenses https://github.com/intercaetera/fractal-form 19 comments 26/3/2023 reactjs
• In a proof-of-concept study, researchers have created self-assembled, protein-based circuits that can perform simple logic functions. The work demonstrates that it is possible to create stable digital circuits that take advantage of an electron’s properties at quantum scales https://news.ncsu.edu/2022/04/self-assembled-logic-circuits-from-proteins/ 10 comments 30/4/2022 science
• My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick https://np.reddit.com/r/ethereum/comments/ns7yng/my_unedited_uncensored_thoughts_about_ethereum/? 7 comments 4/6/2021 cryptocurrency
• My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick https://www.reddit.com/r/ethereum/comments/ns7yng/my_unedited_uncensored_thoughts_about_ethereum/ 91 comments 4/6/2021 ethereum
• vim-combosearch: An extension for fzf.vim that combines file search and code search (intended mostly as a proof-of-concept, but it's functional) https://github.com/mike-hearn/vim-combosearch 8 comments 12/6/2020 vim
• A visual proof that neural nets can compute any function (universal approximation theorem) http://neuralnetworksanddeeplearning.com/chap4.html 18 comments 21/8/2015 compsci
• A visual proof that neural nets can compute any function http://neuralnetworksanddeeplearning.com/chap4.html 29 comments 3/9/2014 math
• [Computability & Logic]Could anyone provide insight into a proof I'm stuck on? Proving Recursive Functions are Representable in R. http://tedsider.org/teaching/510/notes.pdf 4 comments 6/4/2012 math
• The first "Verifiable Random Function" (VRF) library in Solidity — SPOILER ALERT: verifies proofs for less than $1 in gas! https://medium.com/witnet/announcing-our-verifiable-random-function-vrf-library-in-solidity-c847edf123f7 5 comments 22/7/2019 ethereum
• Coq - "As it turns out Coq is really a dependently typed functional programming language masquerading as a proof assistant!" http://www.rubrication.net/2007/03/07/coq/ 7 comments 2/8/2007 programming
• Proof that harmonic functions on compact manifold are constant, using maximum principle https://www.reddit.com/r/math/comments/9ujne1/proof_that_harmonic_functions_on_compact_manifold/ 6 comments 6/11/2018 math
• Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems) https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 8 comments 3/5/2017 programming
• RFC 9106: Argon2 Memory-Hard Function for Password Hashing and Proof-of-Work Applications https://www.rfc-editor.org/rfc/rfc9106.html 40 comments 8/9/2021 crypto
• "A prime-representing function" - A short and sweet proof by William H. Mills - 1947 http://www.ams.org/journals/bull/1947-53-06/s0002-9904-1947-08849-2/s0002-9904-1947-08849-2.pdf?view 6 comments 11/10/2018 math
• Euler’s Pi Prime Product and Riemann’s Zeta Function - great animated proofs by Mathologer https://youtu.be/LFwSIdLSosI 15 comments 8/9/2017 math
• A visual proof that neural nets can compute any function. [Chapter 4 of Nielsen's 'Neural Networks and Deep Learning'] http://neuralnetworksanddeeplearning.com/chap4.html 11 comments 6/9/2014 compsci
• A new paper appeared today, claiming a proof of a 1955 conjecture related to Geometry, Functional Analysis and Probability: the "Gaussian Correlation Conjecture". http://arxiv.org/pdf/1310.8099.pdf 9 comments 31/10/2013 math
• Verse programming language: HUGE update to doc: The Verse Calculus: a Core Calculus for Functional Logic Programming (Functional Logic language developed by Epic Games): Confluence proof of rewrite system, Updateable references and more ! https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf 6 comments 14/3/2023 programminglanguages
• Researchers have delivered a proof-of-concept demonstration of a neural network-driven method for creating a precise exchange-correlation functional, which is the core component of the density functional theory https://www.nature.com/articles/s41598-022-18083-1 7 comments 14/9/2022 science
• A proof-of-concept implementation of a labyrinth hash function, using the state itself as an almost infinitely long source of random numbers. Gas cost around 30000 gas. https://gist.github.com/resilience-me/d439a629929cd45a141e8429cd962766 29 comments 8/11/2018 ethereum
• Scientists built the next generation of "completely biological machines" using cells from a frog to create new lifeforms allegedly capable of navigation, self-heating, and memory. “It’s a proof of principle that we can modify the cells to put in other things that give them new functionalities." https://www.inverse.com/innovation/xenobots-are-living-machines 93 comments 1/4/2021 science
• Scientists created fully-functional mini-livers out of human skin cells, then successfully transplanted them into five rats. The research is a proof-of-concept for potentially revolutionary technology and provides a glimpse of an organ donor free future, the team says. https://www.inverse.com/mind-body/lab-grown-mini-human-livers 423 comments 2/6/2020 science
• Gene-corrected, Mouse-derived Induced Pluripotent Stem Cells functionally integrate into dystrophic mice, alleviated symptoms and providing proof-of-principle therapy for Duchenne's Muscular Dystrophy http://www.nature.com/ncomms/journal/v4/n3/full/ncomms2550.html 6 comments 6/3/2013 science