Hacker Newsnew | past | comments | ask | show | jobs | submit | jpfr's commentslogin

As the project is GPL’ed I guess they sell a commercial version. GPL is toxic for embedded commercial software. But it can be good marketing to sell the commercial version.

Edit: I meant commercial license


You don't need a commercial version, many projects get away with selling just a commercial license to the same version. As long as they have the rights to relicense this works fine.

In my company we used their stuff often. They have an optional commercial license for basically all their products. The price was very reasonable as well.

I think they might sell a commercial version as well. It makes sense with the GPL. But I can't really recall that well.

“GPL is toxic for embedded commercial software”

Why is that?


Many bare metal or RTOS systems consist of a handful of statically linked programs (one or two bootloaders and the main application), many companies would rather find a non-GPL library rather than open up the rest of the system's code. Sometimes a system contains proprietary code that may not be open sourced as well.

In the embedded world you don't really sell software you sell devices with firmware. Unless the library OS is AGPL, it doesn't matter too much.

It matters because:

1) you may not have the right to open the rest of the code on the system 2) although you make money when you sell devices, it also makes cloning trivial


Yes it matters a lot?

He probably meant viral or tried to make a deadly twist on virality

The "byte-code" coming from the query planner typically only has a handful of steps in a linear sequence. Joins, filters, and such. But the individual steps can be very costly.

So there is not much to gain from JITing the query plan execution only.

JITing begins to make more sense, when the individual query plan steps (join, filter, ...) themselves be specialized/recompiled/improved/merged by knowing the context of the query plan.


Sometimes, but not necessarily. It depends on the competence of the DEI "figurehead".

Some communities had a figurehead installed by committee who provoked negative reactions due to bad decisions. Sometimes the leadership arose naturally or just turned out very competent.


And frequently, the trans or gay or whoever is called incompetent and DEI regardless of "naturally" they rose and how good decisions they make. Their decisions arw bad faith twisted for ideological reasons.

And no one even worry about someone not rising naturally when he is not demographic, regardless of level of nepotism and good old boys network that got him in.


She's not a figurehead, she's trans herself


The pope is not a figurehead, he is Catholic himself!


[flagged]


They're criticising this statement, and not the person:

> More trans people means more inclusive programming communities.


[flagged]


[flagged]


You're off-topic too. The PH of PHP isn't an abbreviation of Pete Hegseth.


There are so many generalities and so much hand-waving in your comment that it's really hard for me to understand what situations or which people you're referring to. It would be much improved with some specifics.


MOPSA does abstract interpretation for both C and Python. It even works across language boundaries.

https://mopsa.lip6.fr/#features

It also has more abstraction domains than „just“ the type of objects.


The problems with C are real.

At the same time, the tooling has gotten much better in the last years.

Clang-analyzer is fast enough to run as part of the CI. Newer gcc also give quite a few more warnings for unused results.

My recommendation to the project is to

- Remove all compiler warnings and enable warning-as-error

- Increase the coverage of unit tests to >80%

That is a lot of work. But that's what is required for high-criticality systems engineering.


I hate to be the that OpenBSD guy, but "the people who do the work are the ones to decide how it's done". Yes, people are paid to maintain OpenZFS, but so far nobody is ready to pay for (or volunteer to) meet your bar.

Side note: OpenZFS already has an extensive test suite. Merely hitting a code branch wouldn't have caught this one.


Microkanren et al are nice! But it is becoming sort of a mono-culture where other approaches get ignored.

Before Microkanren, the rite of passage for logic programming was to build a Prolog using Warren's Abstract Machine (WAM).

https://direct.mit.edu/books/monograph/4253/Warren-s-Abstrac...


Well, the blog post has a Datalog implementation, so there is that.


They don‘t personally.

It’s typically a training event paid by the employer.


Microtype support for LuaTeX doesn't look so bad. At least on paper...

https://tex.stackexchange.com/questions/654089/microtypograp...


This is corresponds to Chapter 1.4 of SICM (Structure and Interpretation of Classical Mechanics).

Although SICM doesn't expose the underlying optimization method in the library interfaces. The path is represented as polynomial. I'd have to check if they also do gradient descent.

https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/bo...


Are you an engineer?

Come to Europe. PhD candidates are not treated as students. They are treated as adults, and get the salary of an (entry-level) engineer with a master degree.

You get paid a living wage to do a PhD in most countries actually.

If this is about (your) kids? Send them to Europe for higher education. Many universities with great international ranking have virtually no tuition. But they can be quite competitive in terms of getting a passing grade.


Thanks for the encouragement and sorry for my late reply!

Indeed. Chemical Engineer that has always loved programming + InfoSec to include it in some way, shape, or form on what I do...

I took a chance during Covid and was fortunate to land DevSecOps-y roles. Not a 10x engineer by any means, but I have been working my way through Knuth's TAoCP and slowly learning to love lower level.

Living now in the Netherlands, but didn't know that there were such types of benefits to studying a PhD.

I'll definitely need to have a good think (and budgetary assessments as well) ... having to pay rent in the Netherlands due to the (probably artificial) housing crisis feels like a seriously limiting factor to afford studying.


Can't go to Europe :( my partners are not engineers


Europe is not just for engineers.


Of course not. But you might get paid only a 50% salary for a PhD in the natural sciences (or liberal arts). Different fields have different cultures in that regard.


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

Search: