Bookmarks tagged with: mit

MIT Open Scholarship: New Name for Newly Upgraded DSpace@MIT

2026-07-22T20:44:24Z

MIT Open Scholarship is a completely revamped and significantly upgraded version of MIT’s institutional repository, also known as DSpace@MIT. For more than two decades, DSpace@MIT has served as the premier digital home for the Institute’s research, housing theses, working papers, technical reports, published articles, and more.

The new platform introduces a modernized, mobile-friendly user interface, improved search functionalities, and better capacity to show connections between researchers, organizations, and diverse scholarly outputs. Its new name reflects a broader commitment to the open sharing of knowledge, one that captures the true mission of the repository.

Huh. Glad they updated it, but the old name was cute. Ah, well.

I was fake bisexual for 11 years.

2026-07-17T22:06:45Z

Let me know if u guys want a video on how you (yes, you!) can be fake bi!!

101arrowz - DEV Community

2026-07-13T01:23:03Z

Avid programmer that loves to push the limits of JavaScript

Dead blog of a good colleague.

Closing our doors – Clover

2026-05-28T14:29:36Z

We have some difficult news to share: Clover will be closing our doors this week. Thursday, May 28th will be our final day of restaurant service and meal box delivery.

RIP, Aaliyah. RIP…

Cryptography at Scale: The Design of a Private Web Search Engine

2026-05-27T01:35:27Z

This thesis argues that digital services need not come at the cost of our privacy. As a step towards this goal, this thesis introduces cryptographic protocols and secure systems that let users fetch and search over public data, without revealing anything about what they are fetching or searching for. We first present SimplePIR, an encryption scheme that can perform linear computations on encrypted data at near-unencrypted speed. Building on SimplePIR, we design Tiptoe, the first cryptographically-private web search engine. Tiptoe allows a user to search over hundreds of millions of webpages in seconds, all while revealing nothing about its query to the search provider; its core private-search techniques have seen adoption in Apple’s iOS (“Enhanced Visual Search”). Finally, we describe new private-information-retrieval protocols that circumvent Tiptoe’s linear-time bottleneck and could let private-search systems scale larger yet.

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code

2026-05-27T01:33:45Z

Coding agents can now produce code faster than humans can review it. Techniques that minimize the amount of code that can affect system correctness are therefore a major goal in the field. The Axon project used a coding agent to build a complete verified compiler — source language, operational semantics, optimizations, machine model, and mechanically checked correctness proofs — in 34 days under one supervisor.

The talk discusses how the project combined four validation techniques — testing, credible compilation, formal verification, and code audits - to maximize development velocity while minimizing the amount of unverified/unchecked code.

We present the overall architecture of the compiler, the roles that the different validation techniques played in the development, results from the Axon implementation, and implications for other agent centric development efforts.

see: https://arxiv.org/abs/2605.01660

Why open secrets are a big problem

2026-04-19T16:47:57Z

MIT philosopher Sam Berstler provides analyzes the social dynamics accompanying open secrets. In many cases, she proposes, ignoring them is fine — but they may still have corrosive effects.

see: https://doi.org/10.1215/00318108-11676088

via: https://news.mit.edu/2026/why-bother-plausible-deniability-0417

Why bother with plausible deniability?

2026-04-19T16:39:30Z

In an article exploring the concept of plausible deniability, MIT philosopher Sam Berstler argues that our conversations cannot be understood simply by analyzing the words we use. Plausible deniability is bound up with other social practices that incentivize us to not be fully transparent.

BERSTLER: People who buy into the rhetoric of transparency can be setting back their own interests. Maybe speaking transparently is morally virtuous in some respects, but given the reality of our speech practices, transparency is not necessarily going to be the most effective way of handling things.

This is a huge discount against norms like radical honestly.

via: https://doi.org/10.1093/mind/fzaf016

music21

2025-12-07T03:22:43Z

music21 is a Python-based toolkit for computer-aided musicology.

via: https://www.madmusicalscience.com/arcaexplanation.html via: https://dmitri.mycpanel.princeton.edu/index.html via: https://golem.ph.utexas.edu/category/2025/11/beyond_the_geometry_of_music.html

How Nine Colleges Responded to Trump's 'Compact' | TIME

2025-11-30T23:42:16Z

Most rejected, and all institutions let the clock run out on the deal. Guess Kornbluth set a trend. Trump has expanded the compact to all colleges: we’ll see if anyone bites.

Games That Last

2025-11-23T23:20:58Z

the urge to try to attain a true “infinite rabbithole” of interpretation - a game whose secrets may never be fully plumbed - is a damn tempting one. and depth may be plumbed from even fixed sources!

Basic [Moira] list management

2025-11-23T13:36:50Z

Useful tools for navigating Moira lists at MIT

ML Systems Textbook

2025-11-21T07:53:53Z

Machine Learning Systems provides a systematic framework for understanding and engineering machine learning (ML) systems. This textbook bridges the gap between theoretical foundations and practical engineering, emphasizing the systems perspective required to build effective AI solutions. Unlike resources that focus primarily on algorithms and model architectures, this book highlights the broader context in which ML systems operate, including data engineering, model optimization, hardware-aware training, and inference acceleration. Readers will develop the ability to reason about ML system architectures and apply enduring engineering principles for building flexible, efficient, and robust machine learning systems.

Open Source Power: We have to talk about open source licensing.

2025-11-15T17:36:58Z

I love this article. It’s really persuasive.

Prime Portraits

2025-10-09T20:03:52Z

We introduce a versatile method for finding prime numbers that display surprisingly intricate visual patterns— hypothetically, any desired pattern is possible, with only mild distortion. We use this method to locate several examples of large prime numbers that are, in and of themselves, self-referential works of art.

An abbreviated history of dynamically typed languages

2025-09-30T18:07:24Z

David Spivak: Categorical Databases

2025-09-27T08:47:12Z

Good presentation on ologs.

David Spivak: Categorical Databases

2025-09-27T03:09:23Z

Good presentation on ologs.

20% of [MIT] students have used dildo.io

2025-09-23T03:39:16Z

More than 20 percent of undergraduates have indicated sexual interest in another undergrad on a web app designed to decrease the effort required to begin a sexual relationship.

Alice Blair

2025-08-13T11:04:27Z

I’m Alice, a technical AI safety writer. I write the ML Safety Newsletter and my personal writing is on LessWrong. I have a background in technical ML, but pivoted to communications because I think this is where I can do the most good.