Diris

From the FAQ[0]

----------------

helloSystem: We have been in fact working with helloSystem! As some people have noticed, Release 0.2.X was basically helloSystem. (That was the second PoC. The first had been built on vanilla FreeBSD and had no GUI at all.) Under the hood, however, release 0.2.2 has a partial implementation of Cocoa, a modified compiler & linker that support frameworks, and several other additions that make it distinct. We have similar philosophies, and share technology and cooperate where it makes sense (e.g. Filer), but the project goals are quite different.

helloSystem wants to create a computer that is simple to use, open, elegant, small and fast. Older Mac OS X and Classic are an inspiration to what that might look like, but they are not explicitly trying to create an open-source Mac. In fact, they're mostly avoiding Objective-C and XML plists and other Mac technology in favor of simpler and/or more modern ways (e.g. Qt, C++, JSON).

ravynOS is explicitly trying to be compatible with Mac software at a source and eventually a binary level, without losing support for FreeBSD/X11 software, and to implement a very similar experience on the desktop and at the command line. For example, on ravynOS you can type open -a MyApp image.jpg and have image.jpg open in MyApp. You will find things in (mostly) the same directories as a Mac, like ~/Library or /System/Library/Fonts. This project is not as concerned about keeping the OS as small and simple as possible, and more concerned about making it clean, secure, performant, and compatible - implementing many of the features I use daily in macOS while skipping the lock-in and "tabletization" of the computer.

Some of the more technical differences between ravynOS and hello are:

- ravynOS uses a patched kernel with support for Mach, just like xnu, and a compiler suite that supports Frameworks and has preliminary support for Mach-O as well as

- ravynOS has a package repo with software built to "standard" paths like /System, /etc, and /usr instead of the FreeBSD repos which are built into /usr/local

- ravynOS desktop is being written from scratch with Cocoa, Mach, and OpenGL on a Wayland compositor, where hello's desktop is based on openbox, Menu and Filer (originally from LXQt) plus other lightweight services for notifications (dunst), screen color temperature (redshift) etc

- helloSystem uses a simplified .app structure whereas ravynOS uses real Bundles for .app

- helloSystem tends to use typical Unix paths and files, while ravynOS is moving towards typical Mac paths and files

- ravynOS tries to provide the same APIs as macOS

[0] https://ravynos.com/faq.html

The code is open source, the models are not.

I was talking about hardware, but thanks.

Please do list alternatives! Beside FreedomBox and PiBox, I don't know of anything in the same space.

Isn't that pretty much mozilla thunderbird?

That sounds like a blog post you could submit to get more visibility :)

>Maybe a Mastodon-derivative which deemphasizes the feed, but lets you design your personal page more creatively would be a cool thing.

Like this? https://jasonrobinson.me/ (uses https://socialhome.network/)

This is probably the easiest way. It uses wireguard instead of openvpn but I'm pretty sure it's better https://github.com/angristan/wireguard-install

Maybe Friendica[0], diaspora[1], or something else there[2](filter by macro) [0] https://friendi.ca/ [1] https://diasporafoundation.org/ [2] https://fediverse.party/en/miscellaneous/

> - routing master windows audio through a compressor/limiter when listening to videos or streams that have poor leveling

If anyone wants to do this on linux, there's easyeffects[0]

[0] https://github.com/wwmm/easyeffects

Man it'd be so great to be able to run a home server on an old phone, kinda like a raspberry pi but with a lot of accessories included.

Veritasium has a very good video on the subject.[0] Sources are in the description but I might as well post them here.

Pashler, H., McDaniel, M., Rohrer, D., & Bjork, R. (2008). Learning styles: Concepts and evidence. Psychological science in the public interest, 9(3), 105-119. — https://ve42.co/Pashler2008

Willingham, D. T., Hughes, E. M., & Dobolyi, D. G. (2015). The scientific status of learning styles theories. Teaching of Psychology, 42(3), 266-271. — https://ve42.co/Willingham

Massa, L. J., & Mayer, R. E. (2006). Testing the ATI hypothesis: Should multimedia instruction accommodate verbalizer-visualizer cognitive style?. Learning and Individual Differences, 16(4), 321-335. — https://ve42.co/Massa2006

Riener, C., & Willingham, D. (2010). The myth of learning styles. Change: The magazine of higher learning, 42(5), 32-35.— https://ve42.co/Riener2010

Husmann, P. R., & O'Loughlin, V. D. (2019). Another nail in the coffin for learning styles? Disparities among undergraduate anatomy students’ study strategies, class performance, and reported VARK learning styles. Anatomical sciences education, 12(1), 6-19. — https://ve42.co/Husmann2019

Snider, V. E., & Roehl, R. (2007). Teachers’ beliefs about pedagogy and related issues. Psychology in the Schools, 44, 873–886. doi:10.1002/pits.20272 — https://ve42.co/Snider2007

Fleming, N., & Baume, D. (2006). Learning Styles Again: VARKing up the right tree!. Educational developments, 7(4), 4. — https://ve42.co/Fleming2006

Rogowsky, B. A., Calhoun, B. M., & Tallal, P. (2015). Matching learning style to instructional method: Effects on comprehension. Journal of educational psychology, 107(1), 64. — https://ve42.co/Rogowskyetal

