programming.dev

8,666 readers
390 users here now

Welcome Programmers!

programming.dev is a collection of programming communities and other topics relevant to software engineers, hackers, roboticists, hardware and software enthusiasts, and more.

The site is primarily english with some communities in other languages. We are connected to many other sites using the activitypub protocol that you can view posts from in the "all" tab while the "local" tab shows posts on our site.


๐Ÿ”— Site with links to all relevant programming.dev sites

๐ŸŸฉ Not a fan of the default UI? We have alternate frontends we host that you can view the same content from

โ„น๏ธ We have a wiki site that communities can host documents on


โš–๏ธ All users are expected to follow our Code of Conduct and the other various documents on our legal site

โค๏ธ The site is run by a team of volunteers. If youre interested in donating to help fund things such as server costs you can do so here

๐Ÿ’ฌ We have a microblog site aimed towards programmers available at https://bytes.programming.dev

๐Ÿ› ๏ธ We have a forgejo instance for hosting git repositories relating to our site and the fediverse. If you have a project that relates and follows our Code of Conduct feel free to host it there and if you have ideas for things to improve our sites feel free to create issues in the relevant repositories. To go along with the instance we also have a site for sharing small code snippets that might be too small for their own repository.

๐ŸŒฒ We have a discord server and a matrix space for chatting with other members of the community. These are bridged to each other (so you can interact with people using matrix from discord and vice versa.

founded 1 year ago
ADMINS

Canvas has ended! ๐ŸŽจ - final canvas

1
2
 
 

Transcription:

Text: My browser when I open the 42nd tab and beyond

A 2 panel image of Michael Jordan: Stop it. Get some help.

3
21
Gravediggers [Forrest Brazeal] (www.goodtechthings.com)
submitted 30 minutes ago by anzo to c/programmer_humor
 
 
4
 
 

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?

5
 
 

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

6
 
 

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

7
86
[xkcd] Git Commit (programming.dev)
submitted 15 hours ago by mac to c/comics
 
 

Hover Text:

Merge branch 'asdfasjkfdlas/alkdjf' into sdkjfls-final

Transcript

| | Comment | Date | |


|


|


| | (main) | created main loop & timing control | 14 hours ago | | (main) | enabled config file parsing | 9 hours ago | | (main) | misc bugfixes | 5 hours ago | | (main) | code additions/edits | 4 hours ago | | (main) | more code | 4 hours ago | | (branch) | here have code | 4 hours ago | | (branch) | aaaaaaaa | 3 hours ago | | (main) | adkfjslkdfjsdklfj | 3 hours ago | | (main) | my hands are typing words | 2 hours ago | | (main) | haaaaaaaaands | 2 hours ago |

8
31
submitted 1 day ago by mac to c/git
9
114
submitted 15 hours ago by mac to c/comics
10
11
12
 
 

cross-posted from: https://lemmy.zip/post/19773171

What the fuck is up with the title? you may ask, well here is your answer:

Me: Give me a title for a post of riverwm on unixporn

Dolphin-Mistral:

Title: "The Majestic RiverWM - A Visual Symphony of Unix Purity"

UnixPorn is known to showcase the beauty and power of the Unix operating system. This time, we've got a visual treat for you all. Behold, the majestic RiverWM!

RiverWM is not just another window manager, but it's an intricate symphony that orchestrates your Unix environment in a visually pleasing and functional manner. With its minimalistic design, you can navigate through tabs with ease and enjoy the fluidity of this elegant solution.

From the gentle flow of text to the mesmerizing cascade of windows, RiverWM is truly a visual spectacle that pays homage to Unix's purity. It's not just about aesthetics; it's about embracing the essence of what makes Unix so special.

Join us as we dive into this captivating world of tabs and windows, where the beauty lies in the simplicity of each element. This is the RiverWM - a celebration of the Unix way of life!

I meant to do one of those minimal, out-of-the-way & no distractions customizations but could not resist temptation.

dotfiles

13
23
submitted 6 hours ago* (last edited 6 hours ago) by [email protected] to c/python
 
 

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]

14
 
 

(Alt: The Drake meme. Upper panel shows him hiding his face from "Securing Customer Data". Lower panel shows him smirking at "Securing Public API Documentation")

15
97
Funtoo Linux Ended (programming.dev)
submitted 1 day ago by mac to c/linux
 
 
16
 
 
17
 
 

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?

18
122
Code Reuse (8 May 2018) (programming.dev)
submitted 15 hours ago by mac to c/monkeyuser
 
 
19
20
24
submitted 14 hours ago by mac to c/jenkins
21
 
 

Based on answers to the following question:

Which development environments did you use regularly over the past year, and which do you want to work with over the next year? Please check all that apply.

Neovim is the most admired code editor in the 2024 Stacked Overflow Developer Survey

Source: https://survey.stackoverflow.co/2024/technology#admired-and-desired-new-collab-tools-desire-admire

22
9
Announcing TypeScript 5.6 Beta (devblogs.microsoft.com)
submitted 13 hours ago by mac to c/typescript
23
24
 
 
25
 
 

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

view more: next โ€บ