Michael Levin's Discussions (386)

Discussions Replied To (20) Replies Latest Activity

"Is this it or is there a specific class 5651 refers to? Looks great! http://www.sfco…"

Michael Levin replied Feb 15, 2016 to Santafe College

2 Feb 15, 2016
Reply by Michael Levin

"That's fantastic. It shows Santa Fe College's commitment to Computer Science educati…"

Michael Levin replied Jan 8, 2016 to Santafe College

2 Feb 15, 2016
Reply by Michael Levin

"Kevin, I've seen many solutions ranging from encryption to cloud storage. I'm curiou…"

Michael Levin replied May 7, 2014 to Storing Sensitive Data ( like SSNs )

1 May 7, 2014
Reply by Michael Levin

"The Internet of Things is all about embedded apps. This is definitely a good thing t…"

Michael Levin replied Apr 10, 2014 to Oracle Embedded MOOC w/ Raspberry PI

1 Apr 10, 2014
Reply by Michael Levin

"Hi Jack - I am considering loading Mavericks onto my '08 MacBook Pro. I wonder wheth…"

Michael Levin replied Apr 4, 2014 to Mavrick OS

3 Apr 4, 2014
Reply by Michael Levin

"Jack, How are your explorations into Mavrick coming along? I have a 2008 MacBookPro…"

Michael Levin replied Nov 21, 2013 to Mavrick OS

3 Apr 4, 2014
Reply by Michael Levin

"Jack, I haven't tried Mav yet but am excited both about it and the strategy behind i…"

Michael Levin replied Oct 25, 2013 to Mavrick OS

3 Apr 4, 2014
Reply by Michael Levin

"Perfect. If you give me a bio and abstract, I'll do the rest. Second Wed of Jan is 1…"

Michael Levin replied Dec 9, 2012 to Gainesville Events - web and android app

10 Dec 9, 2012
Reply by Michael Levin

"The next GatorJUG meeting is Wed, January 9th. "

Michael Levin replied Dec 7, 2012 to Gainesville Events - web and android app

10 Dec 9, 2012
Reply by Michael Levin

"That sounds good, Nem. Thanks. Of the three, the Grails app would be first case stud…"

Michael Levin replied Dec 7, 2012 to Gainesville Events - web and android app

10 Dec 9, 2012
Reply by Michael Levin

RSS

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

Java News Roundup: OpenJDK JEPs, Jakarta EE 12, Spring Framework, Micrometer, Camel, JBang

This week's Java roundup for April 13th, 2026, features news highlighting: new OpenJDK JEPs; point releases of Apache Grails, Apache Camel and JBang; maintenances of Spring Framework that include resolutions to CVEs; first release candidates of Spring Data and Micrometer Metrics; beta releases of Eclipse Store and Eclipse Serializer; and an update on Jakarta EE 12.

By Michael Redlich

Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research

Google announced Aletheia, an AI using Gemini 3 Deep Think that solved 6/10 novel math problems in the FirstProof challenge. Aletheia also scored ~91.9% on IMO-ProofBench, signaling a significant shift in automated research-level proof discovery without human intervention.

By Bruno Couriol

AWS Announces General Availability of DevOps Agent for Automated Incident Investigation

AWS has announced the general availability of DevOps Agent, a generative AI–powered assistant designed to help developers and operators troubleshoot issues, analyze deployments, and automate operational tasks across AWS environments.

By Renato Losio

Pulumi Adds Full Bun Runtime Support

Pulumi has announced that Bun is now a fully supported runtime for Pulumi, going beyond its previous role as merely a package manager option. With the new release of Pulumi 3.227.0, developers can set runtime: bun in their Pulumi.yaml and have Bun execute their entire infrastructure program, with no Node.js installation required.

By Claudio Masolo

Effect v4 Beta: Rewritten Runtime, Smaller Bundles and Unified Package System

Effect v4 beta, a TypeScript framework for building applications, features a complete rewrite of its core fiber runtime, offering reduced memory usage and smaller bundle sizes. The new release consolidates ecosystem packages under a single version number and introduces unstable modules for rapid feature development. Migration guides are available for users transitioning from v3 to v4.

By Daniel Curtis

© 2026   Created by Michael Levin.   Powered by

Badges  |  Report an Issue  |  Terms of Service