Coffield, Frank; Moseley, David; Hall, Elaine; Ecclestone, Kathryn (2004). — https://ve42.co/Coffield2004

Furey, W. (2020). THE STUBBORN MYTH OF LEARNING STYLES. Education Next, 20(3), 8-13. — https://ve42.co/Furey2020

Dunn, R., Beaudry, J. S., & Klavas, A. (2002). Survey of research on learning styles. California Journal of Science Education II (2). — https://ve42.co/Dunn2002

[0] The Biggest Myth In Education https://www.youtube.com/watch?v=rhgwIhB58PA

That reminds me of that nice article about how to do that kind of thing in python

[0] The unreasonable effectiveness of f-strings and re.verbose https://news.ycombinator.com/item?id=31457188

Like this?

Zoom in up to 1.5x and pan always at center of picture (not tested):

  import ffmpeg
  (
    ffmpeg
    .input(
        '\*.jpg', 
        pattern_type='glob', 
        framerate='1/5'
    )
    .zoompan(
        z='min(zoom+0.0015,1.5)', 
        d=700,
        x='in_w/2-(in_w/zoom/2)',
        y='in_h/2-(in_h/zoom/2)'
    )
    .output('output.mp4', pix_fmt='yuv420p')
    .run()
  )

stitching [0], [1], and [2]

[0]https://github.com/kkroening/ffmpeg-python#quickstart

[1]https://kkroening.github.io/ffmpeg-python/#ffmpeg.zoompan

[2]https://ffmpeg.org/ffmpeg-filters.html#Examples-133

EDIT: added options for slideshow style

So basically this[0] with a crossfade[1] between frames? Which would be (by stitching examples together)

  ffmpeg -framerate 1/5 -pattern_type glob -i '\*.jpg' -pix_fmt yuv420p -filter_complex xfade=transition=fade:duration=2:offset=2 out.mp4

(1 jpg image per 5 seconds with a 2 seconds crossfade in between)

[0] https://trac.ffmpeg.org/wiki/Slideshow

[1] https://ffmpeg.org/ffmpeg-filters.html#xfade (only available in >4.3)

Law making is kinda logic programming[0]. Someone even wrote the constitution of Japan in prolog ! [1]

[0] https://en.wikipedia.org/wiki/Logic_programming

[1] https://github.com/bitlaw-jp/the-constitution-of-japan

What would that imply actually?

I think that's what tilt5 is trying to do https://www.tiltfive.com/

This! I talked about it in my comment but it ended up with me rambling about my idea of the game. I'd definitely be the slow ritual kind of guy haha.

It's been on my radar for quite a while, guess I'll have to try it out!

A Fantasy RPG where you can program magic spells.

Start with some foundational spells, traditionally that would be elemental spells but one could imagine those spell based on the physics engine to manipulate objects. For example, the three first spells could be Force, Mass, and Acceleration(perhaps having some cryptic word associated with them). Just using a keyword might apply a "buff" to your character, making it "stronger", "heavier", or "faster". The fun part of course would be to compose them e.g. `acceleration . mass` to inflict damage by ramming into an opponent.

I imagine the skill tree to be divided into language features and "spells"(those being associated with elements of the underlying engine). As an example, the player could unlock "variables" on one side and "Other", the ability to apply effects to objects other than yourself, on the other side. Everything limited by the resources of the player. Maybe a "magic book" system with limited space forcing you to golf your spells to put more of them in one book (therefore having more spell available out of your workshop). Engine-related spells would be limited by the player's mana. Spells could scale via the level of fundamental spells composing them. Self-applying spells could have a constant cost, while "other-applying" spells could raise the amount of mana required depending on the distance.

Actually, I don't think I would even want to fight in that game so there should be a way to level up by creating spells alone. Maybe link "XP" to an in-game object, "mana stone"-like, and make it available by fighting monsters and quests or merchants Building some kind of github-like market of spells outside of the game would create a nice community feel. The game could perhaps be multiplayer, making an in-game spell market more relevant, but the potential to break the game (figuratively and literally) makes that very hard to imagine.

I'd make that but I have to start "finishing" side projects instead of just starting new ones. Also I don't know anything about game dev

I could see 1 and 3 not being too hard to build using treesitter[0] Too bad, I don't have time to build it

[0] https://github.com/tree-sitter/tree-sitter

I love that app, I'm so disappointed

My tool of choice for ER diagrams is usually dbmain [0], pretty ugly but very powerful

[0] https://www.db-main.eu/

Wow! That was very informative, thanks!

You can easily import data into Firefly III using their data importer[0] and Nordigen API or Spectre (usage is explained in [0]). Doing so automatically is just a matter of running a cron job

[0] https://docs.firefly-iii.org/data-importer/

Providing the link for those interested

Geniuses of the past were aristocratically tutored https://news.ycombinator.com/item?id=30698624

I'm not saying you're wrong but maybe this'll be interesting to some.

A New Era: Intelligent Tutoring Systems Will Transform Online Learning for Millions https://arxiv.org/abs/2203.03724

I've seen multiple people pointing this out, but completely ignoring the next sentence.

> I find it much easier to formally verify things correct than to test that they're correct.

I don't have anything else to say but I wanted to put it here for context.