AITP-NCFL October Presentation

Event Details

AITP-NCFL October Presentation

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

Export to Outlook or iCal (.ics)

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

RSVP for AITP-NCFL October Presentation to add comments!

Join Codetown

Attending (1)

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.

When you create a profile for yourself you get a personal page automatically. That's where you can be creative and do your own thing. People who want to get to know you will click on your name or picture and…
Continue

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.

 

Enjoy the site? Support Codetown with your donation.



InfoQ Reading List

MongoBleed Vulnerability Allows Attackers to Read Data From MongoDB's Heap Memory

MongoDB recently patched CVE-2025-14847, a vulnerability affecting multiple supported and legacy MongoDB Server versions. According to the disclosure, the flaw can be exploited remotely by unauthenticated attackers with low complexity, potentially leading to the exfiltration of sensitive data and credentials.

By Renato Losio

Presentation: Fast Eventual Consistency: Inside Corrosion, the Distributed System Powering Fly.io

Somtochi Onyekwere explains the architecture of Corrosion, a distributed system designed for low-latency state replication. She shares how Fly.io transitioned from Consul to a gossip-based SQLite solution to handle global machine data. By discussing CRDTs, the SWIM protocol, and QUIC, she shares how to build resilient systems that prioritize speed while managing the complexities of CAP theorem.

By Somtochi Onyekwere

Mini book: The InfoQ Trends Reports 2025 eMag

This special edition of The InfoQ eMag, contains a comprehensive collection of our popular InfoQ Trends Reports from 2025, a year with both evolution and revolution within the landscapes of technology, software development trends. This collection does not just reflect the past year's technological trends. We aspire to use it as a guide for future exploration and innovation.

By InfoQ

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 Curtis

What 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 Linders

© 2026   Created by Michael Levin.   Powered by

Badges  |  Report an Issue  |  Terms of Service