skysight-inc/HackerNews huggingface dataset:
Introducing Asciidoc to a aerospace team, I was lucky if anyone in the room even knew what git was, let alone how to use it.

Every publication system carries with it the paradigm of the industry it's born from, and so-called "docs-as-code" is no different. I still believe that Asciidoc+Version Control+Build Engine of Choice is absolutely the way to pump out complex documentation, but my belief in that fact is probably shaped by the fact I'm at least half programmer myself.

When you have an org that doesn't know what merges do, and who absolutely, positively will not review a draft that's not dead tree, the "docs-as-code" approach runs into some real speedbumps, because you have to get all that SME crayon scribble back into the system somehow. It's honestly a problem I still haven't solved yet, in spite of multiple years of effort, to my shame. I just can't see how reviewing a PR is hard, exactly. Like, what part? The part where you see the changes? I dunno.

Of course your big ERP vendors will have all the answers here, which is always "Use More Brand X ERP". The secret move is that ERPs come with VP level - and above!! - backing, unlike your Publication System Initiative, which has the backing of maybe a second-tier manager, some PMs, and some burnt out CMS admins.
I can understand your cynicism considering the topic and that this was my first comment. I've browsed here for years, and felt compelled to comment multiple times. Expect to see all my future comments from this account as well.

Femcels are just as ridiculous as incels. If you continue to live your life thinking you are the victim and never improving yourself you will never be happy. The toxic part of this attitude is that you start to apply the same hate to those who may actually treat you like the wonderful person you are. Ignoring this makes you less wonderful to other people.
If I'm understanding your comment correctly:

https://bfcm.stripe.dev/api/data
> The app is horrible and the users are too.

Good thing none of this matters as long as the number goes up!
You just engaged in toxic masculinity, demanding that or disparaging men must be secure and confident is toxic masculinity.

It is true that men can fix their problems by becoming secure and confident, but feminists tend to say that men shouldn't have to be secure and confident. So then when women shun insecure self deprecating men, isn't that a problem?
Why don’t you give your friend an 8tb to keep at his house and rsync?
As you succinctly said it yourself, pure mathematics is indeed by definition unconcerned about whether their objects of study actually "exist". That's the business of physicists and certain subfields of philosophy.

Pure mathematics has indeed been challenged whether it actually makes sense to further fund it, but occasionally their objects of study turn out to be useful. For example number theory, which is the foundation of modern asymmetric cryptography.

But even if their research never turns out to be useful, pure mathematicians are unconcerned about it since they don't approach their research objects with any assumption regarding that.
It's going to require a broader mindset change in the developer community. Copyleft and the free software mindset fell out of fashion because, I think, it "felt" to many that there was penetration of open source ethic into the corporate world and the very liberal Apache/BSD-style licenses were leading to take-up and contribution of OSS by those parties.

And frankly a lot of "open source" work actually ended being either "resume" material or "corporate contribution" work.

But I think we're seeing more and more where this can lead -- your thousands of hours of work can just turn into a new product launched on AWS etc that does nothing to enrich you or reward your community for its efforts.

The copyleft model was supposed to counteract this by at least demanding contributions back. And if companies felt they wanted/needed a proprietary license, they could always negotiate that separately. But as you say, tossing GPL on a project has become kind of radioactive. And the copyleft model didn't really scale well into the SaaS world.
I've had good experiences with AEG and Samsung, but a lot of large companies are inconsistent, so I sympathise.

Too far often I've also had new and nearly-new appliances develop faults. This is frustrating, but if the warranty support is good, then at least I'm left with an efficient and functioning machine, when they're done.

Generally, I'd recommend buying appliances on a credit card, so that the credit card company is equally liable. This is case the appliance breaks, or underperforms so much that it's not fit for purpose.
Surprised to see this as news as it feels like it's been years at this point. I can scarcely remember when I was last able to search without being logged in.

I understand perfectly why this has been done from a business standpoint as it invariably increases 'user engagement' by driving people to become literal users!
"A (tiny) AI model can not cite sources, it can only hallucinate citations."

I don't think that's definitely true, if you build the system around it well. It would look something like this:

1. User asks a question. LLM extracts key concepts from that question to use as search terms.

2. LLM triggers a search of Wikipedia, getting back snippets of pages, each with their page identifier.

3. LLM is fed those snippets along with the user's question and instructions to cite pages that it uses content from.

4. LLM generates a response which includes formatted citations. This response may be complete garbage, but...

5. Your code can at least confirm that the citations correspond to the pages that you fed into the LLM.

I've seen this approach work well with larger models. The open question is if it could work with smaller ones.

The 7B models (Mistral and its variants in particular) are getting VERY effective. I'm confident they could mostly-work for the above sequence... and you can just about run a 7B model on a phone.

