Login
Discover
Waves
Decks
Plus
Login
Signup
Dana Edwards
@dana-edwards
75
A promoter of a more secure, free, and happy society.
Followers
8543
Following
182
Resource Credits
Available
Used
Created
2016-05-12 02:54
RSS Feed
Subscribe
Blog
Blog
Posts
Comments
Communities
Wallet
dana-edwards
hivedevs
2026-04-24 18:56
Neurosymbolic DeFi Defense - How the Drift Protocol exploit could have been prevented
How can we avoid the sort of exploits we see recently on smart contracts like Drift? Formal methods can be used to prevent this.
$ 0.824
11
dana-edwards
philosophy
2026-04-22 23:14
What is truth? P-hacking in scientific papers
What is truth? Why we won't find it in scientific papers.
$ 0.229
5
dana-edwards
philosophy
2026-04-22 20:52
What is "Truth Seeking" AI? First we need to address what truth is.
What is truth? What does it mean to be maximally truth seeking? Is maximally truth seeking AI even possible?
$ 0.224
12
dana-edwards
transhumanism
2026-04-21 21:57
Cyborgization is here. ICE agents now have cyber glasses.
Cyborgization has begun. ICE and Homeland Security are becoming cyborg agents.
$ 0.916
9
dana-edwards
programming
2026-04-21 20:54
Thinking Beyond Code, in the agentic era
We are exiting the coding era and entering into a proof first era
$ 0.598
10
dana-edwards
tau
2026-04-21 20:30
It's been a while
It's been a while, but I've back posting, and I can also report that Tau Net, which I posted about 10 years ago, is now launching testnet.
$ 0.619
16
11
dana-edwards
tau
2024-07-06 11:55
Ohad's important formula explained (GSSOTC)
I examine the GSSOTC logic formula and discuss state transitions.
$ 2.857
24
dana-edwards
agi
2023-12-16 13:54
AGI could be built within 1 to 5 years. Are we really ready for it?
I discuss my prediction that AGI (from academic theory) is between 1 and 5 years away.
$ 19.775
51
dana-edwards
ethics
2021-08-20 22:14
Harm minimization vs Regret minimization
Harm minimization vs regret minimization is discussed to discover which affords a better ethical strategy.
$ 2.658
22
dana-edwards
crypto
2021-08-12 03:17
Is burn rate an equivalent metric to profit if tokens are burned in the crypto ecosystem is this analogous to profit in a company?
Burn rate may be a substitute metric to profit for measuring the value of a crypto ecosystem.
$ 4.056
32
2
dana-edwards
hex
2021-08-10 06:00
The possible moral reasoning behind Pulsechain
In studying the initial game theory and sacrifice phase of Pulsechain I arrive at the word "sacrifice" and the phrase "sacrifice points". In addition to these phrases I see the ultimate
$ 5.008
44
dana-edwards
hex
2021-07-24 02:21
Game Theory, Time, and Money. The problem of lost time, and what we can do to fix it.
The problem of lost time, and what we can do to fix it.
$ 11.077
126
2
nainaztengra
Natural Medicine
2021-06-26 09:40
dana-edwards reblogged
Nothing is permanent in Life
When I keep talking to people about being positive, about looking at life in a much broader perspective, about facing challenges and hard times with a smile, about never giving up, and all those things
$ 61.826
662
12
dana-edwards
bitcoin
2021-05-19 07:19
Is the Bitcoin/Crypto bull market over? Look at the on chain metrics
Is the Bitcoin bull market over?
$ 11.138
55
5
dana-edwards
covid19
2021-04-14 16:21
My experience taking the first dose of the COVID-19 vaccine (Pfizer) Day 1
Experience with the Pfizer vaccine and highlights of the first day.
$ 9.291
108
18
dana-edwards
tau
2021-04-01 18:20
Massive Update: Monthly Tauchain Development Update
Discussion of a specific topic (verifiable computation) from the Tau monthly update
$ 52.939
60
1
kevinwong
tau
2021-03-16 16:05
dana-edwards reblogged
Tau Update (Optional ERC20-AGRS + Bittrex & Uniswap listing + Supporter Program)
AGRS is now available as ERC20-AGRS (an ERC20 token under Ethereum). If you've acquired AGRS before this, please be informed that you're holding OMNI-AGRS (an OMNI token under Bitcoin). You can hold that
$ 60.554
192
9
dana-edwards
tauchain
2021-03-24 12:23
Tau/Agoras is now available on Bittrex and Uniswap
Tauchain's AGRS token is now available on Bittrex and Uniswap.
$ 52.438
112
3
dana-edwards
tauchain
2020-09-22 02:56
Tau Update: First Order Logic Solver and other good news
Update Main points of this update: Improved parsing capability (EBNF support) allows TML to more easily specify context free grammars. First order logic solving. EBNF --> Grammar --> FOL From observing
$ 12.630
130
3
dana-edwards
tau
2020-05-03 09:27
Tau: Internet Champion of the Knowledge Markets
Knowledge markets and Agoras Intuitively many people already know what a knowledge market is. If you break it down to questions and answers then you can think of many problems where in order to solve the
$ 38.479
113
1
