Oscar Zariski - forgot about his own wedding | Boogie Math
I am always excited when I stumble upon a biography of a mathematician I wasn’t previously aware of. It’s strange (or perhaps not, given we’re talking about mathematics) how many brilliant minds in the field lack the biographical treatment they deserve. Consider just a few luminaries from the first half of the 20th century: André Weil (opens new window), Hermann Weyl (opens new window), Carl Ludwi
Automated Test-Case Reduction
Last time, we saw how deleting stuff from a test case can be an easy and fun route to the root cause of a bug. It’s less easy and less fun when the test cases get big. The inner loop of test-case reduction can get old quickly: delete stuff, run the special command, check the output to decide whether to backtrack or proceed. It’s rote, mechanical, and annoyingly error prone. Let’s make the computer
We need visual programming. No, not like that.
SummaryMost visual programming environments fail to get any usage. Why? They try to replace code syntax and business logic but developers never try to visualize that. Instead, developers visualize state transitions, memory layouts, or network requests. In my opinion, those working on visual programming would be more likely to succeed if they started with aspects of software that developers already
WALL·E | Typeset In The Future
From a trash-filled Earth to the futuristic Axiom and back again, WALL·E is a finely crafted balance between consumerist dystopia and sixties space-race optimism. Please join me, then, for a detailed dive into the uniquely robotic future of a remarkably human film, as seen through the eyes of its eponymous hero, WALL·E. [This article is from the Typeset in the Future book, which is really very goo
VLMs are Blind
Large language models with vision capabilities (VLMs), e.g., GPT-4o and Gemini-1.5 Pro are powering countless image-text processing applications and scoring high on existing vision-understanding benchmarks. Yet, we find that VLMs fail on 7 visual tasks absurdly easy to humans such as identifying (a) whether two circles overlap; (b) whether two lines intersect; (c) which letter is being circled in
Deep-ML
ML Code Challenges Title Category Difficulty Status Matrix times Vector linear algebra Easy Unsolved Calculate Covariance Matrix linear algebra Medium Unsolved Solve Linear Equations using Jacobi Method linear algebra Medium Unsolved Singular Value Decomposition (SVD) linear algebra Hard Unsolved Determinant of a 4x4 Matrix using Laplace's Expansion linear algebra Hard Unsolved Linear Regression U
No more boot loader: Please use the kernel instead DevConf.CZ
06-15, 09:30–10:05 (Europe/Prague), E112 (capacity 156) We are working on a new scheme to replace the GRUB bootloader with a fast, secure, Linux-based, user-space solution: nmbl (for no more boot loader). Most people are familiar with GRUB, a powerful, flexible, fully-featured bootloader that is used on multiple architectures (x86_64, aarch64, ppc64le OpenFirmware). Although GRUB is quite versatil
How and why we built our startup around small teams
Welcome to Product for Engineers, a newsletter created by PostHog for engineers and founders who want to build successful startups. Startups ship more per person than big companies – everyone knows this. But how do you retain that advantage as you scale? Our answer is small teams – speedy, innovative, and autonomous one-pizza teams where individuals can still have an outsized impact. They enable u
The Math of Card Shuffling
The Math of Card ShufflingRiffling from factory order to complete randomness. You’ve probably seen a few ways to shuffle a deck of cards. Sometimes the deck is split in half and the halves are switched. Sometimes the deck is smooshed until it’s all mixed up. But most of the time, a deck of cards is shuffled using a riffle. Here’s a question: how many times do you have to riffle a deck of cards bef
(the software crisis)
In 1968, at the first NATO Software Engineering conference, the term "software crisis" was coined. These conferences were pivotal moments in computing history, as they were some of the first efforts to pin down and codify the current practices in programming automatic computing machines. On July 16th, 1969, the Apollo 11 mission launched, sporting some of the most advanced engineering practices kn
Exploring biphasic programming: a new approach in language design
I’ve noticed a small but interesting trend in the programming languages space. I’m not sure how novel it is, but this pattern, which I’ll refer to as “biphasic programming,” is characterized by languages and frameworks that enable identical syntax to express computations executed in two distinct phases or environments while maintaining consistent behavior (i.e., semantics) across phases. These pha
Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine
Once upon a time, over 40 years ago, a horde of computer scientists descended on the West German city of Dortmund. They were competing to catch an elusive quarry — only four of its kind had ever been captured. Over 100 competitors dragged in the strangest creatures they could find, but they still fell short. The fifth busy beaver had escaped their clutches. Of course, that slippery beast and its r
Meta 3D Gen | Research - AI at Meta
概要We introduce Meta 3D Gen (3DGen), a new state-of-the-art, fast pipeline for text-to-3D asset generation. 3DGen offers 3D asset creation with high prompt fidelity and high-quality 3D shapes and textures in under a minute. It supports physically-based rendering (PBR), necessary for 3D asset relighting in real-world applications. Additionally, 3DGen supports generative retexturing of previously gen
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Back-dating Git commits based on file modification dates
A Sheaf Theoretical Approach to Uncertainty Quantification of Heterogeneous Geolocation Information
shield tracker
GitHub - sebastianwessel/quickjs: A typescript package to execute JavaScript and TypeScript code in a webassembly quickjs sandbox
Why AI Infrastructure Startups Are Insanely Hard to Build
GitHub - gutomaia/pyNES: Python programming for Nintendo 8 bits
Aboriginal ritual passed down over 12,000 years, cave find shows