thesuperbigfrog

7 ms·

61.
by thesuperbigfrog 1y ago
Prototype in Python with PLY ( https://github.com/dabeaz/ply ) or you could try Raku ( https://raku.org/ ) which has nice functionality for building grammars. After you know what you want to build, you cou
62.
by thesuperbigfrog 1y ago
You could look at BeOS to get an idea and then try to extrapolate and adapt your estimates for today's market and circumstances: https://en.wikipedia.org/wiki/BeOS
63.
by thesuperbigfrog 1y ago
All of the money spent on AI hardware and training models needs ROI.
64.
by thesuperbigfrog 1y ago
>> I never used Lotus If anyone is curious, there is a Linux port of Lotus123: https://github.com/taviso/123elf
65.
by thesuperbigfrog 1y ago
Giving feedback and helping school instruction to be relevant is not "rebellion". Many school districts will use Parent-Teacher Associations and course feedback forms that students complete at the end of a course to help to improv
66.
by thesuperbigfrog 1y ago
This is a poor analogy. Orchestras play music that was written and arranged by a composer. The musicians in the orchestra do not generate music solely based on the pieces they have studied and direction from the conductor. They play the m
67.
by thesuperbigfrog 1y ago
>> It's farther along than quantum computing at solving real problems, for instance, it can factor "15". Dogs can also factor 15: https://eprint.iacr.org/2025/1237.pdf
68.
by thesuperbigfrog 1y ago
>> For simple, there is always Clojure "Simple Made Easy": https://www.infoq.com/presentations/Simple-Made-Easy/ Agreed, Clojure is concise, expressive, and relatively simple.
69.
by thesuperbigfrog 1y ago
Does Maru OS run on the current generation of devices? https://maruos.com/downloads/ shows releases dated 2019.
70.
by thesuperbigfrog 1y ago
Musq looks very friendly. I will try it in a future project. Thank you for sharing it!
71.
by thesuperbigfrog 1y ago
I used SQLx with an SQLite database and ran into connection pool problems that would cause the database to be unexpectedly dropped. The issues I saw seem to be related to these issues: https://github.com/launchbadge/sql
72.
by thesuperbigfrog 1y ago
>> if someone wrote an application in Ada in 2025, I would find that a bit anachronistic. I suppose that Nvidia's use of Ada and SPARK for self-driving vehicles is anachronistic: https://www.eenewseurope.com/en&#x
73.
by thesuperbigfrog 1y ago
Most C and C++ compilers use similarly named macros: https://gcc.gnu.org/onlinedocs/cpp/Standard-Predefined-Macro...
74.
by thesuperbigfrog 1y ago
gnatformat is a handy tool for formatting working Ada code: https://github.com/AdaCore/gnatformat I had forgotten about the three spaces for indentation. Yuck.
75.
by thesuperbigfrog 1y ago
If you are playing with Ada, be sure to try out Alire, a 'Rust cargo'-style tool for Ada libraries: https://alire.ada.dev/ One thing to be aware of is that GNAT is part of GCC: https://gcc.gnu.org/
76.
by thesuperbigfrog 1y ago
Termux turns my Android phone into a programmable pocket computer. https://termux.dev/en/ Please give it a try and if you find it useful, donate.
77.
by thesuperbigfrog 1y ago
Standard assertions certainly are better than keeping the little proofs only in your head. Many Design-by-Contract implementations are nicer than standard assertions because they help to express intent better and easily refer to the 'o
78.
by thesuperbigfrog 1y ago
Why not include little proofs in the code when you can? Several programming languages and libraries support Design-by-Contract ( https://en.wikipedia.org/wiki/Design_by_contract ) which lets you specify preconditions, po
79.
by thesuperbigfrog 1y ago
How did Ada jump from a relatively low ranking in the Tiobe index to such a high ranking? Is there a sudden interest from somewhere? Is it being adopted for some new use case?
80.
Ada, other older languages vie for top spots in Tiobe language index(infoworld.com)
3 points by thesuperbigfrog 1y ago|2 comments
81.
by thesuperbigfrog 1y ago
I would like to move my email to a good email provider with actual customer service. Free email providers get paid by selling your data or stuffing your inbox with advertising. Many free email providers also have terrible or non-existent cu
82.
Ask HN: Who Is the Best Paid Email Provider? Why?
24 points by thesuperbigfrog 1y ago|48 comments
83.
by thesuperbigfrog 1y ago
Exposing a C ABI for a Rust library is perfectly viable and a nice way to make cross-language bindings. cbindgen is the recommended crate to generate a C interface for your Rust library: https://github.com/mozilla/cbind
84.
by thesuperbigfrog 1y ago
It seems that every generation thinks they can build a utopia city based on highly held ideals: https://en.wikipedia.org/wiki/List_of_American_utopian_commu... Most utopia cities were founded by religious groups. Free
85.
by thesuperbigfrog 1y ago
Maybe this is more of a Debian question since a lot of Ubuntu packages come from Debian, but what process is used to deprecate unmaintained packages? If a package is abandoned (i.e. there is no current maintainer), how is it determined if a
86.
by thesuperbigfrog 1y ago
Vim and related vi-based editors have a built-in 'grammar' for editing text that is concise: https://stackoverflow.com/questions/1218390/what-is-your-mos... With a bit of practice, vim/vi-style edit
87.
Problem with Vim is that you don't grok vi(stackoverflow.com)
5 points by thesuperbigfrog 1y ago|0 comments
88.
by thesuperbigfrog 1y ago
Corrected. Thank you. Autocorrect incorrected it for me.
89.
by thesuperbigfrog 1y ago
>> Why do CS doctoral candidates have such a fascination with typesetting? Probably because Donald Knuth created TeX and Leslie Lamport created LaTeX. Two of the greatest minds in Computer Science created the tools and used them to wr
90.
Radio pulses detected coming from ice in Antarctica(psu.edu)
3 points by thesuperbigfrog 1y ago|1 comments

More ›