skysight-inc/HackerNews huggingface dataset:
Extism tries to cover two completely different things in one package: 1) runtime 2) component model. And this is a problem. Those things should be separated because the component model would be useful independently, without any ties to the specific runtime environment be it WebAssembly or something else.

We already saw this playbook many times before. For instance, .NET. It has a handy set of system types that define the component model, but surprise, it can only be used in the realm of .NET which makes it unusable in, say, Go. Java - the same thing. C++ is the same. Everything more abstract than some primitive data types and plain functions just cannot cross the boundaries between the language ecosystems.

If we had a standard component model then it would allow us to create a library in one language and then use it from many other languages without any manual work. But all we have now is the old plain C-like API as a common denominator between them. It's 1978 all over again for the last 40 years. But I still believe that we can do better than that.

Instead of m * n complexity when every library is doomed to be manually ported to n languages, we may have just m + n complexity by leveraging the benefits of a standard component model. Just imagine the economic effects of such achievement.

The main problem of an imaginary de-facto standard component model is the danger of being opinionated. We should solve that, otherwise all such efforts will be doomed to fail from the beginning.

Data and functions are good starting points, and they are universal by the laws of math and algebra. That's why they are not opinionated. Consequently, they are used everywhere. We should build a similar formal apparatus for, say, objects to allow OOP interoperability between the languages once and for all.
Yeah, I think simple fundamentals are better for learning Japanese. Some JLPT books/genki for a foundation and going through primary source materials and making flash cards for things you don't understand.

On top of that, quickly attempting to speak the language with native speakers is VERY important. You can join a meetup group and there are even many online language exchange things for free now.
Chompie (https://twitter.com/chompie1337) does a great job on exploit writeups. Take a look at https://www.graplsecurity.com/post/iou-ring-exploiting-the-l.... She's got a few more blog posts at Grapl, but she's moved on to new things at xforcered at IBM.
It lost me at riverrun.
Haha wow, let me tell you about this really game-changing idea I have, it will make us billions, all you need to do is code it up and I will "run the business". HA HA

On a more serious note, why don't you just do the bare minimal on your job as they say (I heard it virtually impossible to get fired from an EU job anyway) and become a consultant? Test the waters to see how it feels to have someone tell you to code stuff up and if the grass really is greener.

Separately, why not just set healthy boundaries? Just block off your calendar for a "personal work meeting" and get what you want done, and then help the snowflakes.
It’s very hard to use CFR in Stratego because you can’t represent the hidden information in memory. In poker, the hidden information is a 52C2 vector, so you can easily pass it around. Not so in Stratego, so you have to do something else. RNAD has similar theoretical foundations though.
Seems my old Scout habits of always rinsing dishware out before use came in handy! It was typically for scorpions, spiders, or dust as a Scout, and the habit just stuck all these years. Looks like it may be helpful in other ways too.
Akebi for Android is pretty good. For a while I used the Nintendo DS Japanese dictionary (Rakubiki Jiten) for the ability to do stylus-based character recognition, which was less frustrating to use than the Windows IME pad feature. Akebi works reasonably well for that function.

I only just started learning Chinese, so I haven't looked at Pleco yet and can't really compare them.

I'll agree with some other comments that once you get into the area bordering intermediate and advanced proficiency there are many fewer resources, but by then you have a better idea of what you don't know, and and can use your existing base to sort of plot a path to fill those gaps.
I thought you were going to suggest little rat killing robots
Yes but actually no. While they may be able to install a bogus update, unless they also compromised the keys for verified boot the system won't boot if they change anything interesting as AVB has a hardware root of trust (typically).
Sure, blame the victims.

Are we sure the software using Variston doesn't have a fine print disclaimer?
> While normaly forall plays a role of the "universal quantifier", it can also play a role of the "existential quantifier" (depends on the situation).

> What is interesting is that in this case, forall plays the role of an existential quantifier (therefore the name of extension, ExistentialQuantification), unlike the role of universal quantifier it normally plays.

This isn't really true. While you can indeed use "forall" to write something that's equivalent to an existentially quantified statement <https://en.wikipedia.org/wiki/Prenex_normal_form#Conversion_...> (and that is how you use existential types in Haskell), that doesn't mean it's playing that role. That'd be like saying that the word "all" in "not all X are Y" is playing the role of "some", since that statement means the same thing as "some X are not Y".
Well, not exactly. There have been plenty of advancements in bridge / highrise construction over the past 100 years, but in practice we don't go around tearing down old infrastructure that is still functional because it was built with outdated designs and technologies, even when it could theoretically save lives. Buildings get "grandfathered" into meeting code all of the time.

Software is not terribly different from that. The cost of replacing foundational software is tremendous, much higher than just "adopting a new protocol".

Of course, new software should still take heed of this and try to improve.
As it turns out, I have been having fun with the plumbers guide to git [0]. While it's not a book, it is a way to understand the inner workings of Git . Think of it as first principles. The book "Pro Git" linked by @kgodey has a few chapters related to this "plumbing" [1]

[0]https://alexwlchan.net/a-plumbers-guide-to-git/

[1] https://git-scm.com/book/en/v2/Git-Internals-Git-Objects
> Their example screenshot shows their own VPN as the first result for "VPN". Reminds me of this other search engine.

They do not do this in reality. When you search for VPN, the results are organic.
No, that is not true. We never claimed to have an audited report until we actually had an audited report.

I asked if there was an auditor who would verify them after the fact to show that they were accurate, but we had had never claimed they were audited at that point.

Unfortunately auditors doing that is a months-long process, so we could only have them audit subsequent reports (which they have done).
I agree on the software. I used to love using iTunes and used it for playing all my music. Then they released the "Music" app on the desktop that just removed almost all the features I loved about iTunes and made the user interface drastically worse.
Exactly. I get how having the latest and greatest would be ideal, but scoffing at 4nm seems silly to me.
If you haven't checked it out, my other app Nihongo (https://nihongo-app.com) is good for native content reading and making flashcards automatically from words you don't know. :)
SEEKING WORK | Part-Time | Remote | Trouble Shooter / Researcher / Developer

