Dao
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Folding Beijing
At ten of five in the morning, Lao Dao crossed the busy pedestrian lane on his way to find Peng Li. After the end of his shift at the waste processing station, Lao Dao had gone home, first to shower and then to change. He was wearing a white shirt and a pair of brown pants—the only decent clothes he owned.
Sustainability by Design in Decentralized Autonomous Organizations: An Empirical Review of Governance, Innovation, and Institutional Design
new Abstract: Recent innovation theories on economics remain largely grounded in assumptions of hierarchical firms and closed organizational boundaries, offering limited insight into how innovation unfolds within decentralized, digitally native organizations. Decentralized Autonomous Organizations (DAOs) represent an emerging form of innovation ecosystem characterized by blockchain-based transparency, open participation, and token-driven governance, in which sustainability can be embedded...
AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling
arXiv:2606.05986v1 Announce Type: new Abstract: Existing learning-based detectors for Solidity smart-contracts reduce vulnerability detection to syntactic pattern matching within single functions, yet many of the most consequential exploits (The DAO, Cream Finance) exist not in any individual function but in the relationship between functions and in the combination of conditions that made the attack feasible. Thus, we propose AttackPathGNN, a graph neural network (GNN) that reframes...
HiPPO Zoo: Explicit Memory Mechanisms for Interpretable State Space Models
arXiv:2602.21340v2 Announce Type: replace Abstract: Representing the past in a compressed, efficient, and informative manner is a central problem for systems trained on sequential data. The HiPPO framework, originally proposed by Gu & Dao et al., provides a principled approach to sequential compression by projecting signals onto orthogonal polynomial (OP) bases via structured linear ordinary differential equations. Subsequent works have embedded these dynamics in state space models (SSMs),...
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
Announce Type: replace Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses since 2016, with...
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
arXiv:2606.01794v1 Announce Type: new Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses...
Being Towards Death review – Chinese hospital comedy drama uses plucky patients to ask big questions
A debt-laden caregiver attempting suicide is the catalyst for him finding new meaning to life from a ward of terminally ill patients in touching ensemble drama‘You know the law of entropy? Life is a process of constant decay,” ssays a doctor in this Chinese hospital comedy drama – but not that you’d know it from the gabbling, frenetic first half-hour of director Chen Sicheng’s death-fixated film. Being Towards Death kicks off with caregiver Xiaobing (Jiang Long) about to throw himself off...
Being Towards Death review – Chinese hospital comedy drama uses plucky patients to ask big questions
A debt-laden caregiver attempting suicide is the catalyst for him finding new meaning to life from a ward of terminally ill patients in touching ensemble drama‘You know the law of entropy? Life is a process of constant decay,” ssays a doctor in this Chinese hospital comedy drama – but not that you’d know it from the gabbling, frenetic first half-hour of director Chen Sicheng’s death-fixated film. Being Towards Death kicks off with caregiver Xiaobing (Jiang Long) about to throw himself off...
Doctors thought this kidney drug helped some patients. It may help millions more.
Doctors thought this kidney drug helped some patients. It may help millions more. - Date: - June 8, 2026
Measurement of reactor neutrino oscillation with the first JUNO data
Abstract Neutrino oscillations (see refs. 1,2 and references therein), a quantum effect manifesting at macroscopic scales, are governed by lepton flavour mixing angles and neutrino mass-squared differences3 that are fundamental parameters of particle physics, representing phenomena beyond the Standard Model. Precision measurements of these parameters are essential for testing the completeness of the three-flavour framework, determining the mass ordering of neutrinos and probing possible new...