• 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

• 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
• C# User Defined Function in PostgreSQL Proof of Concept https://github.com/CsharpOnLinuxDev/IPCPostgreSQLPoC 2 comments 29/11/2016 csharp
• 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
• A refactored Proof-of-concept originally developed in 2017 to print all function calls with their arguments data types and values using Ptrace during program execution. https://github.com/finixbit/print-function-args-debugger 3 comments 28/5/2021 reverseengineering
• 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
• 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
• Video Tutorial: "Using proofs to make functions faster over length-indexed vectors" (Richard Eisenberg) https://www.youtube.com/watch?v=jPZciAJ0oaw 6 comments 11/5/2021 haskell
• "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
• 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
• Algorand founder and Turing Award winner, Silvio Micali, speaks at FTX Crypto Bahamas 2022. Micali has foundational fundamental early work in public-key cryptosystems, pseudorandom functions, digital signatures, secure multiparty computation, and is one of the co-inventors of zero-knowledge proofs. https://youtu.be/_e35mpWfhIA?t=22 29 comments 8/5/2022 cryptocurrency
• 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
• Fun little reminder from 2013: "I assign a 0% probability that we will continue with the present proof of work function. The present proof of work function is not going to survive the year. Period. If there’s one hard prediction I’m going to make it’s going to be that." – Dan Kaminsky https://www.youtube.com/watch?amp%3Bfeature=youtu.be&amp%3Bh=240&amp%3Bstart=2416&amp%3Bw=320&v=si-2niFDgtI 4 comments 17/8/2015 btc