Experienced IT professional (40 years), software developer, trouble shooter, researcher, public speaker, educator, writer and publisher, founder and small business owner, podcaster and licensed radio amateur (VK6FLAB).

If you have an odd problem to solve, get in touch!

Location: Perth, Western Australia, UTC+8

Remote: Yes

Willing to relocate: No

Technologies: AWS, Puppeteer, Docker, Debian, MySQL, git, GraphViz, Big Data and plenty more ...

Languages: JavaScript, Node.js, PHP, Bash

Also: Interviewer, Radio Presenter, Audio Producer, Voice-Over Talent, Technical Writer

Résumé/CV: https://www.itmaze.com.au/resume

LinkedIn: https://www.linkedin.com/in/onnobenschop/

Email: onno@itmaze.com.au
ActivityInfo.org | The Hague | Remote Possible | Java + GWT
ActivityInfo is a platform for humanitarian data management used by the UN, NGOs and Governments in more than 70 countries.

It is a hugely challenging web application with an outsize impact in the world.

Some of the work you would do includes:

* Add new data visualizations to our analysis toolbox
Work with our UX designer to build user interfaces that make complex tasks, like dashboard layout, simple for users

* Increase the performance of our system for large datasets

* Design and implement multi-level caching for complex analytical queries

* Improve conflict resolution during synchronization with our offline web client

* Extend and improve our formula language and its interpreter

* Develop a pipeline for automated analysis of user data sets

* Ensure that key tasks in the application are accessible to visually impaired users.

Our codebase is written in Java, both frontend and backend. We have high test coverage and use a highly functional flavor of Java to ensure that the compiler can verify as much as possible at build time.

https://www.activityinfo.org/about/careers/software-engineer...
Location: Remote (U.S. timezone)