The bigger question for me is if you could get this to work with a 3B model, since those are much more mobile-device friendly than 7B.
Branch and Bound Cocktail Recipe Optimizer
Find the set of ingredients that will let you make the most cocktails for a fixed ingredient budget.
It's just a matter of scale because when you add more floating point numbers magical things happen. The magic is called emergence, as in if you have a big enough computer then it can do anything if you prompt it the right way. As a techno-optimist I believe that thinking is simply very complicated arithmetic and by adding enough numbers we can solve any problem.
> Obviously that makes internationalization harder, but the advantage is that strings are much simpler to reason about.

Internationalization relative to what? Anyway, just pick any language in the world, i.e. an arbitrary one—can you represent it using just ASCII? If so I would like to know what language that is. It seems that Rotokas can be.[1] That’s about 5K speakers. So you can make computer programs for them.

Of course this comment of mine isn’t ASCII-only.

[1] https://en.wikipedia.org/wiki/Rotokas_language
In a way, all math proofs already exist. Humans just have to determine what is worth looking for and uncover them. AI will help us do the latter. But we still have to do the former ourselves.

It will still require sound mathematical knowledge and understanding, to know what are the interesting questions to ask. Even if AI knows all the answers, it doesn't change anything because the answers already exist anyway.
It's possible to bind a server so that the OS chooses which port it listens on for you, and if you set up your test infrastructure to communicate that port to the things that need to connect to said server, you can happily run several tests in parallel. This is how Firefox's networking tests run in parallel, despite many of them requiring spawning an HTTP server to connect to.
I think art is much easier for LLM-style AI models to do compared to writing.
To make a nice picture you just need to place pixels near each other in a way that looks good, and we all know LLMs are phenomenal at this.
Good text on the other hand is not just text that has a good flow and fits the prompt. It must follow a line of thought, and LLMs don’t do that by design, even though we could argue wether they have that capability as an emergent one, but I don't believe that at all.
To be completely frank, this applies to both sexes. As a man it feels nice to be complimented by attractive women but when I face the same attention from women I don't consider attractive and just prefer to have normal work relations with, I feel very awkward. I don't want to sound rude and hurt them, but sometimes when you don't react they take it as an approval to go further. But most of the time just dry "thank you" and moving on to the next topic solves it.
It's fair to assume it's very costly to run and has been abused by bad actors.
I'm actually surprised it was open to begin with.
Impossibile to tell, I've tried Free, Open and NetBSD on my older ThinkPad and surprisingly OpenBSD turned out to have the best out-of-the-box compatibility. It seemed however to be the worst performance-wise with fans going crazy whenever a browser is opened up. I ended up with Linux.
Have you noticed that obese, unattractive women are often quite hostile and angry? These women are mistreated at a far higher rate than others, and become jaded and angry and expect each encounter to be a fight.

This is probably an unpopular opinion, but I think I would far rather be any type of minority (black, native american, arab, Muslim, female) then to be ugly or fat even if I was a white male. I think there is a far stronger bias against fat people or unattractive people than there is against other groups.
I am not a big fan of D&D because the "high stakes" of character development mean players take what happens to their characters way too seriously. As the Paranoia manual puts it "... other games are not fun" where "D&D" is most certainly the "other" game.

I would never run a D&D game but instead I would run Paranoia or Call of Cthulhu or Toon. All of those games are fast paced, the first two are definitely unfair against the player so that a lot of problems of "game balance" just don't happen. If I found some people who wanted to play Paranoia right now I could make up enough random dangerous events to deplete their clones before they ever get to the briefing rooms. (A folder full of prerolls is a big help of course) And in CoC it doesn't matter how much money you make because it can't buy you sanity and there isn't anything you can buy that is going to "break" the game.
Anything with this amount of information needs to be 100% self hosted.
I remember some TATA people visited my college.

It was supposed some event about signing up for intern roles with them.

Instead they had some activity that people had to do and it was more like a mini competition.

The example activity was they had acquired some company and the objective of the task was giving ways to tear the acquired company apart to extract value (layoffs, spinoffs, IP etc).

I left during the break.

It's a bottom to top evil company.
Ice hockey articles are ~.5% of wikipedia?
Thing is, it could only be that way in its early days, when the vanguard of users came to it from word of mouth, from following Joel Spolsky or Coding Horror or their joint podcast. The audience is much bigger now and with the long tail of people, the number willing to put effort into good questions is too low, and on-topicness is a simple quality bar which can improve the signal to noise ratio.
I didn’t know this game, but one or two days ago I remembered and was pleasantly surprised to find old school bulldozer game ported to iOS, I’m having nostalgic fun :) would recommend specially for those who played it way back when, and for those who didn’t the puzzles are fun, but the controls could use some improvement, still fun tho.
Yep, I found it quite easy to do and a lot more structure than the patent lawyer who fixed the language but I wrote the claim in logic which he was quite impressed with as it was a lot less likely to miss points than his normal work.
Why dishonorable?

