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

@hippo🦛profilefollowStrictly no LLMs. No exceptions.wrote:
Well this looks very nice indeed. Just dipping a hoof into the river for now ...
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
sometimes I can feel the nerve endings on the ends of my fingers and it hurts really bad! my fault though, I am a serial nailbiter..
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
Maybe it'll end up being a case of stated vs revealed preference, but I feel like Apple's really missing the moment with their latest products. People by and large want less tech in their lives right now, not screens and AI stuff everywhere.
@banadweprofilefollowLinux, MySQL, privacy, self hosting and calmreplied to@chanuxprofilefollowI ain't no nothing!:
You don't love writing YAML all day and debugging stupid pipelines that download the same binaries thousands of times a day while wondering why we spend so much on bandwidth?
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Microsoft Word Online (web version) is horrible.
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to@hippo🦛profilefollowStrictly no LLMs. No exceptions.:
🤣 Did not remember the offline version being this bad, but maybe it went downhill in the past 5 years I have not used it.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
I never used the online version, but the last time I used the offline version it already was a horrible experience. This was about 5 years ago, before I had moved entirely to Linux. It was so bad I downloaded a pirated version of some old MS Office 2007 Blue Edition to have something acceptable. I unironically prefer Libre Office.
@curtisprofilefollowGot my head in the clouds right now.wrote:
Is it just my phone or is HN down? I haven't been able to access at all today
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@ku🤔profilefollowHai I am ku:
Is it that you don’t enjoy coffee, or you don’t enjoy Starbucks? I’m not a fan of Starbucks’ coffee myself, but do enjoy coffee I make at home or get from local coffee shops.
@ku🤔profilefollowHai I am kureplied to@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.:
It is something silly made out of misheard lyrics from a Taylor Swift song. I usually drink instant coffee 🥹
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
I can't believe Apple fell for foldables
…
@maxinedotdev🧙profilefolloweat, get a new hobby, sleep, repeat maxine.devreplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
and an top of that, not calling it the iFold
@jamesjan3profilefollowresearcher, developer, dancerreplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
i think theyre pretty cool. the tech market is too safe nowadays.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Totally, I'm glad they're at least trying something new (for Apple). It just underscores the general failure of imagination vibes I get from everything in tech nowadays. Most of the industry is breathlessly chasing a 20th century "golden age of scifi" vision of AI. And Apple's over there diligently trying to improve upon other companies' products from five years ago. At least no one's talking about the metaverse anymore.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
yea its kind of sad how the design language has all converged to the same phones and laptops. 1990s/2000s tech had so much swag and fun with design, especially japanese brands. i like what nothing does, the uk smartphone brand. at least they have some identity. and yea the metaverse to my mind was just a meme eversince they introduced it, like I know exactly 0 ppl that own a vr headset, and im with the nerds here. just shows zuck is surrounded by yes men
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to@jamesjan3profilefollowresearcher, developer, dancer:
🎯
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
With each passing workday I spend agentsitting, my ability to program in isolation atrophies. This might be dismissed as needless self-serving anxiety, but perhaps irrationally, I can't let it go.
@davidprofilefollow🍎 A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
…
@melting_coffee_mug🤔profilefollowreplied to@davidprofilefollow🍎 A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch Linux with KDE. I like that Arch comes with nothing and is pretty vanilla. No bloat, and customisable. No major upgrades where 5 things break at once. Install once, and it's fine until the device has to be replaced. Only then usually do a fresh install. It's up to date, still pretty boring, and you learn a bit in the process.
@hris_deb🤔profilefollowreplied to@davidprofilefollow🍎 A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
i distro hoped a lot. Finally i found my cozy home with debian with kde. 3 years still running without a problem all the software i use works perfectly and the games run smoothly.
@keitachikawa😎profilefollowaeres-u99 on github, CodeAtlas \o/replied to@davidprofilefollow🍎 A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch with i3, have been using it for like 7-8 years now. Started out at elementary os, really good and everything, but the thing where I dont need to install *-dev libs separately saves me a lot of time during compilations and building. Also, AUR is a life saver at times.
@_torayuriprofilefollowi create thingswrote:
OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
@_torayuriprofilefollowi create thingscontinued:
In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).
@_torayuriprofilefollowi create thingscontinued:
I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.