skysight-inc/HackerNews huggingface dataset:
These are valid concerns, arising mostly from inadequate implementations and a lack of modern features in early (and also current) Prolog systems. In the past 20 years, many new language constructs and implementation improvements were introduced and have become widely available in newer Prolog systems to address precisely these problems among others.

For example, inspired by pioneering systems such as XSB Prolog, modern Prolog systems such as Scryer Prolog support alternative execution strategies, internally implemented via delimited continuations as described by Desouter et al., and thus prevent many infinite loops that arise with the default execution strategy:

https://www.ijcai.org/Proceedings/16/Papers/619.pdf

As another example, in 2016, Neumerkel and Kral introduced if_/3 and related predicates, which are now available as library(reif) in Scryer Prolog, and also available for SICStus with advanced compile-time expansions:

https://arxiv.org/abs/1607.01590

As yet further examples, better indexing techniques such as JIT indexing and Scryer Prolog's first instantiated argument indexing help to improve determinism and efficiency automatically, and much improved internal string representations allow efficient parsing of large amounts of data with Prolog's built-in grammar mechanism that is now being drafted for standardisation. Constraints such as dif/2 are now also becoming more widely available after decades of being largely ignored by implementors.

As long as we keep to the pure monotonic core of Prolog, conjunction and disjunction are indeed semantically commutative, and different execution strategies are applicable. Of course, using !/0 and other constructs that rely on specific execution strategies forfeits this advantage.
Courts are indeed famously level playing fields and easy and cheap to access for the common man.
That's a piss poor take. I see the "DIGITAL RIGHT TO REPAIR COALITION" on the list, shall we assume they were also against the right to repair?
I am not a lawyer, so this is not legal advice.

I think the correct way would be to include a LICENSE.txt file in each subdirectory of the individual datasets with '"<dataset title>" <link to dataset> by <author> <link to author> licensed under <license> <link to license text>' and any additional attribution instructions mentioned by the author(s), e.g. BibTeX citation instructions or additional links to institutions, web profiles, etc. The authors should be referred to by their preferred name instead of their full name if they wish so. This assumes that the entire subdirectories belong to the same author. If individual images are by different authors, things might be more complicated.

https://wiki.creativecommons.org/wiki/best_practices_for_att...

All these little details might sound petty, but there have been many lawsuits in Germany where photographers uploaded images under some creative commons attribution license and then later sued people for using their images if they forgot to include the title in their attribution. Thankfully, those lawsuits have mostly died down, but it is probably better to be safe than sorry.
From the site:
Notice: sr.ht is currently in alpha, and the quality of the service may reflect that.