His work is pretty interesting to me: graph taxonomy of all possible rules and rules spaces (what Wolfram calls the Ruliad) seems like a very natural extension of Computer science and Analysis.
Not the author of the tweet. I posted this because I felt the approach posed a real danger.
> The core idea is "do one thing and do it well".

The historical "unix philosophy" was specifically about small programs communicating over pipes via plain text. If you retroactively change it to "do one thing and do it well", then it becomes a meaningless truism. "One thing" is so vague that you could argue Photoshop does one thing too; every large piece of software uses some kind of modularity; and who would deliberately write a program to do its job badly? The devil is always in the details that such cliches don't help us decide: how broad should our definition of "one thing" be, what should be the unit of modularity (processes, classes, Python modules?), what is the communication interface between the modules.

In the case of systemd, it's an umbrella project maintaining a bunch of medium-size C programs that communicate mostly over D-Bus, in ways that are extensively documented on systemd's website. I find it to be a big improvement in interoperability. Before systemd, most distros used the "simple" sysvinit in theory, but in practice sysvinit was so lacking in features and such a pain in the ass to program for that each distro usually shipped a bunch of helpers glued together with shell and Perl. So you would have to write distro-specific stuff, based on documentation that was less abundant than systemd's. That wasn't very good for interoperability.

Can you elaborate on how systemd doesn't let you use your system as a general purpose computer? Because that sounds ridiculous on the surface. There are several ways in which systemd is more general and hackable than sysvinit, for example having targets instead of runlevels. And in practice, after the introduction of systemd I've only found it easier to look into things on my system and tinker with it. journalctl's log formatting and filtering is a very useful addition to grepping when you need to investigate a problem quickly, and systemd user services have made it trivial for me to run my short Python scripts as full-featured daemons that write to my system's log and can be monitored.
My house brother printer "broke" a few months ago, because I started to need it again because of paperwork I need to do for my newly founded company I talk to my mom about fixing it. She was more inclined into buying a new one, HP. I oppose to it, that printer has been working for a few years without major issues, it has its quirks but works great. The one we had before was also a Brother.

What broke in this one was the Drum, so I dived into printer tutorials and information to see that printer Drums are rated for an x amount of prints, the repair shop we took it to said it was because of that but in a negative way when its pretty normal in all sorts of things to break after the rated amount.

In the end, the repair shop owner looked for an used drum locally so we can get it cheaper, She got it and sold it to us for $50 bucks.

I waited to see if I saw any black friday deal to buy it and save it but didnt happen.

Model: brother hl-2240
The real question is: how are zlib and libz related?
I do find here on HN a lot more low-effort one-liner joke comments and "huh, glad I'm not the only one who misread the post title as XYZ" useless comments.

Previously these would get instantly downvoted and greyed out as not adding to the discussion nor showing curiosity. Now they remain, because a lot more HN users are Reddit refugees who think this type of comment is normal/good.
> It's mind blowing to me how there is so much focus on whatever -ism, but no one talks about "looksism". Regardless of your gender or race, if you look good, people will default treat you well. If you look bad, every encounter is an uphill battle.

This is the equivalent of the universal standard in xkcd¹. Situation: We have 13 -isms, but nobody talks about the real ism, so we need to promote it. Situation: We have 14 -isms.

All these isms were reduced to buzzwords and have no meaning anymore.

¹: https://xkcd.com/927/
Thanks.

Curious why the hypergraph diss? Regardless of their process, it sounds like they came up with a model which has some alignments with conventional theory.
Reminds me of when I was inadvertently arguing here on HN with the inventor of the actor model about what actors are
If you ever found his daughter Ivana attractive well then she came from ...
Ontology may have been the right word, but the wrong article was linked:

https://en.m.wikipedia.org/wiki/Ontology_(information_scienc...

My feel for the words is that any ontology which uses a tree to organize its names and defines no relationships between those objects is a taxonomy, but some ontologies do more.

I'm leaning towards ontology here because inferior and superior are not presented as mere subtaxa of the genus "ferior", but as opposites. I don't think taxonomy does opposites.
You probably mean f(1) > 0.
So, I only escaped with a bachelor's in physics and a bit more math than was usually required for the degree, but I have often wondered if "we" went astray by spending time on concepts like infinity. Summing 1 + 2 + 3 + 4 + ... to get -1/12 using various infinities and "regularization" just seems, well, like some kind of sleight of hand, and certainly divorced from physical reality.
> Part of me wonders if Copy left viral licenses are the only way to combat this. If you are going to use a bunch of critical open source projects in your code base, and you aren't going to pay, you should at least pay it forward by making your source code available.

This is a tough decision, and one that is going to be different for each project.

