Trendkole

Apple, yeni detayların geldiği ilk akıllı gözlük modelini WWDC27’de tanıtabilir

yazar

Apple, Bloomberg’den Mark Gurman’ın iddiasına göre ilk akıllı gözlük modelini WWDC 2027 etkinliğinde tanıtmayı hedefliyor . Şirketin model için şu anda kullanmadığı çok sayıda donanımsal ve yazılımsal güvenlik özelliği üzerinde çalıştığını belirten Gurman, gözlükte kameraların olacağını ancak bunların Meta’nın akıllı gözlüklerinden farklı olarak fotoğraf ve video çekmek için kullanılamayacağını öne sürüyor. Kameraların yalnızca yapay zekanın … Devamını oku

Yeni iPad mini, iddiaya göre suya dayanıklı olacak

yazar

Bloomberg’den Mark Gurman’ın aktardığı kadarıyla Apple, OLED ekranlı yeni iPad mini modelini ekim ayında satışa sunmaya hazırlanıyor . OLED panele geçilecek olmasına rağmen 60 Hz yenileme hızına sahip olacağı söylenen model, iddiaya göre suya dayanıklı ilk iPad olarak da öne çıkacak. Apple’ın suya dayanıklılık için geleneksel hoparlör deliklerine duyulan ihtiyacı ortadan kaldıran, titreşime dayalı bir … Devamını oku

Apple Watch Series 12 ve Watch Ultra 4, iddiaya göre büyük yenilikler getirmeyecek

yazar

Bloomberg’den Mark Gurman’ın iddiasına göre eylül ayında tanıtılacak Apple Watch Series 12 ve Watch Ultra 4, yerini alacakları Watch Series 11 ve Watch Ultra 3’e kıyasla büyük yenilikler getirmeyecek . Modellerin tasarımında değişiklik yapılmayacağını öne süren Gurman, cihazların yalnızca yeni işlemcilerle güncelleneceğini ve sağlık / aktivite takibiyle ilgili iyileştirmeler taşıyacağını aktarıyor. Bu yıl bir Apple … Devamını oku

Jacobian Conjecture for Baby

yazar

A step-by-step guide, starting from zero, to a famous math problem that stayed open for 87 years and then fell in July 2026. Every idea is shown as an animation, and you can check the final discovery yourself. Look at this animation. A flat grid gets bent into a strange curved shape. It looks like … Devamını oku

We have proof automation now

yazar

We have proof automation now (26 Jul 2026) I’ve long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which … Devamını oku

PGSimCity – How PostgreSQL Works

yazar

A working model of the PostgreSQL engine loading the city code… Early, unreviewed prototype. It almost certainly contains inaccuracies in both the model and explanations. Found one? Open an issue or send a pull request.

Teaching Kids Forth

yazar

2026-04-14 · 11 min · #computing Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was ecstatic … Devamını oku

Are brain waves the next unlock for physical AI?

yazar

The frontier of physical AI is a Jenga game in a warehouse in San Leandro, California. That warehouse is occupied by Encord , a company that builds data tooling used to train AI models. Andrew Ceja is a pilot—the company’s term for its robotic trainers—and he’s carefully pulling wooden blocks from a tottering tower while … Devamını oku

I wanted a clock that never needed setting. Things escalated

yazar

Here’s the finished device, first in pieces and then all assembled: The clock before assembly… Lee Hutchinson The clock before assembly… Lee Hutchinson …and after! Lee Hutchinson …and after! Lee Hutchinson The clock before assembly… Lee Hutchinson …and after! Lee Hutchinson And, look! HomeKit support! Tailing the clock systemd service’s journal while I move the … Devamını oku

Show HN: Distill and serve small models with frontier quality for half the cost

yazar

experientiallabs/world-model-optimizer main Branches Tags Go to file Code Open more actions menu Folders and files Name Name Last commit message Last commit date Latest commit History 151 Commits 151 Commits .agents .agents .claude/ skills .claude/ skills .github/ workflows .github/ workflows assets assets docs docs examples/ ingest examples/ ingest packages packages web web wmo wmo .env.example … Devamını oku