Top Tweets for #p4lang
SONiC Formal Methods WG が発足し形式手法を用いてテストに必要なエンジニアリソースの削減＆カバー範囲の拡大を目指すとのこと。使われる手法の一つがP4で記述したモデルを使うSwitchVだそうで、何年もかけてP4が研究から製品に浸透してきている。 #p4lang
なんとなんと、この Cisco Silicon One Q200L って P4 でプログラムされているんですよ！😆（ポジショントークです）（Ciscoに入社しないと P4 Code & Compiler にはアクセスできないと思います... #p4lang
https://t.co/zaFohQkn4L
ちなみに Azure の SmartSwitch は SmartNIC そのものではなく SiliconOne Q200L (Switch ASIC so called NPU) + AMD Pensando (SmartNICでも使われるDPU) が Back Plane で繋がった筐体です。（元ポストがSmartNIC使っていると誤解招きそうな表現だったので念のため補足）
Missed the 2025 P4 Workshop this year? Check out the blog by Fernando Ramos, General Chair for the event, for an overview of the workshop and link to view all the exciting videos and slides. | https://t.co/irZkocsRqC
#P4 #P4Workshop #P4lang
In case you missed it, you can now check out the latest P4 Developer Days webinar, “P4sim: Protocol-Independent Packet Processors in ns-3”, by Technische Universität Dresden on demand | https://t.co/SblxEt5aNy
#P4 #P4lang #OpenSource
Check out the video highlighting the exciting projects and results hosted by The P4 Language Consortium as part of the 2025 @Google Summer of Code (GSoC). | https://t.co/fVyBd6wjwI
#P4 #GSOC #P4lang #OpenSource
In case you missed the recent P4 Developer Days, “Mechanizing the P4 Language Specification with P4-SpecTec”, presented by Jaehyun Lee, KAIST, you can now view the video and slides on-demand | https://t.co/4I2NaHiRFq
#P4 #P4lang #OpenSource
Don't miss this P4 Developer Days event, “From Semantics to Software: Building a Verification Ecosystem for P4 using HOL4P4” on Sept 25th. Our presenter is a PhD candidate at KTH Royal Institute of Technology. Register | https://t.co/gMXeRnFW6O
#P4 #P4lang #KTHuniversity
Join us for a P4 Developer Days webinar, “Mechanizing the P4 Language Specification with P4-SpecTec” September 10th 4:00pm PST | September 11th – 8:00am KST. Register | https://t.co/QK0o3lOK1h
#P4 #P4lang #OpenSource
In case you missed the insightful P4 Developer Days talk, “Detecting Stragglers in Programmable Data Plane”, you can now view it on-demand | https://t.co/Wz1pSYxIOx
#P4 #P4lang #OpenSource
Don’t miss a recent paper, “DUNE: Distributed Inference in the User Plane” by @IMDEA_Networks, @uc3m, @NECLabsEU published in @IEEEorg INFOCOM 2025 and awarded the Best Paper | https://t.co/z6pHZMF5um
#P4 #P4lang #OpenSource
In case you missed the P4 Developer Days talk, “P4-based AI Feature Extractor for Volumetric Firewall Use Cases”, you can now view the video on-demand | https://t.co/zhjZCfofMn
#P4 #P4lang #OpenSource @AlteraFPGA_
Check out a recent publication, “P4LoWPAN: Transforming IoT Networks with a Programmable Data plane and In-band Telemetry” by UFRN and UFPA | https://t.co/LU3mXwqh5O
@ufrn @UFPA_Oficial #P4 #P4lang #OpenSource
Register for the next P4 Developer Days event July 9th, “P4-based AI Feature Extractor for Volumetric Firewall Use Cases” | https://t.co/GPKkN3Orse
#P4 #P4lang #OpenSource
Present as part of the P4 Developer Days educational webinar series on P4-related topics. Learn more and submit a proposal | https://t.co/doJc9xBJE3
#P4 #OpenSource #P4lang
Check out this recent blog from @AMD in which they discuss the advantage of the integrated P4 programmability of the Pollara 400, a specialized network accelerator | https://t.co/ZcyCckfQnh
#P4 #P4lang #OpenSource
Excited to have @maria__apo giving a keynote at the @P4lang Workshop 2024, sharing insights on how programmability is key to scaling networks! #P4Lang #Networking #Innovation
https://t.co/tGKF6OFGkC
Joined new p4lang community channel on Zulip!! 😀 https://t.co/26nA1xuFfW #p4lang
caffeinated, clothed, confident, and confused why exactly I am here but damnit I am finally here.
time to do some #p4lang programmable data plane stuff. for science (I think)!
Fireside Chat with Nick McKeown. Nice to be able to attend this session in person. #p4workshop #p4lang
Last Seen Hashtags on Sotwe
eauChaude
Seen from United States
cartelcali
Seen from United States
OSM20
Seen from Chile
Gastrolobium
Seen from United Arab Emirates
QOPride
Seen from Vietnam
TheTidingsoftheTrees
Seen from Ecuador
계정상납
Seen from Korea
ParlEE
Seen from United States
DDoSMitigation
Seen from Korea
FastTrack
Seen from Korea
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
118.9M followers
Cristiano Ronaldo
@cristiano
114.6M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90.1M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers