It was only yesterday that I clicked on a Translate button to read a Japanese post. Today I see a Chinese post with English translation right below. Beautiful stuff.
Current #jjnotesfollow aliases:
# The canonical tug
tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"]
# Show my current work-in-progress(es). To wip it, whip it good.
wips = ["log", "-r", "bookmarks() | description(exact:'')"]
This is really cool site but only drawback I see is 500 character per post limit. I think this should me more like 1500. or there is a limitations type something like I can do 3-4 long post per day credit. whom can i message for this feature request?
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.replied to@ossmprofilefollow:
On some Mastodon instances, they post whole blog posts or massive threads and I feel this type of platform is not the place for such content. But this is clearly personal taste.
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.
#launchnotesfollow we also launched Norma! :)
It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo
Brikka.
Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience.
v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
Something with people, bartender maybe, or something with no critical thinking, delivery person, taxi driver and such. Or I go back to being a DJ as I was doing when I was young. #careernotesfollow#jobsnotesfollow
i think id love to do something along the lines of (physical) product design
im currently a software engineer. ive been into keyboards for a while and designed a good number. few things are as satisfying as taking an idea from something on paper or in my head to a shiny, pretty thing to play with
Ah, a recurring question that undesirably keeps me awake and staring at my bedroom ceiling these past couple of years due to all this AI apocalypse rhetoric.
Wish I had a firm answer. Preferably, not something frontline customer-facing, and where I can still exercise agency.
Say more. I've been using it this year "at scale" and it sucks in the way that everything sucks when the whole company starts using it for everything. I haven't used Ansible in over a decade, but am curious what you like about it better.
Ansible just melds with my way of thinking better. I have a really hard time wrapping my head around nested loops in HCL and the overall "ugliness" of the language. Plus, I kind of like being in control of the order things are created.