Advertisement · 728 × 90

Posts by Taras Glek

Ukraine is #2. Every village has cheap fiber here

1 day ago 0 0 0 0
Moment marathon-running robot shatters after tripping as medical team rush over with stretcher
Moment marathon-running robot shatters after tripping as medical team rush over with stretcher YouTube video by The Sun

And when you trip you do not fall apart either youtu.be/f5NjB-YQGW8?...

1 day ago 1 0 1 0

it's pretty crazy how old it is and functioning.

2 days ago 0 0 2 0
Post image

The Jetsons lied to us

3 weeks ago 17649 5040 84 127

i think these types of failures are important, he is gonna fail but educate a generation of engineers that will go on to do something useful

4 weeks ago 1 0 0 0

ip --json addr is pretty nice outcome of being forced off ifconfig

1 month ago 0 0 0 0
Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells ...

@ilyasergey.bsky.social: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant." How it went, and what it augurs for PL research.
proofsandintuitions.net/2026/03/18/m...

1 month ago 14 3 1 0
Post image Post image

Pretty staggering that the FT Trump interview opens with ‘if NATO doesn’t help us sort this mess, there’ll be problems’ and ends with ‘Russia might be helping target American soldiers, but really that’s sort of fair enough - we started it’.

www.ft.com/content/1ca6...

1 month ago 1580 668 14 61
Preview
Iran threatens to strike Ukraine after Zelensky sends drone defense experts to Middle East: ‘legitimate target’ The threat from the Islamic Republic could represent a serious escalation of the war, potentially dragging Europe into the fight.

1) Provide weapons to aggressor country
2) Encourage victim to develop defenses
3) Complain when victim sells defenses making your weapons less effective

I dont like regime change wars, but do hope that current regime heads die like Gaddafi. All of them

nypost.com/2026/03/14/w...

1 month ago 0 0 0 0

Auto Navigating a million ci links and scrolling and deciphering nested logs is so nice

1 month ago 1 0 1 0
Advertisement

So true, also "go diagnose ci failures in this PR"

1 month ago 1 0 1 0
Preview
Lenovo’s New T-Series ThinkPads Score 10/10 for Repairability Repair goes mega mainstream with the launch of Lenovo’s new T-series business laptops, which earned our highest honor with a 10/10 repairability score.

Lenovo’s New T-Series ThinkPads Score 10/10 for Repairability https://lobste.rs/s/azkace #hardware

1 month ago 0 1 0 0

Wtf

1 month ago 3 0 0 0
Post image

While we sit around to find out how bad exactly it all is, a bit of cheer: the best baguette of Paris competition was won by a Sri Lankan who appears to have started as a dish washer in restaurants and eventually trained as a Boulanger.

www.paris.fr/pages/la-mei...

1 month ago 6315 928 79 58
Post image

LOL. Anthropic bought Bun, last December.

1 month ago 234 17 1 1

i mean the ocr seems fantastic. just semantic search is always worse

1 month ago 0 0 1 0

seems pretty bad, eg search for ukraine.

1 month ago 0 0 1 0

I dont even know how much time it would take to root cause this without ai

1 month ago 0 0 0 0

Apparently using AI makes you dumb. I was too dumb to figure out why ubuntu installer was hanging so i asked pi to ssh in and figure it out. Turns out its cos I picked ukraine timezone and ubuntu devs run their timezone installer in interactive mode and it got angry at Kyiv vs Kiev distinction

1 month ago 0 0 1 0

thanks for your support

1 month ago 1 0 0 0
Advertisement

what is that a picture of

1 month ago 0 0 1 0

you visiting ukraine?

1 month ago 0 0 0 0

This is a pretty cool way to structure coding: have the llm pretend to be submitting lkml patch series. This way you can revisit architectural issues, etc github.com/hsaliak/std_...

1 month ago 0 0 0 0
Preview
Introducing Markdown for Agents Cloudflare's network supports real-time content conversion to markdown at the source.

This is a really nice new Cloudflare feature: on-the-fly markdown conversion. Tools like Claude Code send an "Accept: text/markdown" header when making web requests. If you enable this it, it will send these agents a markdown version of your page instead of the full HTML. Really good for docs.

2 months ago 101 16 7 6

i am actually surprised that aider is the only llm tool that does everything via commits. Everything else makes it hard to commit consistently

2 months ago 1 0 0 0

Credit to @davidcrespo.bsky.social

2 months ago 0 0 0 0

One

2 months ago 0 0 0 0
Advertisement
Preview
dotfiles/claude/skills at 351c26a69e7af0406707646a4463c10196778e68 · david-crespo/dotfiles Contribute to david-crespo/dotfiles development by creating an account on GitHub.

Lovely examples of customizing ai tools to help on think github.com/david-crespo... cc @humphd.bsky.social

2 months ago 1 0 3 0

about freaking time! So excited

2 months ago 0 0 0 0

lobste.rs/s/hkqnro/git... test suites that start from failed tests would be amazing

2 months ago 0 0 0 0