Remote: Yes

Willing to relocate: No

Technologies: Swift, SwiftUI, iOS, macOS

Résumé/CV: https://www.linkedin.com/in/ronyfadel

Email: rony+hn [at] fadel.io

About: Experienced iOS/macOS software engineer with 10 years of experience as a team lead at Apple, Snap, working on system frameworks and first party apps (iCloud, Files, Spotlight, Extensions), and consulting for top YC startups as well as F500 companies.

Currently interested in part time (3 days a week) contract work (I'm an indie hacker with a "side" business that's growing and that I need to attend).

I can work on building your MVP or on your existing codebase. Clean code, sound architecture and best practices. My clients have been extremely satisfied with my work thus far.
We (38) had our first child this year, and if there's one thing I wish I had done, it's had kids earlier. Probably in my late 20s. We didn't have any complications during pregnancy but it would have given me 10 more years to see my boy grow and would be physically easier on my wife.

Financially it would have been more difficult, but by no means impossible. On the other hand, I probably wouldn't have taken the opportunity for a complete career change, which would have made me miserable.

So if you hit professional/romantic stability in your 20s, I'd strongly encourage you to have kids as soon as possible.
Yeah, and also powers Bing. So all you're doing is feeding Bing with search queries for their own algorithm.
It's not about the kids, it's about the parents.

In any public school, there's a segment of parents who were highly involved. They ran the fundraisers, volunteered on campus, and would probably raise hell if there were scandal or underperforming teachers.

Conversely, you've got other contingents that could care less what happens in the classroom as long as Junior makes the sportsball team, or solely see it as state-funded daycare. They're not contributing, they're barely even keeping tabs on the school.

If you offer a "better" school (private, charter, or even public-magnet), that's a huge lure for the "involved" parents. The default public school loses its unofficial support, causing a death spiral, as performance becomes poor enough that even indifferent parents take notice and flee. What does that mean for the kids who are there, typically for reasons beyond their control.

Even with vouchers, you can't force people to make good choices. Many people will choose the 'default' local school because they don't know how to shop for it, or it's the only choice which fits into their transport and economic constraints.

I also suspect from a social perspective, "school choice" is counterproductive. Some parents explicitly use the option to "protect their kids from dangerous ideas", and it's not usually because they're providing a higher-quality alternative outside the campus. "Selective" schools are also a great way to ensure the kids don't get exposed to kids of diverse backgrounds and social classes.
As it was explained to me by a lawyer relative (for my jurisdiction, perhaps the theory is different elsewhere), it is to reimburse the custodial parent for expenses that would normally be shared if the parents were not separated. That is, they would be spending the same amount on clothing, food, lifestyle, etc. for the child either way, and are being reimbursed for the non-custodial parent's share of the expenses.

This is why the non-custodial parent cannot demand their child support money be used for certain things, or to give money directly to an older child (teenage or so) who could in theory manage their own funds. The money has already been spent by the custodial parent and they are simply being made whole with child support funds.

(I have heard of many cases where parents become unreasonably angry about not being able to dictate how child support money is spent, to the point of being censured by the judge. And similarly petty / spiteful behaviour e.g. parents quitting their jobs to try and reduce their child support obligation based on their income, and then promptly having the judge verbally tear strips off them - and not reduce the child support as it based off of their demonstrated, not current, earning capacity)

It doesn't really matter if both parties are obscenely rich and the child support will probably never matter in any meaningful sense. The custodial parent should still not be out-of-pocket due to the separation.

Family law is a wild place sometimes :)
Northwest Arctic Borough Search and Rescue Triggered by iPhone Satellite SOS
Or a half teaspoon of citric acid powder.
I will happily defend everything I’ve said in a courtroom if necessary.
Every human life is directly or indirectly impacted by software. Software controls transport, food and energy production, and all human communication. If all software suddenly stopped working, society would collapse instantly and hundreds of millions of people would die within a year.