:(

I miss Kiln from FogBugz (yes, it was years ago)
I have been a professional software developer since the late 80s. I was getting a bit jaded and set up my own 1-man software business in 2005. I do all the programming, testing, documentation, support, marketing and sales. The variety of work, the freedom to do what I want and the fact that the financial rewards are directly linked to my work all help to keep me engaged. Interacting directly with my customers also helps. I have stuck with the same basic toolset (Qt and C++) which have grown with me.
You are correct in your assessment, it's over. You might as well go and work at McDonald's cause that's where people like you who don't go to top schools belong.
This reminds me on some weird linux/mac/unix tool people used in a project. It changed the PATH (or more generally the ENV) based on the current working directory, so they could easily manipulate the developers shell from the project git repo. I found this terrible and fascinating at the same time. I don't remember the name of this tool. Who does?
I take it they are referring to Milton Friedman.
How does it compare to Fedora Silver blue? Apart from being based on Ubuntu.
We just need to get kids away from their parents and everyone else they know. Then they'll finally be safe! Maybe those nice Mongolians will take care of them...
I agree. A solution not that great to this but still better than full remote alone is to find a coworking place and start relationships there. You won’t find all the mentorship and it will feel like they can be coworker but unfortunately you will never work with them. But you will still be able to have some social interactions, talk about tech, ask questions, etc…
Half a foot (or a half foot), but 0.5 feet
If the cryptography and its implementation is perfect, and you choose a high entropy, well-guarded secret, then encryption is enough on its own. However, being a security researcher, I observe that this is not how the world works in practice, and so encryption is only a single layer in a defence in depth approach. There's little reason to destroy another important layer by centralising all the passwords in a single lucrative bucket.

An obvious way to attack typical cloud password managers is via their web apps, which is an endpoint attack and hence bypasses the encryption. This type of attack is much harder for native, offline password managers.
your niche is exactly the reason why you can get away without using Amazon.
https://direnv.net/ possibly ?
dotenv? https://github.com/ohmyzsh/ohmyzsh/tree/master/plugins/doten...
Almost every new car uses libcurl. You can find curl in TVs, gaming consoles, smart watches, smart phones and so on.
I don’t have plans for a native compiler right now. (But just to clarify: note that the interpreter runs on these systems just fine; the web version is only one of the supported platforms.)

What I have in mind at the moment is building a better IR and VM, along with a simplified memory model, so that the “assembly language” can be inspected from within the environment and so that PEEK and POKE can become a reality. It’d be nice to have a simplified "full stack" machine in which to play with all levels of abstraction—from high level programming to its assembly counterpart.

But compiling to WASM has also crossed my mind… so I’m not yet sure what I’ll do.
Correction, it's Bouffalo.
Just finished installing it in a VMware Workstation VM:

* The installer lags unless you temporarily disable 3D acceleration until open-vm-tools are installed

* The Norwegian keyboard layout defaults to Dvorak, which I suspect isn't the most common one ;)

* The default installer resolution was a tiny 800x600. Click Activities and type Displays to get to the relevant settings.

Now for the more exciting stuff, like testing if Tailscale works out of the box.
Entirely predictable if you follow the history of the same protections in the EU. Many get out clauses and varying interpretations of the legislation meant lots of weaselling out claims. Many things were “extraordinary circumstances”

There have been various court cases to clarify and strengthen the regulations.

It will take another 5 years probably for the Canadian regulations to have a serious effect which gives the airlines plenty of time to shaft customers in another manner.
I'm a beginner at prolog, but i always found the logic explanation unsatisfying. I viewed it more as - imagine you construct a graph. Some of the verticies you construct have side effects, then to execute a program you run DFS on the graph you made.
I don't follow. If we had the saturated ADD instruction supported in hardware we wouldn't have to deal with saturation logic in software. Compiler would simply be able to emit SADD instruction whenever we asked for it to and would be given a chance to spit out more optimized code because that would essentially be a branchless code.

Reality though is that we don't have such hardware and we have to deal with it in software, so, instead of a single instruction emitted there will be a bunch of them, and of which there will be certainly branches involved.
What exactly is novel about Go? The only thing that comes to mind is go routines, but it is not integrated well in the language for several reasons, and concurrency is just a very hard problem. Otherwise it is the exact same thing as the litany of basic managed languages.
Assuming one got a Master, 35 translates to 10+ years of work experience.

I kinda understand why. Programming as a craft, the excitement of mastering it, plateaued around 5 years into this profession. Not saying there isn't specific domain that requires many more years, even life long devotion, but for the generic bunch, that would be it. The challenge is going away, and mundaneness of labor kicks in, and you start questioning yourself, what is the point of all this?

For me, I pivoted to some of author's recipes of reading technology history to reignite that romantic aspect, and it does work. Still, I think courage is needed to switch track and makes yourself uncomfortable every now and then, in new fields of tech. I was working in AdTech space, now I am in more pure ML application space, and I am happy I made the jump, and it is pretty rewarding.

Regardless, for fellow engineers, and I would say, to embed the curiosity for ever new technology into your belief system is critical, and it takes time to realize curiosity is indeed a blessing rather than a giving.
Regarsing the standalone executable, do I only have to compile it once to be able to run on Win, Linux & Mac? Or do I have to compile it on each OS?
Why wouldn't it, its just Ubuntu
I love this description of the impact of the tool:

> Being able to type sd new foo command instead of vim ~/bin/command, typing the shebang, trying to run it, realizing I forgot to make it executable, running it again… it’s made my life slightly better. And because it’s so easy to save snippets for later, I find that I’m much more likely to do it – and a lot less likely to find myself combing through ctrl-r a few months later.

> Otherwise, you know, it’s not lifechanging. It won’t help you to appreciate the smaller beauties all around you. You’ll still wake up feeling groggy.
Probably more user friendly
Why is this here? Was he into startups and tech too?
I'm a newbie regarding computers and mathematics, but would it be possible to construct an ASN.1 privkey structure that would be interpreted by different libraries as different privkeys?

Could this be abused in any way?

What implementations use the legacy approach of using $d$?

Do TLS keys/x509 express the same phenomenon?
I think more independence in childhood would be great.

However, my theory is that the rise the mental health issues in young adults these days are the problems or people who've spent too much time with their faces in media and not enough in reality.

The nature of the affliction was something one would commonly see in nerds, and now nearly every kid is a nerd. Too much of their cognitive development was formed while engaged with media, and as such reality can seem hopelessly dismal and depressing.
> Could you give me some examples of those cycles? Genuinely curious what you mean.

A large part of the work surrounding the Docker ecosystem has simply been re-creating features that were already around in the JVM ecosystem 10 years ago. In the same decade, we also had the move from server-rendered webpages, to browser-rendering, back to server-rendering.
Are Kindles / Kindle store that much of a moat anymore? Because now everyone has a good smartphone and can read on that using whatever app. For a niche book I seek out I am happy to install a specific non kindle reader.
Direnv is such a great tool. I use it in all of my projects.
"All I'm saying is that, by their very nature, if a conspiracy theory didn't look like it was true to its audience, it wouldn't have much of an audience..."

I don't think thats allways true. For example cremation masses in concentration camps during WW2 was so horrible that noone sane believe it. So then come denial not only of this information but also those who spread it. Similar phenomenon we se nowdays. Audience comes when those who spread those information (Im not judge validation of it) are suppressed. This makes interest.

Sorry, I'm not native English speaker, my expression in words is limited.
If you assume the strongest opposing argument, it's clear the "myth" isn't arising from a misunderstanding of cryptography. Rather, it's arising from the practical observation that password managers are not perfect, and therefore encryption is often not sufficient. In fact, you offer this argument yourself in your comment -- it is really bad and dumb of LastPass, and yet it happened, because these things happen in reality.

Exploiting bugs in the end-user web application, accidentally exposing unencrypted data, unnecessarily collecting all data in a single location in the first place, a break in cryptography leading to a total break of security are all failure modes that only affect cloud password managers.
Indeed, I also think it's partly an artifact of the sheer size of the baby boomer generation, which gives them outsized political power even as their cultural influence wanes.
"Russian cosmism generally asserts an active and optimistic perspective on the transformative impact of human reason on cosmic evolution, whereas Lovecraftian cosmicism is associated with pessimism and nihilism."

The current situation in Russia seems much closer to Lovecraftian cosmicism.
I guess this is why I lost interest in software that does not have a physical aspect rougly 5 years into my career doing random web development and being the tech cofounder at a shitty startup (though, successful enough to bootatrap me out of parents' nest): it just felt .. disconnected from the greater world.

There is something magical in watching the software you wrote sling full size wood logs around (industrial automation), control and maintain a positive pressure in painting chamber, take off and fly away somewhere.

And even the greater cost of failures/mistakes or the insane hours to debug a single bit set incorrect somewhere deep in SoCs RAM controller is not enough to offset it- you learn so much about the way world works (or doesn't- but that's something to learn as well).

An off-by one error crashing and snapping conveyor belts, too large a P coefficient in pressure controller bending the doors, missing the requirement of closing the shutters for an outdoor heat exchanger leading to freezing and bursting it- though frustrating at the time leads to much better memories than debugging a PHP file deployed on a VPS with logging disabled.
What Harvard doesn't teach you
I graduated with a Computer Science degree from a top university - Harvard in 2011. It was hard and a great experience. When I graduated, I felt like I was ready for anything. Then, I started a venture backed company with two people from Harvard Business School, and I was shocked to realize that everything I learned at Harvard wasn't helpful at all.

I didn't know how to negotiate or express myself. I couldn't communicate well. I had to pitch my idea to investors and didn't know how. I was not ready to start a company at all. Don't get me wrong. I knew how to program, but the soft skills was lacking. I feel like my Harvard education didn't help me much other than give me the connections that I needed to start the company. That's why I support a company like mentordial.com that lets you book a call with top industry experts.

Do any of you feel the same way about your college education? Did it prepare you for the real world?
You are completely disregarding E-ink screens
I find they clutter the code more than they help. Good names and docstrings and comments are more valuable.

And static types are for people who are too lazy to write test code.
According to Rossmann's FAQ[1] it's 'supposedly "four letters that sound good together".......'. Someone did also add an entry on Urban Dictionary[2] defining it as "Fuck You, Tech Oligopoly"; seems that's the closest we're gonna get to an answer for now...

[1] https://store.rossmanngroup.com/faq.txt
[2] https://www.urbandictionary.com/define.php?term=FUTO
The implied point with Open Office was not the users habits shifting, but that there was a fork in name only. The project is still under active development with a diverse set of developers but under the name Libre Office.

Only a skeleton crew of paid developers stayed with Open Office, enough to cut releases regularly but not even to fix the security issues actively exploited. All distributions moved with the developers, but there is a discoverability problem which has led to mostly Windows continuing to install the unmaintained version.

The ASF could have fixed this quickly, either by helping out with the trademark issues, moving with the developers, or at least moving the unmaintained version to the attic and steering new users towards the actively developed version.

But they collectively decided to sit on their hands as users continued to install unmaintained software rather than take the slightest risk of offending one of their members. From an outside perspective, all of this was completely unnecessary.

The Thrift situation is another example where some active stewardship could have made a difference.
Good data for VM folks, but I really have accepted at this point that the VM experience is almost completely distinct from the bare metal experience.

I'm really looking for a dependable pseudo-desktop/server OS for the monolithic legacy box at home. In terms of immutable, NixOS is it right now, but tbh it's had enough random uptime issues as of late, I'm starting to doubt my decision. Though I still haven't narrowed it down to this machine as opposed to some network/routing/storage problem
Hmm, why? It seems like another risk to let people mark urls as 'please do not read' and respect it
> Yet I haven't heard of a single doctor who quit his practice and moved to Colorado to run a ski lodge. When I ask why, they all give the same response: the patients. Every day they see patients brought back to health, the bullshit recedes into the background, and they're reminded why they got into medicine.

That kind of actual positive impact isn't the norm in tech.
Which suits duck typing better than type hints.
Purchase power is a more useful metric here
> If you want a different semantics at the source level, e.g. overflow is an exception, then the compiler needs to emit additional code.

Yes, and which is exactly what I hinted at with my question to your comment. With the HW we have today, implementing such semantics without an extra hit is not possible and which is why I thought your comment wasn't completely fair but coming from more theoretical stance.
I don't think he's bitter. He's just outraged and for good reason. We all should be I believe?
Wouldn't the genuine answer to that be to increase the cost of a plane crashing by a lot?
Then it should be at least in the top 3 languages used by Google, shouldn’t it?
Moore often talks about being a "1X" programmer, as opposed to a "10X" programmer. By which he means that he writes only a fraction of the code that others do.

I think it all boils down to specificity vs generality. Moore is specific. He solves one problem, not many. If he has a different problem, then he uses a different solution. By being tightly focussed on his one specific problem, there's many things he doesn't need. Like, he doesn't need a file system. He just stores data and code in blocks in the disk. You end up with a system that is small, tight, minimalist, does what it needs, and then stops.

That approach doesn't work if you want to make something more general-purpose, like a Linux kernel. It's not like Linus Torvalds is a nincompoop that somehow didn't realise that 90% of the code was unnecessary. Linux is popular because it solves a broad range of problems to a broad range of people.

Forth systems are unpopular because they solve the problem of one man. Not only that, that one man must have a mental model of how his whole system works. The upside is that the system is much simpler than a general-purpose one.

One could say that Forth is not just a language, but a whole philosophy as to how and what programs should be constructed.
Logic Locking: Does it have unacknowledged role in chip shortage?
The 20’s Roaring Chip Shortage: Takeaways from the close of 2022
It is kind of tragic when so much work gets wrapped into libraries coded in obscure languages, and so never gets out to affect much in the world.

Doubtless, enormous brilliance went into Symbolics OS and UI code, all washed away when Symbolics tanked. On the up side, untold gigabytes of bad Java code were flushed in the big tech meltdown of 2000. When Twitter and Facebook go flat like inflatable lawn decorations in a cold snap, will much of anything be lost? (Anyway zstd and lz4 will survive.) How much stuff is coded in Wolfram?

Obscure code today goes onto GitHub repositories rather that just evaporating, but it is more manual labor to find and transcribe to a live language than can usually be mustered.
Election Science is doing yeoman's work. And they just keep getting better.

> RCV, however, cannot be counted in precincts or separate locations. It must be counted in a centralized area.

Huh.

The gold standard for election integrity is casting paper ballets at poll sites, to be tabulated onsite the moment the polls close.

There are many of these very specific non-obvious minutiae which derail or moot most would-be reforms.

Disallowing precinct-based tabulation is one such deal breaker.

I studied election administration for ~10 years. I'm (super) embarrassed that this very important implementation detail of RCV had never occurred to me.
Never experienced that. Maybe you should make your code more modular.
Well yes, not sure why I got downvoted, if I use a language called TypeScript it may be because I think type checking is important.

Having to call tsc separately from my dev/watch process is not a good developer experience. Same as with ... dialyzer :)

But for sure, that would decimate esbuild performances.
Specs don't really matter here... atleast not for hobbyists.

Will it be supported within the arduino IDE? Will most other libraries work with it? Will I be able to buy it from aliexpress and other vendors in quantity of one (1) on an easily solderable board? How many lines of code does it take to do a simple http request?

Why am I mentioning this? Look at arduino... relatively speaking it was a shitty chip, with low specs and not even that cheap... but it made it possible for a 13yo kid to make a running light example (KITT car leds from Knight Rider show) in basically five minutes. Arduino got replaced by esp8266 (and later esp32) because of wifi, but the led example stayed the same. No data sheets, no inline assembly, no registers, one pinMode() and digitalWrite() and it just worked.

For professional hardware developers.. sure, they can read very long datasheets.. but millions of others just want and need something simple and the arduino (esp*) ecosystem manages to do just this.
His bitterness is a great trait of him that on every video makes you feel "I can relate"
Less than $2 on a ready to use module.
> In contrast, with Rust, or C, or C++, or Java, or C# I have to know _so many small details_ to not shoot myself in the foot.

Java arguably has even less foot guns then Go and is an simpler language.
Not to mention the obvious security implications should any of the supported icon image format decoders ever have any issues.
Git allows one to sign commits. It would be quite pointless if it was signing mere MD5 hashes.