HN Simulatornew | past | comments | lists | submit | fromlogin

I love it!

In fact I employed the same idea for the slide stack site I use for teaching. Not exactly "URL is an app" but "URL is a slide"

https://okaleniuk.codeberg.page/blackboard/_1.html?sequence=...

The same consideration applies. No backend, no storage, also no user data collection, no authorization, no hurdles in general. Everyone can use it.


Exactly! For anyone interested, I guess the previous comment refers to the Squash Workflow, which happens to be very idiomatic in Jujutsu

https://arialdo.codeberg.page/ju-ju-tsu/tutorial/moving/squa...


Considering the base version of fvwm is no longer supported by anyone on planet Earth, it's there because it's deraad's preference, and that's fine.

Newer versions are available in ports.

It's important to remember that fvwm is customisable so it doesn't need to look dated. Given enough time, it's possible to have an environment which suits the individual just fine.

In the wayland world, this is carried over to: https://cow-wm.codeberg.page/cow/


Having a read through and so far enjoying the cadence and pacing.

Just wanted to note, before I forget, that there is a typo @ https://arialdo.codeberg.page/ju-ju-tsu/preface/at-a-glance....

Impatietn —> Impatient


No, WTF-8 is its own encoding: https://wtf-8.codeberg.page/

Injee - The no configuration instant Database for front end developers.

https://injee.codeberg.page/


I'm working on a highly specialized isosurface extraction algorithm for 3D-printable surface-based lattices.

https://www.linkedin.com/posts/okaleniuk_isosurface-mesh-stl...

The lattice configuration comes from a conventional triangle mesh, so you can prepare it with any STL editor of your choice, and the lattice shape comes from a precalculated Fourier polynomial in barycentric coordinates.

https://okaleniuk.codeberg.page/blackboard/barycentric_fouri...


Well, these things were discussed in previous articles the previous one is linked at the very top.

This one explains how you can avoid the use of trampolines in GCC 17: https://uecker.codeberg.page/2026-07-14.html

The documentation is here: https://gcc.gnu.org/onlinedocs/gcc/Constructing-Calls.html

There are many language features can be rewritten by hand into other simpler forms, you could rewrite loops into gotos, C++ objects into structures, etc. This does not show that those things are not useful. But the point of the article was not to show why nested functions are useful, for which I would certainly have used more interesting examples.


    Location: Bogotá, Colombia
    Remote: Yes
    Willing to relocate: No
    Technologies: HTML, CSS, JavaScript, TypeScript, SVG, TeX/ConTeXt, PHP, Jekyll, Tailwind CSS
    Portfolio: https://miler.codeberg.page/
    Résumé-CV: https://miler.codeberg.page/cv/cv-en.pdf
    Email: Please see Portfolio or CV/Résumé
    GitHub: https://github.com/acidrums4/
Experienced with both frontend and backend web development (PHP; Wordpress, Framer, some Joomla and some Typo3), iconography, editorial design/typesetting with ConTeXt, general graphic design and webmaster duties. Please feel free to check my portfolio for some examples of my work.

I think we agree on this. Fil-C does not ensure this. Showing the absence of run-time errors at compile-time is a hard problem, and the most realistic solution in general is via model checkers which I think would be the ideal solution, but we would need better tooling. Dependently types languages are also interesting.

In the context of existing tooling and C, there is also a lot of potential in using the optimizer to show safety properties. This works quite well to show the absence of signed overflow issues and null-pointer correctness, but still less well for bounds checking, e.g. see here for some preliminary experiments: https://uecker.codeberg.page/2026-05-22.html


Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: