Codetown
Codetown ::: a software developer's community
AITP-NCFL October Presentation
Event Details
Time: October 28, 2014 from 5:15pm to 7:45pm
Location: UF Hilton
Street: 1714 SW 34th St
City/Town: Gainesville
Website or Map: http://www3.hilton.com/en/hot…
Phone: (352) 354-AITP
Event Type: dinner, and, presentation
Organized By: North-Central Florida chapter of AITP
Latest Activity: Oct 23, 2014
Event Description
We're honored and delighted to have Tony Barr, creator of the SAS programming language and founder of Barr Systems here in Gainesville, making an intriguing presentation on his latest project, "A Model Of Reality".
"It is my belief that a better model for knowledge representation is to use
pictures to represent types, objects, and functions. The unification of set
theory, functions, and the type/ object model is a minimalistic formalism that
is sufficient for both type and object representation. It can be shown to be one
to one with the structure of languages such as C# and Pascal."
To see the full description of the presentation, view the meeting flyer at
aitp-ncfl.org/pdf/201410.pdf
Please feel free to forward this to anyone you think might be interested in this fascinating topic.
Reservations are requested for this presentation.
It's easy to RSVP. Just send an email to reserve@aitp-ncfl.org
Comment Wall
Comment
Happy 10th year, JCertif!
Notes
Welcome to Codetown!
Codetown is a social network. It's got blogs, forums, groups, personal pages and more! You might think of Codetown as a funky camper van with lots of compartments for your stuff and a great multimedia system, too! Best of all, Codetown has room for all of your friends.
Created by Michael Levin Dec 18, 2008 at 6:56pm. Last updated by Michael Levin May 4, 2018.
Looking for Jobs or Staff?
Check out the Codetown Jobs group.
InfoQ Reading List
TanStack Releases Framework Agnostic AI Toolkit
Introducing TanStack AI: a revolutionary, framework-agnostic toolkit empowering developers with unparalleled control over their AI stack. This open-source release features a unified interface across multiple providers and ensures type safety with innovative isomorphic tools. Say goodbye to vendor lock-in and hello to freedom in AI development!
By Daniel CurtisWhat Testers Can Do to Ensure Software Security
A secure software development life cycle means baking security into plan, design, build, test, and maintenance, rather than sprinkling it on at the end, Sara Martinez said in her talk Ensuring Software Security. Testers aren’t bug finders but early defenders, building security and quality in from the first sprint. Culture first, automation second, continuous testing and monitoring all the way.
By Ben LindersAWS Previews Route 53 Global Resolver to Decouple DNS from Regional Failures
AWS previews Route 53 Global Resolver, using Anycast to decouple DNS from regional failures. It simplifies hybrid setups with unified public/private resolution, DoH/DoT, and Zero-Trust security.
By Steef-Jan WiggersArticle: Agentic Terminal - How Your Terminal Comes Alive with CLI Agents
In this article author Sachin Joglekar discusses the transformation of CLI terminals becoming agentic where developers can state goals while the AI agents plan, call tools, iterate, ask for approval where needed, and execute the requests. He also explains the planning styles for three different CLI tools: Gemini, Claude, and Auto-GPT.
By Sachin JoglekarFacebook Survey Reveals Growing Adoption of Typed Python for Improved Code Quality and Flexibility
Conducted among over 1,200 respondents, Facebook's 2025 Typed Python Survey highlights how and why Python developers have increasingly adopted the language's type hinting system. The survey also sheds light on what developers value most, as well as their biggest frustrations and wishes.
By Sergio De Simone
© 2026 Created by Michael Levin.
Powered by
RSVP for AITP-NCFL October Presentation to add comments!
Join Codetown