BALISP, the Bay Area Lisp & Scheme Users Group
https://balisp.org/
Sat 1 Nov 2025
Hacker Dojo
Mountain View, CA


Abstract

We have very good choices of programming languages for the standard
serial execution model, but things get painful when it comes to…

Data-driven scientific discovery requires iterative cycles of literature search, hypothesis generation, and data analysis. Substantial progress has been made towards AI agents that can automate...

Bloomberg is reporting new details on the partnership between Apple and Google to have Gemini power the revamped Siri next year.

Transportation Secretary Sean Duffy announced Wednesday afternoon that he will be reducing flight capacity by 10% at 40 major airports.

Explore this post and more from the OSINT community

OpenAI’s pursuit of government-backed financing underscores the escalating cost of AI infrastructure and the growing overlap between tech investment and public-sector support. The move could reshape funding models for large-scale AI projects and signal broader…

A blog, notes, gallery, lifestyle and fully conglomerated posts from Joshua.

Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery at scale”. This is a longer report on…

The shutdown, now in its 36th day, has forced 13,000 air traffic controllers and 50,000 Transportation Security Administration officers to work without pay.

When Natalie Grabow grew up in the 1940s and 50s in New Jersey, there were not a lot of opportunities for girls to do sports.

I have now spent almost a decade in the bug bounty industry, started out as a bug hunter (who initially used to submit reports with minimal imp...

Ken Thompson, one of the foremost programmers and computer scientists of the last 50 years, shares stories about his life and career in a newly released oral history.

An open-source framework for verifiably private AI inference - openpcc/openpcc

IKEA is launching 21 new smart home products focusing on lighting, sensors, and control — all built to work with Matter, the universal smart home standard. A significant step in making smart home technology easier to use, more affordable, and better adapted…