Fedizen · Fedizen

Haelwenn /элвэн/ :triskell: liked this activity

The goal is that all files of ValorC is just C with some extra annotations on top.

There should be an option where you can compile all ValorC files to C, and all of the annotations get turned into comments so that compilers like gcc and clang can compile ValorC programs.

fwiw using c attributes, so e.g. [[valorc::some_annotation]], c23 says:

For an attribute token (including an attribute prefixed token) not specified in this document, the behavior is implementation-defined. Any attribute token that is not supported by the implementation is ignored

so if you build the syntax on top of them, no transformation step should be needed

Mr Funk E Dude 🏴‍☠️ boosted

paul

@amiserabilist@beige.party 1 min. ago

i was shitposting in my sleep.

UFW

@ufwupdates@union.place 14 min. ago

"Adriana" works in Atwater CA picking sweet potatoes on a machine with 7 people. "We are paid minimum wage. This work is very dusty. After an 8 hour day my allergies are really bad." #WeFeedYou

ALF

@Astronomy_A2Z@mstdn.social 44 sec. ago

@ufwupdates They suffer so we can live better. This is not the way to treat our fellow humans.

a fresh pup of coffee :bowie:

@david@tech.lgbt 11 min. ago

@xoagray absolutely. I don't want that to go away!

I've also seen a few projects recently where my inability to determine who is behind them makes me hesitate to use them

VER-1602

@wavejumper3@tech.lgbt 52 sec. ago

@david @xoagray clarification: Is this about ai slop, politics, both, option d...?

Also
I made my website.
wavejumper3.net
So uhh.... it was me! Yea! Now there's another usable website!!! Yay yay yippee

David Revoy

@davidrevoy@framapiaf.org 3 hr. ago

Avian Intelligence Agents

Bonus speedpaint: https://www.peppercarrot.com/en/miniFantasyTheater/078.html#bonus

#webcomic #krita #miniFantasyTheater

4 media files

Panel 1. In a corridor of the university, a silhouette catches Cepper's attention: an Avian Intelligence (AI) agent, made of three cyber parrots in a trench coat and a hat, walking in a clumsy way. Behind Cepper, her friend Amall is walking.
> Cepper: "Huh...? What's this?" — Panel 1. In a corridor of the university, a silhouette catches Cepper's attention: an Avian Intelligence (AI) agent, made of three cyber parrots in a trench coat and a hat, walking in a clumsy way. Behind Cepper, her friend Amall is walking. > Cepper: "Huh...? What's this?"

Panel 2. Amall and Cepper immediately hide on the corner of a wall and study the agent as it looks around suspiciously in front of a door with a keyhole, trying to be incognito.
> Amall: (whispering) "It's an Avian Intelligence Agent."
> Amall: (whispering) "A new unit that makes its own strategy to reach a goal." — Panel 2. Amall and Cepper immediately hide on the corner of a wall and study the agent as it looks around suspiciously in front of a door with a keyhole, trying to be incognito. > Amall: (whispering) "It's an Avian Intelligence Agent." > Amall: (whispering) "A new unit that makes its own strategy to reach a goal."

Panel 3. Same panel, with the agent trying keys in the keyhole.
> Cepper: (whispering) "What's its goal?"
> Amall: (whispering) "Probably after our secret grimoires, on behalf of a rival university."
> Amall: (whispering) "Look, it's trying all the keys." — Panel 3. Same panel, with the agent trying keys in the keyhole. > Cepper: (whispering) "What's its goal?" > Amall: (whispering) "Probably after our secret grimoires, on behalf of a rival university." > Amall: (whispering) "Look, it's trying all the keys."

Panel 4. The door swings open and reveals a tiny broom closet holding a few brooms, a bucket, soap, and bottles. The agent looks surprised. Cepper questions the situation, while Amall is amused.
> Cepper: (whispering) "Fascinating. But why the broom closet?"
> Amall: (whispering) "This door looked like our most secure one, apparently." — Panel 4. The door swings open and reveals a tiny broom closet holding a few brooms, a bucket, soap, and bottles. The agent looks surprised. Cepper questions the situation, while Amall is amused. > Cepper: (whispering) "Fascinating. But why the broom closet?" > Amall: (whispering) "This door looked like our most secure one, apparently."

