 
                                Aaron A. Glenn
@networkservice
"packet processing & packet processing accessories"
my tweets are mine alone
human rights over property rights.
see also discuss . systems at this username
ID: 36304426
29-04-2009 06:27:43
44,44K Tweet
4,4K Followers
2,2K Following
 
         
         
         
        Anshel Sag Based on the list of countries new tariffs apply to, we aren't aware of any PC or consumer electronics company that isn't impacted.
 
         
         
         
         
         
         
         
        This is something we've been cooking for a while, and now are thrilled to share. Meet Veil: the first foundational framework that combines SMT and interactive proofs about distributed protocols, seamlessly, in Lean! Tool: github.com/verse-lab/veil Paper: verse-lab.github.io/papers/veil-ca…
 
         
         
         
         
         
        To be presented at IEEE Symposium on VLSI Technology and Circuits: A 128Gb/s 0.67pJ/b PAM-4 Transmitter in 18A with RibbonFET and PowerVia Authors from ➡️ Intel (as expected) ❗ Alphawave Semi (IP company, ok) 🤯 NVIDIA (what?) 😱 Apple (wha-what?) See you there! :)
 
         
         
                         
                         
                         
                         
                        