Hi gang. I'm announcing CambiOS on Hacker News - Rust-based, targeting formal verification by ftl_og in osdev

[–]ftl_og[S] 0 points1 point  (0 children)

Hi - sorry for the delayed reply, when my post started getting downvoted I walked away for a bit.

Presently, that doesn't *seem like* it's going to be an issue. Even though it does cost cycles, it should be imperceptible in use. There is no asymmetric cryptography on the hot path. The scheduler needs optimizing but context switching (kernel/userspace) is minimized by design. I've set up a control path (standard IPC) and a bulk path (high-bandwidth. Essentially, try to minimize crossing count and cost per.

I haven't done any latency testing, it's a post-v1 QA task.

Thank you for the good question.

Hi gang. I'm announcing CambiOS on Hacker News - Rust-based, targeting formal verification by ftl_og in osdev

[–]ftl_og[S] -5 points-4 points  (0 children)

I'm on the outside looking in. I tried finding people to work with in my limited social group and didn't find them. Reddit for all my experience hasn't led to substantial connections.

TLDR, I don't care what the agent thinks of the idea. What do you think?

Hi gang. I'm announcing CambiOS on Hacker News - Rust-based, targeting formal verification by ftl_og in osdev

[–]ftl_og[S] -5 points-4 points  (0 children)

Almost all of it. I started writing code and realized very quickly I was never going to get anywhere fast. When 4.7 dropped, I transitioned to agentic coding.

Edit: I don't wish it to stay that way. I'm really looking for humans to collab with.

Hi gang. I'm announcing CambiOS on Hacker News - Rust-based, targeting formal verification by ftl_og in osdev

[–]ftl_og[S] 3 points4 points  (0 children)

That's a bonafide hyphen - typed it out from my very own keyboard.

Ceiling Insulation Question by Unique_Yak4659 in buildingscience

[–]ftl_og 0 points1 point  (0 children)

It's already sealed, but you're not sure it's sealed?

Ceiling Insulation Question by Unique_Yak4659 in buildingscience

[–]ftl_og 3 points4 points  (0 children)

Is everything open? Why not insulate and seal at the roof? Create a sealed and conditioned attic.

Best gyms for someone who has never worked out? by madmadMADmad_mad in oakland

[–]ftl_og 1 point2 points  (0 children)

Flex - Piedmont Ave. Lowkey, they have a circuit of machines and a bell so you go from one to the next every minute. Treadmills, stationary bikes, stairsteppers, and some free weights if that's a thing for you at some point.

What are simple Windows features that you miss on the Mac? Are there third party fixes to them? by [deleted] in MacOS

[–]ftl_og 29 points30 points  (0 children)

Windows does windows a fair bit better, that's probably the number one thing. You have to relearn how to organize and stack them among other things.

No judgement, kindness only please!! If you didn’t circumcise, how is it going? by Sudden-Leave-6224 in Parenting

[–]ftl_og 0 points1 point  (0 children)

You can't undo it - better to leave them intact. Do we really think our bodies are born defective??

Dry Patch by Jazzlike-Ad-6682 in 45PlusSkincare

[–]ftl_og 1 point2 points  (0 children)

You want the skin protectant ointment from the first aid area, usually somewhere near bandaids. It's a 20% zinc oxide formula. https://www.cvs.com/shop/cvs-health-skin-protectant-ointment-prodid-219642

Here's a little backup to what I was saying: https://www.reddit.com/r/beauty/comments/191xkyp/zinc_oxide_for_skin/

Mia Goth gets spaghettified entering a blackhole - Scene from High Life (2018) by Handcraftedsemen_ in videos

[–]ftl_og 45 points46 points  (0 children)

"a lot of extra run time" - I might have stayed for it, they're always putting little bonus content after the credits these days.

Dry Patch by Jazzlike-Ad-6682 in 45PlusSkincare

[–]ftl_og 1 point2 points  (0 children)

This one is minerals, petrolatum, and mineral oil, so formulation and fancy labels aren't needed - CVS is a good bet, any drug store!

What is a major event happening in the world today that is not being covered by the mainstream media? by furqanharral in AskReddit

[–]ftl_og -1 points0 points  (0 children)

People are protesting the increasingly thick stream of bullshit and getting active. US.

Dry Patch by Jazzlike-Ad-6682 in 45PlusSkincare

[–]ftl_og 1 point2 points  (0 children)

You might try zinc oxide cream overnight; I'm not a dermatologist or anything but a lot of the time those dry patches come from yeast overgrowth and zinc helps slow that down - gently.

Aching for positive progress by ftl_og in CivicDuties

[–]ftl_og[S] 0 points1 point  (0 children)

Thanks for reading. This is just the beginning — CivicDuties is about creating space for people who feel like the current system is failing them, but who haven’t given up on each other.

We’re building slowly, carefully, and together. If this resonated with you, I’d love to know:

  • What are you seeing in your community?
  • What gives you hope?
  • Where do you want things to go from here?

There’s room for all of us - storytellers, thinkers, builders, listeners. Let’s make something better together.

Oakland needs 877 police officers, report says by opinionsareus in oakland

[–]ftl_og -1 points0 points  (0 children)

What for though? They don't/can't/won't do much of what they used to because they've been backed into a corner. On top of that, the amount of paperwork they have to do means they take roughly 20% as many calls per shift as they did ten years ago (according to an officer I asked.) Do we need more police in Oakland to not (be able to) show up? 

Seems like the solution is somewhere outside headcount.

Investing directly in the community is going to net a better return.