BRN Discussion Ongoing
- Thread starter TechGirl
- Start date
The Pope
Regular
You promised not to post anything else until Xmas 25. Lmfao
The Pope
Regular
Any chance you can be given the arse from TSE. Lol
It's blatantly obvious your post is meant to cause panic selling. Fuck off idiot. Try it on the crapper
Last edited:
Akida Exploits Sparsity For Low Power in Neural Networks
In the rapidly evolving field of artificial intelligence, edge computing has become increasingly vital for deploying intelligent systems in real-world...
How Akida Exploits Sparsity For Low Power in Neural Networks | Semi IP Hub posted on the topic | LinkedIn
Article: "Akida Exploits Sparsity For Low Power in Neural Networks" By Douglas McLelland and ali kayyam, BrainChip https://lnkd.in/euqGszu8 In the rapidly evolving field of artificial intelligence, edge computing has become increasingly vital for deploying intelligent systems in real-world...
GazDix
Regular
Absolute load of bollocks. 42% of folks know statistics are crap.
Fullmoonfever
Top 20
Nice to see UC Santa Cruz include Akida as "key neuromorphic hardware" at a recent workshop.
Sunday, August 17, 2025 12:00am to 3:00am AWST
calendar.ucsc.edu
- Events at UC Santa Cruz
- Past Events
- AI Workshop: Spiking Neural Networks
AI Workshop: Spiking Neural Networks
By Professional Development for International Students, Professional Education, Silicon Valley CampusSunday, August 17, 2025 12:00am to 3:00am AWST
- The Neuromorphic Landscape: Introduction to key neuromorphic hardware (e.g., Intel Loihi, BrainChip Akida), their architectures, and real-world case studies.
AI Workshop: Spiking Neural Networks – Events
calendar.ucsc.edu
Fullmoonfever
Top 20
Ummmm ok.
TENNs???
@Diogenese ??
If this authors information is correct, I'll take a Siemens relationship and hopefully a contract, though it could be through a partner I guess, any day of the week.
Who knows though.... can't find any substantial confirmation yet.
johal.in
As blockchain penetrates critical infrastructure sectors, 2025 has witnessed catastrophic smart contract failures causing $1.2B+ in losses - making formal verification transition from academic luxury to operational necessity for any production system handling digital assets or automated decisions.
Python
Copy
Formal verification pipeline with neuromorphic acceleration
from formal_verify_2025 import SymbolicEngine, NeuromorphicOptimizer
from eu_compliance import Article22Auditor
def verify_contract(contract_bytecode):
Initialize neuromorphic path optimizer
nopt = NeuromorphicOptimizer(cores=8, topology="sparse")
Symbolic execution with quantum-resistant constraints
engine = SymbolicEngine(
bytecode=contract_bytecode,
optimizers=[nopt],
crypto_standard="CRYSTALS-Kyber"
)
EU compliance pre-check
if not Article22Auditor.validate(engine):
raise ComplianceError("EU AI Act Article 22 requirements not met")
Generate proof certificates
return engine.verify(
properties="safety_properties.spec",
timeout=300 seconds
)
3.8xfaster verification cycles vs. 2024 toolchains (IEEE Security 2025)
CASE STUDY
Energy Grid Smart Contract Verification Metrics
Siemens implemented formal verification for 142 critical contracts:
thestockexchange.com.au
TENNs???
@Diogenese ??
If this authors information is correct, I'll take a Siemens relationship and hopefully a contract, though it could be through a partner I guess, any day of the week.
Who knows though.... can't find any substantial confirmation yet.
Smart Contract Formal Verification: Practical Guide
As blockchain penetrates critical infrastructure sectors, 2025 has witnessed catastrophic smart contract failures causing $1.2B+ in losses - making formal verification transition from academic luxury to operational necessity for any production system handling digital assets or automated...
johal.in
Smart Contract Formal Verification: Practical Guide
ANKUSH CHOUDHARY
17 Aug 2025 — 9 min readAs blockchain penetrates critical infrastructure sectors, 2025 has witnessed catastrophic smart contract failures causing $1.2B+ in losses - making formal verification transition from academic luxury to operational necessity for any production system handling digital assets or automated decisions.
Core Insights
- Neuromorphic co-processors accelerate verification runtime by 5.7x through parallel proof execution
- Quantum-resistant cryptographic proofs now required for all financial smart contracts
- EU AI Act Article 22 mandates formal verification for autonomous transaction systems
- Generative adversarial networks synthesize edge-case contract scenarios undetectable by traditional testing
- 2025 benchmark: 94% reduction in vulnerabilities when using model checking pre-deployment
Implementation Framework
Modern verification stacks integrate three critical layers: symbolic execution engines for path exploration, temporal logic model checkers for property validation, and equivalence checkers for compiler output consistency. The 2025 reference architecture employs NVIDIA's cuVerify SDK leveraging GPU-accelerated SMT solvers alongside OpenAI's VeriGen for adversarial test generation. Crucially, neuromorphic co-processing units now handle state explosion problems through spiking neural networks that prune irrelevant execution paths in real-time.Python
Copy
Formal verification pipeline with neuromorphic acceleration
from formal_verify_2025 import SymbolicEngine, NeuromorphicOptimizer
from eu_compliance import Article22Auditor
def verify_contract(contract_bytecode):
Initialize neuromorphic path optimizer
nopt = NeuromorphicOptimizer(cores=8, topology="sparse")
Symbolic execution with quantum-resistant constraints
engine = SymbolicEngine(
bytecode=contract_bytecode,
optimizers=[nopt],
crypto_standard="CRYSTALS-Kyber"
)
EU compliance pre-check
if not Article22Auditor.validate(engine):
raise ComplianceError("EU AI Act Article 22 requirements not met")
Generate proof certificates
return engine.verify(
properties="safety_properties.spec",
timeout=300 seconds
)
3.8xfaster verification cycles vs. 2024 toolchains (IEEE Security 2025)
Real-World Deployment: Siemens' Industrial Smart Contracts for Energy Grids
Facing critical infrastructure vulnerabilities in their blockchain-based energy trading platform, Siemens implemented a formal verification pipeline after a 2024 exploit drained 12,000 MWh of power credits. Their solution integrated Cadence's Temporal Logic Verifier with custom neuromorphic hardware from BrainChip, reducing state space analysis from 48 hours to 11 minutes. The system now automatically generates mathematical proofs for all contract upgrades before grid deployment.CASE STUDY
Energy Grid Smart Contract Verification Metrics
Siemens implemented formal verification for 142 critical contracts:
- Prevented 3 zero-day exploits during deployment
- Reduced audit costs by 67%
- Achieved EU regulatory compliance 4 months ahead of deadline
Implementation Results
- Verification throughput: 12 contracts/hour
- False positive rate: 0.3%
- Critical bug detection: 100% of known vulnerability classes
BRN Discussion Ongoing
sorry this looks all great with the gifs and all but can we stop putting brainchip in made up gifs . It is funny and all but I am a bit sick of them, sorry to burst your bubble and be a negative nancy on this. the gifs are funny but please leave the official name out. sorry in advance for...
thestockexchange.com.au
Frangipani
Top 20
#gsa #whereleadersmeet #semiconductor #technology #ai #globalcollaboration | Global Semiconductor Alliance
💥ONE MONTH💥until we return to the Rosewood Sandhill for the prestigious U.S. Executive Forum. This year’s theme, Silicon Sovereignty – Charting the Future of the Industry, has been carefully curated to address today’s most pressing challenges and opportunities. Our powerhouse speaker lineup...
Upcoming Events – GSA Events
www.gsaglobal.org
Last edited:
Krustor
Regular
Why not use the Akida 2.0 chip in the cloud?
www.linkedin.com
Neuromorphic Computing: Current State and Future | Neuromorphicism posted on the topic | LinkedIn
The Neuromorphic Developer principle is simple and it does not exist at the moment... (👺 rant not rant): * You go online, you order some "CPU" and then you write programs that run on it, well... you can't do that right now with Neuromorphic Computing (it is not that simple at least) but you can...
GenX320 is the world’s smallest and most power-efficient event-based vision sensor to date – unlocking new possibilities in intelligent, autonomous, and privacy-conscious embedded vision.At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts.
It features <150µs pixel latency, 320×320 resolution, high dynamic range, and embedded functions including Anti-flicker filtering (AFK), Event-rate Controller (ERC), and Spatio-temporal Contrast filter (STC).GenX320 is designed for AR/VR/MR eye tracking and gesture recognition, IoT AI on the edge and always-on cameras, drone detection and tracking, healthcare privacy cameras, wearables, and smart home applications – enabling high performance in ultra-constrained environments.
Step inside the world of GenX320: https://lnkd.in/eC3akEGD#genx320 #eventbasedvision #smartglasses #edgeai #wearables #arvr #smartsensors | PROPHESEE
🚀 GenX320 is the world’s smallest and most power-efficient event-based vision sensor to date – unlocking new possibilities in intelligent, autonomous, and privacy-conscious embedded vision. At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts. 💡 It...
PROPHESEE
12,603 followers
See a collection of active or past ads by PROPHESEE.
View ad library
Feed post number 1
PROPHESEEPROPHESEE 12,603 followers12,603 followers 5h •
5 hours ago • Visible to anyone on or off LinkedIn
GenX320 is the world’s smallest and most power-efficient event-based vision sensor to date – unlocking new possibilities in intelligent, autonomous, and privacy-conscious embedded vision.At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts.
It features <150µs pixel latency, 320×320 resolution, high dynamic range, and embedded functions including Anti-flicker filtering (AFK), Event-rate Controller (ERC), and Spatio-temporal Contrast filter (STC).GenX320 is designed for AR/VR/MR eye tracking and gesture recognition, IoT AI on the edge and always-on cameras, drone detection and tracking, healthcare privacy cameras, wearables, and smart home applications – enabling high performance in ultra-constrained environments.
Step inside the world of GenX320: https://lnkd.in/eC3akEGDhashtag#GenX320 hashtag#EventBasedVision hashtag#SmartGlasses hashtag#EdgeAI hashtag#Wearables hashtag#ARVR hashtag#SmartSensors
Last edited:
smoothsailing18
Regular
Go brainchip
At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts.
GenX320 is designed for AR/VR/MR eye tracking and gesture recognition, IoT AI on the edge and always-on cameras, drone detection and tracking, healthcare privacy cameras, wearables, and smart home applications – enabling high performance in ultra-constrained environments.
#genx320 #eventbasedvision #smartglasses #edgeai #wearables #arvr #smartsensors | PROPHESEE
🚀 GenX320 is the world’s smallest and most power-efficient event-based vision sensor to date – unlocking new possibilities in intelligent, autonomous, and privacy-conscious embedded vision. At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts. 💡 It...
PROPHESEE
12,603 followers
See a collection of active or past ads by PROPHESEE.
View ad library
Feed post number 1
PROPHESEEPROPHESEE 12,603 followers12,603 followers 5h •
5 hours ago • Visible to anyone on or off LinkedIn
At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts.
GenX320 is designed for AR/VR/MR eye tracking and gesture recognition, IoT AI on the edge and always-on cameras, drone detection and tracking, healthcare privacy cameras, wearables, and smart home applications – enabling high performance in ultra-constrained environments.
hashtag#GenX320 hashtag#EventBasedVision hashtag#SmartGlasses hashtag#EdgeAI hashtag#Wearables hashtag#ARVR hashtag#SmartSensors
smoothsailing18
Regular
DingoBorat
Slim
Bit of a "standing outside" comment?..
I thought we had a closer relationship with them, than to be "hopefully flirting" with LinkedIn comments?...
Or is it a welcome and known advance, to gain the interest of 3rd parties?...
smoothsailing18
Regular
I would think its relative in the fact if brn wasn't involved it would demonstrate weakness on Steve's behalf imo he is above that grovelling type of communication on a linkden social media site.
My guess is it's a little pepup for brn shareholders whom pay attention
Last edited:
Just saying the graph don’t lye, the only way out of this is another DOG act by management giving away cheap shares to sophisticated investors. Those LDA shares that they could,nt sell cause nobody wanted them, Sophisticated Investors here we come. Shorters have this company by the ballls. 3.4% and rising WOW. Last two weeks WOW. You may not like me but the truth is what it is!
Attachments
smoothsailing18
Regular
What happened to we won't hear from you till Dec ?.
A man must keep his word in life or he ain't no man at all.
Similar threads