The attitude "it's just computers, nothing truly important like medicine" might have been viable 40 years ago, but it certainly isn't anymore.
To me it’s the same conundrum as for the iPad: the hardware is really well made, but it stays very conservative on the form factor, and the software doesn’t take full advantage of it.

For the iPad it’s obvious, for the mac:

- third party OS support non existent (Asahi linux is good, but nowhere near completion), no dual-boot for windows anymore

- unix compatibily has fallen behind with the Apple Silicon move

- GPU capabilities unavailable for existing windows/Linux frameworks (gaming and ML impacted)

- kernel extensions getting deprecated impacts many hacks that were QOL improvements

- no touchscreen (you may want it or not, but arguably it has potential for use)

- no flip screen (goes hand in hand with the touchscreen)

They could solve these in the near future, and none of these are individually deal breakers, but cumulatively these are enough limitations that a worse hardware platform coming with better software becomes a viable choice in many cases.

Personally I’m planning moving away to probably a Chromebook + linux or windows laptop when my current setup finally dies.
Standard MIT licensing's attached to the source code itself.
If your point is one must understand 100% of computing before being hired as a software engineer none of us would ever be hired.

You can produce value long before you understand everything there is to know, of course, and a lot of being a software engineer is being able to problem solve on the job.

BloomTech exists to help people get to the point they can do that and create value. No school can pretend to teach everything there possibly could be to know about how software works.
AMD dropped the ball real bad
The first link in that article (that the law in Delaware is clear about corporate purpose) is to the author’s own writing elsewhere.

Not that it makes him wrong, but citing yourself is not a great look, IMO.

I appreciate the link.
Apple's evil AppStore monopoly should be dismantled by the lawmakers. Users should own the device, not rent it from Apple. Until the users are in complete control which apps they can run, it is rent, not ownership.

For people happy with the current state of affairs: nobody will be forcing you to install third party stores or sideload apps.
$27B would melt a lot of automatic weapons. Maybe all of them.
Yeah, I hate everything web3 and still think Apple is being ridiculous.
To do the frontend work with more recent tech like websockets that you're just now learning about.

In all seriousness, considering the amount of bootcamp grads now at all (yes all) levels of the industry, this is an out of touch take. They're getting hired to work hard at entry level software engineering jobs, and most of them quickly move beyond that.
From time to time there will be spans of a few days where I'm always running late, and the thing that snaps me out of it is getting a good night's sleep.
Legitimate notifications from web apps are still useful. (e.g. being mentioned in real-time chat)

The problem is the rampant spamming of the permissions prompt itself and ensuing inadvertent acceptance. So the practical solution is to close that vector. Instead of the active popup, use only a passive menu entry or an unobtrusive icon, like how it already works for mailto handler registration.
Most non-small tech companies. I work for a medium-sized non-tech company where the total resource spend on the apps for our customers doesn’t amount to tens of thousands a year.
You can generate video a lot more efficiently than frame by frame. For example, you can generate every other frame and use something like DLSS 3.0 to fill in the missing ones.
"Memory safe to me means -> it just can't happen. That's it."

I'd suggest rethinking this definition. You are always at the mercy of the lower-levels of your system, both in the runtime and the compiler. By this definition, nothing is memory-safe, since it is possible for your code in a "memory safe" language to encounter memory-safety issues in its runtime or the operating system.

Memory-safe means the bug won't happen in YOUR CODE. If your safe Rust code calls a library that uses unsafe incorrectly, yes you can encounter a memory-safety issue. But the memory safety bug is in the library, not your code. It is even possible to encounter a memory-safety issue in Rust if you never use unsafe, but in that case the memory safety bug is in the Rust compiler, not your code.
I've hired several developers straight out of dev boot camps and I've had good experiences with them. I wrote about that here:

