Charles Southerland
@proidiotLike most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness.
Similar User
@geekthattweaks
@rhoegg
@ThunderPlains
@DrizzyDrew210
@whofiapp
@Sengelmann1
@hylmanska
@Brent_Shambaugh
I guess there's no line to vote even at Austin City Hall when you show up this early on the Friday before!
We made a pilgrimage to the seL4 tree! Allegedly the C code for seL4 was made under this tree. Was it over a week or just 15 minutes?
Two decades ago, a group of people in Australia decided to attempt a task widely known by experts to be impossible: the creation of a formally verified real-world operating system kernel. Looking forward to how seL4 will continue to shape the future over the next two decades!
Next @atx2600 meeting is this Friday August 2nd at @CentralMarket Cafe on N Lamar upstairs mezzanine @AustinHackers @Defcon512 @2600Meetings
Last day of NASA Formal Methods 2024 had lots of great material on FRET, temporal logic, autonomous car safety, and spreading knowledge of formal methods beyond just grad schools. Had a great #nfm2024, and I look forward to next year in Virginia!
Tool demos, autonomous avionics, and trusted neural networks - an engaging day 2 of NASA Formal Methods! #nfm2024
There have already been many very interesting talks at NASA Formal Methods, and we're just half-way through day 1! #nfm2024
Next @atx2600 meeting is this Friday May 3rd 7-10pm at @CentralMarket Cafe on N Lamar upstairs mezzanine @AustinHackers @Defcon512 @2600Meetings
Had a great time at the unofficial #TXLF Taco Crawl! El Tacorrido -> El Taquito -> Rosita's -> El Chilango -> Buzz Mill
Austin, Texas.... You Ready!? Skyline view from the Texas Linux Fest! Starts Tomorrow! #TXLF #TexasLinuxFest txlf.org
Next @atx2600 meeting is this Friday April 5th 7-10pm at @CentralMarket Cafe on N Lamar upstairs mezzanine @AustinHackers @Defcon512 @2600Meetings
basically half of twitter is one guy saying ∃x : y and then everyone quote tweeting them with BUT ¬(∀x : y)!!!!
Interested in learning Haskell? The full set of 16 videos from my introductory course based on the book "Programming in Haskell" is now freely available on YouTube. Happy Haskelling :-) tinyurl.com/haskell-notts
When your engineer friend writes a proof
Next @atx2600 meeting is this Friday March 1st 7-10pm at @CentralMarket Cafe on N Lamar upstairs mezzanine @AustinHackers @Defcon512 @2600Meetings
We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.
United States Trends
- 1. #UFC309 314 B posts
- 2. Jon Jones 191 B posts
- 3. Jon Jones 191 B posts
- 4. Jon Jones 191 B posts
- 5. Chandler 89,6 B posts
- 6. Oliveira 73,9 B posts
- 7. Kansas 23,6 B posts
- 8. #discorddown 7.001 posts
- 9. Bo Nickal 9.228 posts
- 10. Do Bronx 11,4 B posts
- 11. ARod 2.203 posts
- 12. Pereira 11,6 B posts
- 13. Dana 264 B posts
- 14. #BYUFootball 1.423 posts
- 15. Mike Johnson 46,9 B posts
- 16. Rock Chalk 1.449 posts
- 17. Big 12 16,8 B posts
- 18. Alec Baldwin 8.772 posts
- 19. #MissUniverse 451 B posts
- 20. Keith Peterson 1.409 posts
Something went wrong.
Something went wrong.