cross-posted from: https://feddit.nu/post/5840291

Source

Does anybody know if there is a website or resource that has NixOS modules you can include in your config?

I created Bril, the Big Red Intermediate Language, to support the class's implementation projects. Bril isn't very interesting from a compiler engineering perspective, but I think it's pretty good for the specific use case of teaching compilers classes. Here's a factorial program:

@main(input: int) {
  res: int = call @fact input;
  print res;
}

@fact(n: int): int {
  one: int = const 1;
  cond: bool = le n one;
  br cond .then .else;
.then:
  ret one;
.else:
  decr: int = sub n one;
  rec: int = call @fact decr;
  prod: int = mul n rec;
  ret prod;
}

Bril is the only compiler IL I know of that is specifically designed for education. Focusing on teaching means that Bril prioritizes these goals:

• It is fast to get started working with the IL.
• It is easy to mix and match components that work with the IL, including things that fellow students write.
• The semantics are simple, without too many distractions.
• The syntax is ruthlessly regular.

Bril is different from other ILs because it prioritizes those goals above other, more typical ones: code size, compiler speed, and performance of the generated code.

Aside from that inversion of priorities, Bril looks a lot like any other modern compiler IL. It's an instruction-based, assembly-like, typed, ANF language. There's a quote from why the lucky stiff where he introduces Camping, the original web microframework, as "a little white blood cell in the vein of Rails." If LLVM is an entire circulatory system, Bril is a single blood cell.

Reference

GitHub

cross-posted from: https://mastodon.social/users/Berin/statuses/112836125469155607

New Ren'Py Lemmy Community!

Heyo, I made a community for Ren'Py developers to ask for help and share their projects! Feel free to tag it to crosspost your mastodon posts, just like this post here. (But read the rules first, please)

https://discuss.tchncs.de/c/renpy

@renpy

#RenPy #GameDev #VNDev #IndieDev #VisualNovel

Hello Python community! I wanted to present the newly-made Ren'Py community on here.

Ren'Py is a Python-based game engine for visual novel development aimed at beginner developers with little prior programming experience. It uses a simple movie script-like syntax and provides both must-have visual novel components and tons of quality-of-life features out of the box. Capable Python programmers can easily extend the framework via custom components.

If you ever wanted to create an interactive fiction game, feel free to take a look!

[email protected]

cross-posted from: https://lemmy.world/post/17984566

Hi all,

mpv communities seem to be tiny in lemmy, so I'm sharing it here.

This is a program I made for music control from local network.

You can run it in a computer with some local media files, or youtube links or any other links yt-dlp supports. And then with the server, you can control the media player and the playlist from any devices in your local network. So that you can just show a QR code or something to house guests for parties, or have it bookmarked within family to control the music.

I wanted to make something similar to how youtube app let's you play in TV and such, but my skills were not enough to do that. So I tried a simple alternative that works with computers. In an ideal world, I could make "Play with local mpv server" option come while on other android apps, but I have zero experience in android app development and it looks complicated.

I know some other programs also give option to control media, but I wanted to give it a go with a simple implementation. Making the web-server was a tricky part. Only tutorial from the rust book was useful here as every other web server developement in rust seems to be async ones using libraries so I would have to make a complicated system to communicate with the mpv. Using the simple Tcp connection let me make a thread with mpv instance in the scope. I do need to support https and file uploads and other things, but I haven't had any luck finding a solution that works with simple Tcp connection like in the tutorial. Let me know if you know anything.

Github: https://github.com/Atreyagaurav/local-mpv

I'm about to go ahead and go 100% Linux on my PC and completely get rid of Windows. The latest advancements in Windows application compatibility for Linux has taken strides and it's now easier than ever to run Windows apps thanks to Wine and Bottles and Steam's Proton. There's literally nothing I can't do in Linux that I could do in Windows.

The distro of choice I will probably go for is going to be Kubuntu. But I've been looking at immutable distros as a more stable alternative. But, it sounds to me like it's more adapted for smaller devices and IoT, like the Steam Deck or similar handheld devices.

Have you installed an immutable distro on your PC? What distro did you use? What was your experience like? What were the pros and cons according to you?

• 7.0.10
• 6.4.10
• 5.4.42

I am trying to use wireshark to verify that my outgoing rsync is encrypted. I can easily see that the SSH protocol packets are reported as "Encrypted packet." The other packets being exchanged are TCP packets, I am not sure how to actually verify if these are encrypted, and if not, if they contain anything sensitive.

Should TCP be encrypted? Can they leak anything when facilitating the ssh connection? How can I tell?

Announcements!

• v7.4.4 Release of PowerShell
  Come get the latest and greatest
