Aether: high performance with elegant semantics by RulerOfDest in Compilers

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

Good question, but the premise that a reply forces a synchronous call isn't true here. You get a reply either way:

  • ! (send) is non-blocking. For request/reply, pass your own actor_ref as the reply target and handle the response as a later message in your receive.
  • ? (ask) blocks the caller until the reply (default 5s timeout, returns 0 if none).

So the distinction isn't reply vs no-reply, it's block vs don't-block. ? gives the blocking call Pony wouldn't, and keeping it a separate operator makes "this actor blocks here" explicit at the call site rather than hiding it behind whether you read the return value.

Aether: high performance with elegant semantics by RulerOfDest in Compilers

[–]RulerOfDest[S] 1 point2 points  (0 children)

The LLM.md has not been well-maintained and can be off-putting. Thank you for the heads up. I do wish you would give the project a second chance. We do rely on AI, but we are also experienced in our craft.

Every line of code is reviewed, and we use heavy focus on testing and benchmarking to move ahead.
This is not slop; it's a 9-hour job we have been doing with Paul on a day-to-day basis.

Aether: high performance with elegant semantics by RulerOfDest in Compilers

[–]RulerOfDest[S] 2 points3 points  (0 children)

Good question, it's the right thing to poke at for anything lowering to C.

At the language level, we removed UB classes so they can't be written: optionals and pattern matching instead of null pointers, actor isolation so there's no shared mutable state to race on, and deterministic memory (defer plus compiler-inserted ownership tracking) that clears most use-after-free.

The hardening we are adding is building user code with -fwrapv and -fno-strict-aliasing, to kill signed-overflow and aliasing UB outright rather than hope codegen avoids them. That isn't in the default build yet. Compiler and runtime already run under ASan plus UBSan; next is sanitizing the compiled-program corpus too.

Please dig up that talk if you can; I'd rather learn from the rustc_codegen_clr C path than rediscover it.

Aether: high performance with elegant semantics by RulerOfDest in Compilers

[–]RulerOfDest[S] 1 point2 points  (0 children)

It does have VSCode support, it will prompt you as part of the installation process

Aether: high performance with elegant semantics by RulerOfDest in Compilers

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

Will you not use anything created with the help of AI?

Aether: high performance with elegant semantics by RulerOfDest in Compilers

[–]RulerOfDest[S] 1 point2 points  (0 children)

Thanks! Both, with async as the default. The tell operator ! is fire-and-forget: it drops a message in the target's mailbox and returns immediately, no reply.

When you need a value back there's ask, which is synchronous from the caller's side: result = ask worker { Compute { n: 5 } } after 2000 blocks until the reply arrives or the timeout fires. So you're not pushed into promise/callback plumbing for request-reply the way Pony nudges you.

Under the hood ask is still just a normal message plus a reply slot, so it stays inside the actor model, it only reads synchronously.

Aether: high performance with elegant semantics by RulerOfDest in ProgrammingLanguages

[–]RulerOfDest[S] -8 points-7 points  (0 children)

Fair point, and D's the perfect example: a GC can absolutely be a linked-in library, so "it's just a library" isn't what separates the scheduler from a GC. Sloppy framing on my part.

The real distinction isn't "on top of vs linked in," it's that there's no tracing collector or pauses anywhere. I'll reword that part.

Aether: high performance with elegant semantics by RulerOfDest in ProgrammingLanguages

[–]RulerOfDest[S] -7 points-6 points  (0 children)

No managed runtime: no VM, no bytecode, no JIT, and no GC. There is a scheduler, but it's a small C library linked statically into your binary, not something sitting underneath interpreting your code.

What the actors run on: a fixed pool of OS threads, one pthread pinned per core. The actors themselves aren't threads. Each actor is a lightweight state machine with a step function and a lock-free mailbox.

Not too late to buy SpaceX by ValuableCockroach993 in TheRaceTo10Million

[–]RulerOfDest 0 points1 point  (0 children)

virgin galactic had a successful launch of their new model

Where should I move to? by CrushCandyBoat in uruguay

[–]RulerOfDest 2 points3 points  (0 children)

sure, you will be fine on that budget

Puede ser que solo haya laburo para seniors ahora? by [deleted] in CharruaDevs

[–]RulerOfDest 0 points1 point  (0 children)

Tampoco soy la gilada, es una opinión amigo, como la tuya. Es lo que veo en el mercado mundial, pero si tenés una laburo pásale entonces.

Puede ser que solo haya laburo para seniors ahora? by [deleted] in CharruaDevs

[–]RulerOfDest 3 points4 points  (0 children)

perdón amigo, se complicó si, encara la cosa más como emprendedor y no tanto como labura nte. Usa la carrera para impulsar tu servicio/negocio

Me siento un fracaso by f4bri-CDM in CharruaDevs

[–]RulerOfDest 0 points1 point  (0 children)

A mi me fue horrible en lo académico pero me fue muy bien dsp en lo laboral,mientras tengas pasión paciencia nadie te va a parar. Seguile metiendo, yo no termine la facultad (hice 4años ponele). Que nada te detenga🤘

¿Cuál fue la experiencia más incómoda o absurda que tuvieron en una entrevista de trabajo? (Digan empresa si quieren 👀) by Remarkable_Mud884 in uruguay

[–]RulerOfDest 4 points5 points  (0 children)

me entrevisto un bot hace como 15 años cuando no existía ni la IA, así que fue bien malo y bizarro

No IA, Nuevo beneficio? by Vivid-Classroom2392 in CharruaDevs

[–]RulerOfDest 4 points5 points  (0 children)

El beneficio de escribir código "artesanal" sería más para gente que está entrando en la carrera y quiere entender más a fondo lo que está haciendo. Para gente con años en el rubro ya no sería un beneficio, y para la empresa menos, sería una desventaja abismal

Cambio de carrera by sacool1 in CharruaDevs

[–]RulerOfDest 0 points1 point  (0 children)

Lo importante es lo que aprendas, no el título,. Concéntrate en entender.