http://www.smashcompany.com/philosophy/the-grace-hopper-divi...
It's bad for the rest of us customers. a) more effort goes into fraud, more risk of annoying false positives, b) easy to max out resource utilization which shortens hardware lifespan, c) boom and bust industry makes planning harder which means they can't run on as predictably low margins. This all increases costs and makes free tiers harder to offer. Miners are an easy group to say no to because they don't overlap much with the rest of the software business world, so the reputation hit is small.
Ultra-fast compact EV charger has an integrated battery
https://github.com/scandum/blitsort/blob/main/src/blitsort.c...
Is the exact definition important? The point is, they developed a thing and integrated into their core product. BERT allows them to handle conversational queries much better than before.
Or with Kagi?
Your information is outdated. gorhill also released a version of uBlock Origin that runs just fine on Manifest v3.
This isn't primarily about replacing existing software. There are plenty of engineers that argue for continuing to use memory-unsafe programming languages. New projects written in C are being started every day.

This is the exact equivalent of physicians continuing to use unsafe medical procedures, and what's worse, many of those engineers defend their dangerous practices by claiming there is no real danger in the first place if the programmer is "smart enough".
The raccoons that visit my yard are pretty cool with me being around and I can watch them from fairly close. I don’t think they’d be anything like pets but I like seeing them around.

They’re curious about me, and as long as I don’t stare or move too quickly, they just dig in my garden (they mostly seem to eat these large beetle grubs) and wrestle each other.

I wouldn’t interact with them, but I’m glad they aren’t afraid of me anymore. Years ago I accidentally cornered one in my shop and it let out the most terrifying guttural noise I’ve ever heard from such a small body. These days I have a feeling they would be uncomfortable but not in attack mode. I was about 5 feet from one while putting trash in my bin a few weeks back and it just watched me from around the corner of my shed. When I moved here, I either wouldn’t have been given the chance to see it there or it would have scrambled up a tree.

Overall I think they’re pretty laid back animals, but we tend to scare the hell out of them.

Watching the babies wrestle in the grass is a real joy. It’s also incredible fascinating to watch they way their hands work. They aren’t as dexterous as us, or perhaps I should say not as generally so, but they have a kind of dexterity that is almost entrancing at times. There is a lot of spatial awareness and capability in their movements.

As long as they aren’t in my house, shed, or shop, then whatever. I’m happy to share some space. But yeah, definitely not pet material for me.
Playing team sorts I found to be a great way to take a different cross-section of life and develop semi-stable relationships over a long period of time. My adult baseball team had me, a doctor, a DJ, an auto body tech, a couple factory workers, a landscaper, a gym manager, a teacher, a cop, and a few other people who came in and out. I loved playing, but I also liked the different worlds intersecting aspect.
Can you elaborate? It seems definitionally straight forward to me, so I'm not sure what I'm missing.
more like sleeper cell agents
Location: San Diego, CA

Remote: Yes

Willing to relocate: Probably not.

Technologies: C/C++, C#, Python, Java, Linux, Embedded, AWS

Résumé/CV: https://docs.google.com/document/d/e/2PACX-1vQ1TgLUEp1EywROO... (full resume available upon request)

Email: armchairdev@protonmail.com

11 years of experience as a software engineer, with 5 of those being a team lead. Recent work includes software on AWS for automation of backend business processes. Before that, I worked in R&D for projects related to CubeSats, manufacturing, and maritime domain awareness.

BS/MS in Computer Science with a focus on AI.

I'm looking for opportunities to learn and build new and interesting things at an organization with an innovative R&D environment. My primary areas of interest are artificial intelligence, scientific applications, and space systems.
I’m not sure it’s proven China can build better products under their system than countries with freedom. Maybe only DJI are doing this in the consumer space today. The West/Japan/SK/Taiwan are still massively ahead in building the more complex components that China then assembles.

It appears the West is slowly untangling their economies from Chinese dependency and about 1/3 of stuff is made there today. With zero covid making them an unreliable manufacturing partner I doubt this will increase in the short term. I am pretty sure high end fabs will be returning to the west very soon and America could not have a better competitor than China to push them forward to new heights. I would bet on free countries producing most on the innovation over the next 20 years.