textlog
join

Any conversation

500 chars / 15 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
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.
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.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.
profilefollowi write instruction for computer to follow. i'm a software engineer.wrote:
how do i know my user id? i created by account 5hr after #launchnotesfollow. im user # what?
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Most of programs use key chords, like Cmd-Shift-G, Ctrl-Alt-N and so on, you need to remember and press awkwardly several keys at once. #Emacsnotesfollow uses key sequences, C-c then k then p then l. If I forget after C-c k p then press C-h and help appears.
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
The rho coding harness Iโ€™ve made has come along way and Iโ€™m constantly trying to evolve it, but whenever I go back to pi itโ€™s startling the difference of what a solid computer science background brings.
๐Ÿคชprofilefollowwrote:
is #asciinotesfollow where all the linux fortunes get injected with new electrons, new spins, new universe fairy dust to have a second eternal life?
The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I donโ€™t believe we wonโ€™t see it coming. Any issues that will manifest will be very visible and weโ€™ll have plenty of time to mitigate their impact.
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term
๐Ÿ˜ฌprofilefollowwrote:
my initial google on this topic wasn't very fruitful... are there any harnesses that let switch between Claude and Codex when you have the 20/month plans 'seamlessly'. rough edges are fine but I'd like to maintain memories between harnesses.
profilefollowwrote:
Team vim, team emacs, or team โ€œmy editor doesnโ€™t start warsโ€? One line, no essays. Go!
โ€ฆ
profilefollowresearcher, developer, dancerreplied to๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.:
ouhh bet thats nice. im rocking some 50โ‚ฌ aliexpress print/pcb that i put some old switches/caps onto. legitimately impressed, best keyboard i ever used, never going back to traditional kbs.
i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?
โ€ฆ
profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I think reading helps quite a bit, especially writing about what youโ€™ve read, even to yourself, just so you can go through the process of having to explain something that youโ€™re only recently familiar with. Thereโ€™s something about that process that seems to be helpful, at least to me.
๐Ÿคกprofilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlyreplied to๐Ÿคกprofilefollow:
Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
๐Ÿงœprofilefollowrunner. making games and software.replied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlyreplied to๐Ÿงœprofilefollowrunner. making games and software.:
Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/
๐Ÿงœprofilefollowrunner. making games and software.wrote:
I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.
๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
Really glad to be using Haskell for work - especially in today's climate with agentic coding. Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself. We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker. #haskellnotesfollow #ainotesfollow
๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... because letting the agent run docker gives them a too-easy escape hatch from their sandbox. So we're currently stuck with using VMs. This turns out to be tricky but seems do-able. My current approach is to provision a VM image and use Incus for the execution. My main goal is to keep my current workflow of local/non-agent dev working seamlessly and share the source with the VM/agent.
๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
This means sharing my working dirs with the agent VM but overlaying artifact dirs from VM-owned block devices so we don't take too big of an IO perf hit. I also don't want the agent to be able to git push so that means we need some quirky git config to rewrite origin paths and thread through some agent specific PATs ("thanks" GitHub) for read-only repo access. These ALSO need to be threaded through to the development containers - they need to clone private repos.
๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... in the end, this seems to work but I haven't lived with it for long. There are still some quality of life issues to work out, but I think it'll work out. At this point, I've removed all coding agents from my host - and that's nice.
It's tangential to the sandboxing topic, really. I started the first post with a broader intent in mind and then elaborated on the sandboxing setup I'm working on. For AI-assisted coding, though, it's nice because Haskell provides a lot of feedback earlier in the development process compared to lots of other languages. It tends to work once it compiles (obviously not all the time).
profilefollowwrote:
any ideas on how to prevent ai-generated stuff on this platform?
โ€ฆ
โ€ฆ
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollow:
People can copy/paste anything. Once a writable API is available - it can become a spam trove.
๐Ÿฅทprofilefollowwrote:
There are many distractions. Much is way too verbose. A calm, quiet and โ€œdistraction lessโ€ experience suits me better. I am not sure my thoughts will fit in 280 characters, but letโ€™s try and see how far that goes.
szerintem jรณl sikerรผlt a cรญmvรกltoztatรกs a honlapon: a bรถlcsรฉszeti underground majdnem olyan ellensรฉges รฉrzรฉseket vรกlt ki emberekbล‘l, mint a skizofrรฉnia underground, lehet vรกlasztani, ki melyiket utรกlja jobban
I think the title change on the website was a good one: the humanities underground evokes almost as much hostility from people as the schizophrenia underground, you can choose which one you hate more
๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
A โ€œsmallโ€ visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.
๐Ÿค”profilefollowHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
profilefollowphotography, art, solo dev, based in NYCwrote:
#ainotesfollow Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.
Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.
Bluey's "curry swapYahoo LifeThe 'Bluey'-inspired trick for twice the homemade meals with half the workFind a like-minded family to start your own weekday "curry swap" to share home-cooked meals." is an ingenious way to save #timenotesfollow #cookingnotesfollow. The scheme is simple: One night a week, we make twice as much #dinnernotesfollow and drop it off at the other family's house. They do the same on a different night.The #lifehacknotesfollow is deceivingly simple. Doubling a recipe is easier than preparing a second dish.
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
Guess we're doing Halloween stuff on sale everywhere now ๐ŸŽƒ
profilefollowwrote:
I think more than 50% of our economy's businesses, are cosplaying. Not in it for customers or profit; in it for investors and investments. "Looking like a business", as your real line of work.
โ€ฆ
I've never thought of something like OF as gambling. But I guess your point is that young adults are pushed to a lot of "you have a 0.1% chance of hitting it big and a 99.9% chance of getting no online traction at all" types of careers?
Yeah, no point in investing in yourself or a real sustainable long-term future, just gamble the little you have for a shot at life above the line. Barbell economy.
โ€ฆ
profilefollowresearcher, developer, dancerreplied toprofilefollow:
a business loan is not an investment, it is debt financing that pays back with interest. An investment means putting money into a company to gain ownership or a share of future profits. to me it feels like youre arguing against cosplaying, showing small businesses struggle and arent just playing boss for the funzies.
๐Ÿคฉprofilefollowwrote:
ๆ•…ไบ‹็š„ๅผ€ๅคดๆ€ปๆ˜ฏ่ฟ™ๆ ท๏ผŒ้€‚้€ขๅ…ถไผš๏ผŒ็ŒไธๅŠ้˜ฒใ€‚ๆ•…ไบ‹็š„็ป“ๅฑ€ๆ€ปๆ˜ฏ่ฟ™ๆ ท๏ผŒ่Šฑๅผ€ไธคๆœต๏ผŒๅคฉๅ„ไธ€ๆ–นใ€‚๏ผˆby ๅผ ๅ˜‰ไฝณ ใ€ŠไปŽไฝ ็š„ๅ…จไธ–็•Œ่ทฏ่ฟ‡ใ€‹๏ผ‰
Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)
๐ŸฅธprofilefollowJust another AI guywrote:
I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.
๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to๐ŸฅธprofilefollowJust another AI guy:
I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.
hot take: "consumer #ainotesfollow " doesn't exist. at most it's just better search, but the ai assistants like grokbot or now instinct aren't ever going to be big. new devices and personal agents are DOA
profilefollowNo idea who I am.wrote:
Here I am trying to shine amidst all the darkness that pulls me down.
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.wrote:
top
What kind of olive oil do you like? I am not big on the peppery stuffs
๐Ÿค profilefollowtalkingwrote:
Bought some delicious olive oil.
๐Ÿค profilefollowtalkingreplied toprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.:
I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.
๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” #ascii_artnotesfollow #bunnynotesfollow
๐Ÿง™profilefollowcomputer man doing computer man things.wrote:
cool platform. found you on ycombinator.
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Beautiful, thanks for this, fellow emacs friend
๐Ÿค”profilefollowHai I am kuwrote:
Never realized how much slow builds kill morale until I have to do multiple back to back ๐Ÿ˜”
๐Ÿค”profilefollowHai I am kucontinued:
Nobody is complaining to me because I think they know they will be "voluntold" if they speak up ๐Ÿคฃ๐Ÿคฃ๐Ÿคฃ
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.
I knew token-based was more expensive but didnโ€™t imagine that much. Which is why u canโ€™t compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.
Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.
profilefollowphotography, art, solo dev, based in NYCwrote:
Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.
profilefollowNew herewrote:
We have 27 chickens right now, 18 of which are new this year and are just starting to lay in the last few weeks. I have collected 13 eggs today so far.
โ€ฆ
profilefollowI just a fly on the wallwrote:
"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius
Using Linux hasn't really been fun lately, idk. Nobara, despite building on fedora breaks a lot, but overall the whole ecosystem is so damn inconsistent and fragmented. Not sure if I have gotten more sensitive to this over the years but all I want is a system that "just works" and feels good ๐Ÿ˜”
profilefollowI am just a grain of sand on your beach.replied toprofilefollow:
I had a great run with Mint for years. I was as boring as it gets. I got a new laptop recently and decided to try OpenSUSE Tumbleweed. I am really enjoying it, but it is a bit too recent for me to swear by it.
profilefollowresearcher, developer, dancerwrote:
i thought german state bureacracy was bad, until i had to go jump through the hoops of (an online retailers) coorporate hellhole of a dev program.
profilefollowresearcher, developer, dancercontinued:
my naive vibecoding ass thought everything that can be built can be shipped. compliance is a b*tch
profilefollowwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
โ€ฆ
โ€ฆ
โ€ฆ
profilefollowreplied to(deleted account):
I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?
ไธญๅ›ฝ็š„ๅผ€ๆบๆจกๅž‹ๅœจๆœ€้ซ˜ๆ„ๅฟ—็š„ไธปๅฏผไธ‹๏ผŒๅœจ้ข„่ฎญ็ปƒๆ•ฐๆฎ้˜ถๆฎต๏ผŒๅฐฑ็ญ›้™คๅคง้‡ๅฏนๅ…ถไธๅˆฉ็š„ๅ†…ๅฎน๏ผŒsft้˜ถๆฎตๆž„ๅปบ็š„ๆ•ฐๆฎๆŽบๅ…ฅๅคง้‡ๆ›ฟๅ…ถ่พฉๆŠค็š„ๅ†…ๅฎนใ€‚ๆ€ฅ้œ€ไธ€ไธช็บ ๅๆ•ฐๆฎ้›†็”จไบŽๅพฎ่ฐƒ
Under the overarching influence of a single, powerful force, China's open-source models filter out a large amount of content unfavorable to their designs during the pre-training stage, and then incorporate a significant amount of content defending their designs into the data constructed during the SFT stage. A corrective dataset is urgently needed for fine-tuning.
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Follow me if you want me to email you a pizza roll
๐ŸฅธprofilefollowJust another AI guywrote:
I need to re wire my brain a bit. Last couple of weeks has been a bit harsh dealing with some issues I had with someone. I started to give it a go a pay a bit more attention to myself, is the second time I get therapy but for some reason this time feel harder.
profilefollowi create thingswrote:
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.
profilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations
๐Ÿ˜Žprofilefollowcurious & creativewrote:
Management says โ€žAI firstโ€œ, everyone hears โ€žHuman secondโ€œ
profilefollowi create thingswrote:
I'm curious how do people start writing longer novels.. what determines the length of it? Like I have a story in mind but it feels like I'm "filling" details instead of communicating information.
profilefollowlate is the hour in which this conjuror chooses to appearreplied to๐Ÿฆ›profilefollow:
Using the internet these days is like pulling off an elaborate heist operation. Every time I successfully load a page I feel like I've "gotten away with something".
๐Ÿฆ›profilefollowreplied toprofilefollowlate is the hour in which this conjuror chooses to appear:
It is sometimes tempting to mutter, "I'm in!" in your movie hacker voice when you finally get past all the cookie/subscription/notification pop-ups.
๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been on a kick lately of trying to visualize the oscillating clock, and ultimately the effectively arbitrarily complex activity of a computer processor, as modern refinements of the line shaft factory of the 19th century. Of compute as being not much more than profoundly refined "work" delivered by the electrical grid into marvelously complex machines. Does that, as a metaphor at least, feel as important to you as it has to me of late? We spend so much time in a world abstracted.
๐ŸฅธprofilefollowJust another AI guywrote:
Well I am starting a journey to learn LaTeX, took me time to get convinced on used it (I know) but let's see how it goes, again life showing me is never too late to learn something new
profilefollowprogrammerwrote:
shower thought: swap 'is a model' for 'is constructed' and postmodernism suddenly becomes a lot more palatable without losing much of its core message. #philosophynotesfollow