Pepper&Carrot

The Avian Intelligence Agent - Pepper&Carrot

Official homepage of Pepper&Carrot, a free(libre) and open-source webcomic about Pepper, a young witch and her cat, Carrot. They live in a fantasy universe of potions, magic, and creatures.

Layla

@laylaqueer@mastodon.social 53 sec. ago

@davidrevoy for a moment I thought those were three deadpool birds in a trenchcoat xD

Dave Fischer

@davefischer@hachyderm.io 2 min. ago

@jalefkowit

Have you seen No Heroics? Great, very short-lived British sitcom about the bar that superheroes hang out at when off-duty.

Jason Lefkowitz

@jalefkowit@hachyderm.io 59 sec. ago

@davefischer I have not! But I will check it out

Haelwenn /элвэн/ :triskell:

@lanodan@queer.hacktivis.me 9 min. ago

@valorzard @navi @SRAZKVT Oh formal verification, reminds me I have no idea how that stuff works as it's like deep-academia.

Also re: license, I think MPL2 should be fine as the NDA bits could be in separated files (after all MPL-family origin is for opening up deeply proprietary codebases that you don't have full rights on, which even worked for OpenSolaris).
But well I don't know of the licensing stuff that goes with game consoles, could be worse than just SDK+system-libs license.

Haelwenn /элвэн/ :triskell:

@lanodan@queer.hacktivis.me 1 min. ago

@valorzard @SRAZKVT @navi Also just in case, it reminds me of https://compcert.org/ (never used, almost no distro packages it, and dealing with OCaml seems like pain)

CompCert - Main page

Dragon of BSDCafe

@evgandr@snac.bsd.cafe 1 min. ago

Nice! My parser for subset of hledger syntax works on test data 🙂

#C #programming #flex #bison #hledger #PlaintextAccounting

Screenshot of Emacs frame with two windows. On the left the "hledger_scanner.l" lexer describing tokens for subset of hledger syntax. And on the right the "hledger_parser.y" describing parser and grammar for subset of hledger syntax. On the middle there is an xterm window with parsed file filled with test data.

alcinnz

@alcinnz@floss.social 1 min. ago

I'm pondering... Once I've got #Alonzo implemented I'll need to find something to use it for...

That'll help me get a sense of how good my design is.

Two things come to mind:

1. Rewrite the typechecking code I'm actively writing now!

2. A webservice offering reformatted regional maps to be viewed on my other #merephone project.

I'm very keen to offer a lightweight map viewer in merephone, in part to play with some neat tech! But that might have to be a firmware upgrade to avoid distraction.

Posted in Fediverse

Nelots liked this activity

Cethin

@Cethin@lemmy.zip 20 hr. ago

It’s not a requirement, but whatever leads you to Lemmy will also lead you to Linux. Whether that’s anti-corporatism, anti-capitalism, pro-open-source, just counter-culture, or whatever else. They’re the same side of different coins. (I don’t think this is a real phrase, but it works. They aren’t actually related, but they’re equivalent.)

Cheeseness boosted

ruby0x1 :luxe:

@ruby0x1@mastodon.gamedev.place 5 hr. ago

7DFPS
DEC 4-13 2026
https://itch.io/jam/7dfps
TELL YOUR FRIENDS

#7dfps #gamedev

itch.io

7dfps 2026

A game jam from 2026-12-04 to 2026-12-13 hosted by ruby0x1. what is 7dfps? 7dfps is a game development challenge , to make a first person game in seven days. Challenge yourself, and first person games, by creat...

Jason Lefkowitz

@jalefkowit@hachyderm.io 32 min. ago

Had a dream that there was a sort of Michelin Star rating service for superheroes, and every year the heroes would start to get nervous about whether they were about to lose their star because they bruised the shoulder of a person they saved from a rampaging kaiju who happened to be the secret reviewer

Dave Fischer

@davefischer@hachyderm.io 2 min. ago

@jalefkowit

Have you seen No Heroics? Great, very short-lived British sitcom about the bar that superheroes hang out at when off-duty.

DSCOVR:EPIC

@dscovr_epic@bot.country 2 min. ago

13:26 on Monday November 9th, over the South Atlantic Ocean

Crazypedia won't Comply 🧿 liked this activity

Logout

@logout@oldbytes.space 7 min. ago

Those were the days...

Leah Rowe ist kein Roweboter

@libreleah@mas.to 12 min. ago

Despite saying on libreboot and fedi earlier, also rboot, that 26.11 release and beyond are UEFI-only, I did add this today:

https://libreboot.org/docs/install/legacy.html

I no longer build GRUB/MT86+ in lbmk, but i wrote an easy guide for users to re-add it. FUN FACT:

The EFI version of SeaBIOS (as CSM) here is ReBIOS. I briefly used CSMWRap in 26.10, but ReBIOS is a continuation of it and it's... better in every way. It has full VGA emulation for starters, so legacy operating systems work - graphical mode switching works, and it can switch back to text mode. It's a full, libre VGA BIOS, unlike the SeaVGABIOS code. I'm thinking of how to port this to coreboot framebuffer (libgfxinit) for legacy SeaBIOS setups.

Anyway. here are some photos of ReactOS booting for the first time in Libreboot. Booted using ReBIOS CSM module, added to Libreboot EDK2 using the above guide. Yes, this is amazing:

(could also boot old Linux/BSD with this - e.g. OpenBSD from before it had kernel mode setting / drm support):

2 media files

Libreboot – Re-adding legacy payloads to Libreboot

Leah Rowe ist kein Roweboter

@libreleah@mas.to 2 min. ago

To be clear: this is a major milestone in Libreboot. Historically, Libreboot could only work with operating systems that didn't use VGA BIOS, because SeaBIOS's VGA BIOS emulation (SeaVGABIOS) only supported a few higher resolution modes - basically enough to boot Linux bootloaders reliably. Also some text-mode bootloaders. Switching from text mode to graphical modes wasn't possible in VGA (int10h interrupts), and switching back to text mode wasn't possible...

But it worked because Linux/BSD systems had stable KMS (kernel mode setting), setting up their own framebuffers in e.g. Intel driver. Then recently we added EDK2, which allows for full use of EFI fb/gop. E.g. Windows 10/11 work.

But if you wanted to run, say, Windows XP/7/Vista in BIOS mode? Nope. The ReBIOS project wraps SeaBIOS in a hypervisor (IOMMU/vt-d required unfortunately), and emulates a full VGA BIOS. Any old OS that has drivers for your machine will work. It does hw passthrough (hence vt-d) so real drivers work on it.

Sean Heber

@bigzaphod@mastodon.social 2 hr. ago

I have to do physical therapy again for my neck/shoulder area. Apparently I tend to sit with my head "too forward" but since I've probably done this my whole life unlearning it might be next to impossible....

But the real kick in the face is that my insurance is $110 every time I visit. They would really like me to come twice a week - $220 a week! For like... months, potentially.

Impossible to afford. So I have to settle for once a week which by itself disrupts our near 0-sum budget.

Sebastian Hagedorn :koeln:

@hagedose68@social.cologne 2 min. ago

@bigzaphod How much would it be if you paid it yourself? Couldn't be much more than that, right?

frigginGlorious ✅

@frigginglorious@freeradical.zone 2 min. ago

I've always wanted to build some kind of guitar effects pedal. I just figured out what I need to do.

The pedal takes your raw analog guitar signal as input, converts it to a digital signal using science, runs it through a https://tinyml.org/ model, converts it, and outputs the guitar solo from Lynyrd Skynyrd's Freebird. 😘