• v7.2.22 Release of PowerShell
  The latest LTS release.

Blogs, Articles, and Posts

• Extract LAPS Passwords and BitLocker Keys from Active Directory
  The below PowerShell can be used to extract LAPS Passwords and BitLocker Keys from Active Directory. This was written on Friday, July 19, 2024, due to the CrowdStrike Outage. If you choose to test this PowerShell, ensure that you update the argument for the SearchBase parameter to reflect your Active Directory domain.
• The Maddening Side of the Microsoft Graph PowerShell SDK
  All software has unique quirks, and the foibles of the Microsoft Graph PowerShell SDK are well known. But it’s much harder when the underlying foundation contributes to the craziness as described in this article. Graph pagination works in a specific way and Microsoft tunes the Graph to deliver great performance by reducing the set of properties returned for objects. Both can cause concern for developers.
• Find orphaned GPOs via PowerShell before migrating to Intune
  Many companies have already fully transitioned to Endpoint Management Intune and no longer need GPOs (Group Policy Objects). Others are in the preparatory stages. Therefore, I would like to provide some assistance for identifying orphaned Group Policy Objects. These can be relatively easily found and, if necessary, removed using PowerShell.
• Convert RSA XML Private Key to PEM Format with PowerShell
  Recently I was working with a particular application that used certificates to secure communication. I wanted to put the certificates into Azure KeyVault. Azure KeyVault naturally allows you to store certificates. However, it only lets you upload certificates that are in PFX (PKCS#12) or CER (DER or BASE64 encoded).… keep reading
• PowerShell script for automated remediation for CrowdStrike issue
  I have created a Powershell script for the Crowdstrike issue for some automation purposes. you can create a WinPE ISO File to boot into and remediate the crowdstrike issue. 3. Reboot: The system should boot normally. The script: This script is designed for use in an on-premises VMware environment.

Projects, Scripts, and Modules

• pwshBedrock v 0.9.1
  pwshBedrock enables interfacing with Amazon Bedrock foundational models, supporting direct on-demand model calls via InvokeModel and the Converse API for supported models. It allows sending messages, retrieving responses, managing message context, displaying model information, and estimating token counts and costs. Use PowerShell to integrate generative AI applications with Amazon Bedrock.
• ChocoLogParse v 1.0.0
  Parses Chocolatey logs into easy to use objects.

Books, Media, and Learning Resources

• Diagnose Network Latency with PowerShell and SQLite [OC]
  In this video you’ll see how you can use PowerShell to check for network latency between multiple endpoints. You’ll learn how to record those results into a SQLite database with a just few commands, and no need to create any underlying infrastructure. Finally, you’ll see how you can view the data in PowerShell to help identify where and when you are experiencing network latency issues.

Community

• Interactive Shell Sessions and Language Models: Steven Bucher on Project Mercury
  In the latest episode of the PowerShell Podcast, we sit down with Microsoft PM Steven Bucher to dive into Project Mercury, a cutting-edge CLI tool designed to provide an interactive shell session for chatting with language models. Steven walks us through the functionalities of Project Mercury and how users can leverage this innovative tool. He also shares his approach to product management, reflecting on his growth in the role over the past couple of years. We explore the importance of empowering others and how it serves as a pivotal goal in Steven’s professional journey. Join us for an enlightening conversation that blends technical knowledge with leadership wisdom.
• PowerShell Community Call - July 18th, 2024
  The record of the July 18, 2024 PowerShell Community Call

Check out psweekly.dowst.dev for all past editions as well as a searchable archive.

Game Jams in August 2024

LowRezJam (August 1st - August 15th)
https://itch.io/jam/lowrezjam-2024

GDevelop Weekend Game Jam #3 (August 2nd - August 4th)
https://itch.io/jam/gdevelop-weekend-game-jam-3

Discord Jam #8 (August 10th - August 12th)
https://itch.io/jam/discord-jam-8

Magical Girl Game Jam #10 (August 14th - September 13th)
https://itch.io/jam/magical-girl-game-jam-10

GMTK Game Jam (August 16th - August 20th)
https://itch.io/jam/gmtk-2024

Scream Secrets (August 22nd - August 29th)
https://itch.io/jam/scream-secrets

@gamejams

#GameDev #IndieDev #GameJam

Hello) Haven't seen nice videos exploring hierarchical state machines, so I decided to share my tutorial here. In the video I break down one of Dark Souls III bosses and then use Godot to recreate it.

• source under CC BY-NC 2.5 Deed
• explainxkcd/1296

Hover Text:

Merge branch 'asdfasjkfdlas/alkdjf' into sdkjfls-final