THIS MACHINE

Natalie (noodle) / 31 / engineer / they/he. be warned that i occasionally post in bad chinese to practice writing sentences lol. my regular english writing is @ natsinator@ao3

[javert]

Tomorrow Ye Will Get Your Pay

Dual Timeline Historical Fiction - 90k words

New Bedford, 1867 Amos Cudjoe, a harpooner on his second voyage, joins the crew of the bark Wampanoag, hoping to earn enough money to return home and marry. Before he can step on board, he meets Tobey, a greenhand freed by the Civil War, looking for something that he isn’t going to find. Amos loans Tobey his last name, and his friendship, and ties their fates together in their dangerous hunt for oil. New Bedford, 2057 Marcus Ashton, a historical interpreter on a reproduction whaling vessel, finds Amos's journal-- and loses himself. As his life falls apart in the hottest summer on record, visions of the past and future offer no consolation for the present.

[Read for free on AO3] [Print/Epub pay-what-you-want on itch.io]

[aflo]

I'm imagining a world where RPGMaker somehow made it as the de facto codebase for software and you have to navigate your banking app by walking around in a huge room full of NPCs named "make deposit" and "make withdrawal" etc and there's loud as fuck stock music playing

[aflo]

[javert]

i finished like 85% of the scene i needed to write which is pretty good

unfortunately i did volunteer to be at work for something at 8 tomorrow so if i'm going to do that i need to go to bed now so that i can start biking by 7. le sigh.

anyway goodnight.

[javert]

i would like to experience not being in the eastern timezone by moving massachusetts, rhode island, new hampshire, and maine to atlantic time. however, i fear that this is unlikely to happen,

[javert]

at some point in my life i probably should mosey further west than detroit and experience not being in the eastern timezone, but what can i say, i love the east coast

[javert]

one thing about this edit is that characters are now way more dickish

[contextfreepatentart]

[javert]

[javert]

ok i need to write but as you know i am in struggle city

[javert]

🙄

[javert]

i always manage to forget how stupid heavy stainless steel is

[javert]

my work desk is getting surrounded by like hundreds of pounds of stainless steel garbage because all sorts of R&D parts for my project get shipped to me instead of to the warehouse (because the warehouse only wants to store production parts) and it's getting truly stupid

[javert]

i need to go inside and take a caffeine pill and shower and eat dinner and do laundry and write. but i'm just chilling and wasting time. with my bike helmet on

[thomasmartinnutt]

Jenny Holzer. Untitled, 1983

[javert]

pics of a dead snake below the cut

sadly deceased by the time I saw him, but what kind of snake is this? could just be a garter I suppose but the coloration seems unusual

[bayesic-bitch]

https://arxiv.org/html/2604.03071v1

I think we might actually be there for math formalization now. It's not to the point where it's super cheap to do whole textbooks, but we're getting to where if you have a specific theorem that you need formalized to check your paper, you can pull the supporting lemmas and get it formalized with a few days and a Claude subscription. And then you can have it formalize your paper from there

[bayesic-bitch]

It's insanely lucky that there were these two research areas, type theory for formal verification and reasoning AI models, each of which was of very limited usefulness to math research on its own, each happened to be reaching maturity at almost the exact same time. Math has such a high standard of rigor that can basically never just use an ai generated proof. And proof assistants like Lean are so incredibly arduous to work with that nobody wants to actually use them. But slap them together and you get a closed feedback loop where the model gets checked against an extremely rigorous formalism, and the model abstracts away enough that you don't have to learn homotopic type theory to use it. And you end up with something that is both easier and more rigorous than doing the proof fully by hand. And both of these went from deeply underpowered to pretty useable since 2023, just in time to be practical when paired together

[engineering]

Where's that comment?

Hello Tumblr! 

@jubs here, today, to tell you about a feature we're building: Comments by author!

Comments (or replies) have been around for a while, but they have always been tucked away from your regular feed, and so we're working on a few ways to integrate them into the rest of our experience.

Soon, blogs will have a Comments tab alongside Posts, Likes, and Following. There, you will be able to see posts other people have been commenting on, and, more importantly, find your own comments! This was not possible before, except through notifications if someone engaged with your comment.

We're also working on a way to surface posts commented on by people you follow in your feeds. You will be able to find those in the For You tab, and later, alongside chronological posts in the Following tab.

So, how do you identify those posts in the feeds? 

Replied posts will show a small preview right there in your dashboard, before you click anything. 

This is not out yet, but soon! In the meantime, tell us what you think and expect from this! ☺︎

[engineering]

Launch Day

@jubs again!

First of all, thank you all for the feedback in the original post!

Today, we're launching the new "Comments" tab for Blog pages, and we'll be testing a For You recommendation based on comments from people you follow. The posts will have a preview of the reply, so you know why you're seeing that post.

You will be able to control the new tab visibility, and whether we should include your comments in your follower's feeds, through a new setting:

The toggle can be found on https://www.tumblr.com/settings/blog/YOUR_BLOG or in the General Settings > Replies section, on Mobile. If you have already disabled the "Share posts you like" setting, the setting will default to disabled.

The new tab is only available on Web and iOS (44.8+) for now, but the toggle is available to everyone (including on Android), so you can control what other people see on your blogs, even if you don't have the new feature yet. Don't worry, we have plans to implement the tab and posts on Android, soon!

---

We want to later include these replied posts to the Following feed as well, and we're planning on adapting the current "Include posts liked by the blogs you follow" toggle to also consider comments, in case you don't want to see shared comments from people you follow.

What do you think? As always, we appreciate your thoughts, keep 'em coming!

[sreegs]

hey that post going around is out of date, there is a toggle. it was added before being launched yesterday

[javert]

feeling like i'm dying at work lately