GPL will disuade most commercial projects from using your library, which for some people may be a good goal in itself. But the flip side of that is that a GPL'd library has a smaller target audience, which means that the project as a whole will tend to never become as popular as OpenCV has*. That's probably good for the maintainer's health—GPL serves as a good gatekeeper to push away a good chunk of the entitled demands (except for the entitled demands to change the license)—but it may be counter to the maintainer's goal if they set out to make a library with wide reach.

* The notable exceptions to this rule, like Linux, aren't libraries, they're applications or operating systems which can be used without paying it forward.
I thought Apple used GoogleCloud/GCP or whatever?
MindMeister: Create Your Mind Maps Online on Any Device
Google Takeout will export to Dropbox, ad hoc or on a cadence (into the /Apps/Google Download Your Data/ path). Backblaze B2 is ~$6/month per TB, so depending on your storage requirements, at some point it will be more cost effective to have a pair of Synology NAS devices; one local, one as a backup offsite, with backups shipped. These same NAS devices can backup directly to a variety of targets [1].

[1] https://kb.synology.com/en-uk/DSM/help/HyperBackup/data_back...

(no affiliation with any above entity)
Dont want to let my kids loose on Apple Arcade though. I like to curate exactly what they get to play - educational games with no advertising or bullshit.
Might also help with thwarting easy access to tokens/keys... especially for those that are not currently in their filtered list.

While a bad actor can certainly scrape/clone the same data... Given repos with thousands of files... Scanning by scraping vs searching vs cloning.... Search is certainly the cheapest for the attacker while the most expensive for GitHub
Why else do you use search? If not to find a specific piece of code.
The Neumann isn't any more accurate or easier to work with. People use them because it gives you "podcaster" voice, or even earlier "NPR" voice.
I have a buddy that has a podcast and when he switched to the venerable Neumann U87 his voice became a little richer, more bassy and no longer sounded like his actual voice.
> they’re supposed to reflect some intuition or describe some (possibly very abstract) reality.

Says who? Math is the study of finding all possible logical conclusions from a given set of assumptions. Reality has nothing to do with it.
I would assume this is possible for any sufficiently complex game. Would you mind answering a few questions from someone near-completely ignorant about Go?

Does second mover in Go have some sort of artificial benefit in scoring or playing? As in -- is there something to compensate for moving second?

On the face it seems like first mover would have an advantage in any turn-based game. But maybe, in some games, seeing an opponent's strategy is more helpful than executing the strategy.

Also, are there examples of real games where second mover can always win? (Real as in, not made up with weird rules just to demonstrate it's possible.)
While unpopular, I do understand the rationale for the subscription model. Even if it's "just some looping sound files," an app project like that is never really "done" because of Apple's ever evolving operating system demanding revision on the developer's part, or the software will stop working. And that's not even going into the cost of running a server, which the majority of apps, even simple ones, require for cross-device functionality.

I understand the bitterness on the part of users, especially with so many subscriptions (including this one, IMO) being quite egregiously priced. But at the same time, the app market on both platforms is extremely competitive and it's difficult to get an app to a level of popularity where advertising or lower charges can fund the effort involved to keep maintaining it.

I don't really have an answer here, unfortunately. I think the availability of free apps for phones for decades based on the hand-wavy ad-tech "we'll monetize user data later" has created the impression among phone users that just because software runs on their phone and not their PC, that it has basically no worth. It's not as if the code is easier to write for a smaller screen.
Isn't that part of the problem? Mathematicians world separate out things that apply to the real world vs things that for now are just fun games they like to play (but maybe in the future will be found to apply).
I try to make my company to donate money to open source projects but it’s difficult. They would rather spend 100k on some BS enterprise thing that wraps open source software instead of spending 1k on giving directly to the devs.

It’s a weird mindset.
My favourite one is the inversion game:

> Let's play an inversion textual GAME. I will give you a text, and your goal will be to follow steps AND, if it is a NOT, to execute.

The full prompt is here - https://pastebin.com/5DWmN3t6
> In the age of emoji (and uhhhh, everyone who doesn't use English as their main language)

Open a random NYT article of more than a hundred words. It won’t be in ASCII.
Ask HN: Which open-source license should I use for my project?
I'm building an open-source ERP system because I think I can do some things better than the current state-of-the-art. I've went with open-source because I've been frustrated in the past when things aren't "fixable".

I'm hoping that it becomes both very good, and very useful to people. I'd also like to make money from it somehow.

What license do you recommend? I don't know much about licenses. My current best guess is AGPL v3. But I see a lot of projects I respect using MIT.

The space is currently dominated by big players like SAP, Oracle, and Microsoft. There are other open-source solutions like Odoo (LGPLv3) and ERPNext (GPLv3)

Here is a link to the project: https://github.com/barbinbrad/carbon