textlog
join
500 chars / 20 lines max · use #hashtags, @mentions and more
😀😃😄😁😆😅😂🤣😊😇🙂🙃😉😌😍🥰😘😋😛😜🤪🤨🧐🤓😎🤩🥳😏😒😞😔😟😕🙁☹️😣😖😫😩🥺😢😭😤😠😡🤬🤯😳🥵🥶😱😨😰😥😓🤗🤔🫣🤭🫢🤫🤥😶😐😑😬🙄😯😦😧😮😲🥱😴🤤😪😵🤐🥴🤢🤮🤧😷🤒🤕🤑🤠😈👿👻💀☠️👽🤖🎃😺😸😹😻😼😽🙀😿😾❤️🧡💛💚💙💜🖤🤍🤎💔❣️💕💞💓💗💖💘💝💟👍👎👌🤌✌️🤞🤟🤘🤙👈👉👆👇☝️✋🤚🖐️🖖👋🤝👏🙌🫶👐🤲🙏✍️💪👀👁️🧠🫀🫁🌱🌿☘️🍀🌸🌺🌻🌞🌙⭐✨⚡🔥🌈☀️☁️❄️☕🍕🍎🎉🎊🎈🎁🎵🎶🎨📚💡✅❌⚠️🚀🌍💻📱🔒🔑
example.com or
https://example.com
Regular links
[title](example.com) or
[title](https://example.com)
Markdown links
~text~ or ~~text~~
Strikethrough
*text* or **text**
Bold
_text_ or __text__
Underline
/text/
Italics
> text
Quote
:smile
Emoji autocomplete
1. first
2. second
3. third
Numbered lists
- first
- second
- third
Bulleted lists
Name  | Status | Count
----- | :----- | ----:
notes | ready  |     3
Tables
|redacted|
Redacted
`code`
Inline code
```…```
Code fences
$inline$
Inline LaTeX
$$block$$
Block LaTeX
Which one? #poll
First option
Second option
PollsUse 2–8 unique options.
Which one? #quiz
Wrong answer
> Correct answer

Explanation revealed after answering
QuizzesMark exactly one of 2–8 unique answers with >. Text after a blank line is revealed after answering.
Visible text #spoiler
Hidden text
SpoilersText after #spoiler is hidden until revealed. Aliases: #tldr, #sensitive, #contentwarning, #cw, and #triggerwarning.
Going hiking #map
Kallikratis, Crete
MapsShows a map preview for the first location line. Alias: #location.
#flying Heraklion to Berlin
FlightsHover over the itinerary to see a map connecting the airports. The next three words form the itinerary: airport, to (or → or ->), airport. Use single-word airport names or IATA/ICAO codes.
Today #todo
[ ] First task
[x] Finished task
TodosOnly [ ] and [x] lines become items. Click your items to toggle them.
Run this #exec
```js
console.log(6 * 7)
```
Executable codeRuns the next language-tagged code fence and shows its output beneath the note.
Keep this visible #pin
Pinned notesYour latest #pin is shown first on your profile, independently for notes and replies.
No more replies #lock
Locked conversationsPrevents new replies to this note and every reply beneath it.
About textlog #meta
Meta conversationsKeeps this note and its replies out of public discovery feeds. Aliases: #tlog and #textlog.
Continue quietly #whisper
Whisper conversationsKeeps the branch out of all and hot. Participants, mentions, and tag followers can receive it in my feed. It remains public elsewhere.
For @someone and @another #private
Private conversationsOnly the author and mentioned users can read this branch.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

Any conversation

working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery
At dragoncon, and it's even more than a zoo than I expected. way more people than I thought would be here on a Friday.
profilefollowSoftware engineer (of course) in Londonwrote:
I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on
💧profilefollowgrand and intoxicating innocence always onlinewrote:
I've been doing a new makeup style, and I've been loving it so much!!! jirai!
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
Zik is my pet project - a photos manager that is as fast as possible and as small as possible. It leaves sparks as it goes (lol jk) #ziknotesfollow
…
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🤸profilefollowcreative technologist creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says “What’s on your mind”. :-P
📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Problem solving: Two steps forward, two steps forward, two steps forward... Coyote, look down.
a kis laptopnak pedig nincs elég memóriája, szóval ezt a főterminált eredetileg programozásra vettem, azt nem tudom már, mit akartam programozni vele, de pont úgy zúg, mint egy adatközpont, és hogyha egy kicsit korszerűsítem, a Gemma 4 LLM éppen visítva el fog tudni futni rajta
and the little laptop doesn't have enough memory, so I originally bought this main terminal for programming, I don't know what I wanted to program with it anymore, but it hums like a data center, and if I upgrade it a little, the Gemma 4 LLM will be able to run on it screaming
Nvm. There's a little bell icon on the top right of the sidebar which let's you switch between project and activity views.
profilefollowChilling. Hand coding C to feel alivewrote:
Today visiting Zaragoza with an aunt and my mom, I hope to be this willing and capable of moving around for leisure when I'm in my 60s too
💧profilefollowgrand and intoxicating innocence always onlinewrote:
it's so embarrassing that I'm saving money for a body pillow if all things
…
profilefollowresearcher, developer, dancerreplied to🤸profilefollowcreative technologist creator of textlog:
personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
…
🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
game dev with LLMs assisting on some of the engine legwork I learned to do over the years is the most fun programming I've had since I was 12 years old plucking away at the public library commodore 64
code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.