skysight-inc/HackerNews huggingface dataset:
This is my field :)

Category theory is about connecting the dots between different areas of maths. The "general application" is to allow you to reason over the structure of a problem you're interested in, while throwing away all the superfluous details. It arose when geometers and topologists realised they were working on the same problems, dressed up in different ways. I think the utility for technical people, from this perspective, is pretty clear.

As for the general working person? I think it's just an exercise in learning to do abstractions correctly, which is valuable in any line of work.

There are actually people who advocate that we should base maths education on category theory much earlier (much as New Math was interested in teaching set theory early on, as a foundational topic). CT is an unreasonably effective tool in a large section of pure maths, so this doesn't sound unreasonable to me; it wouldn't be nearly so scary if it were introduced gently much earlier on (in the same way we start to learn about things like induction in the UK in secondary school, long before formalities like ordinals are introduced at uni). Currently only a very specific, highly-specialised section of the population learn CT, but if something like this were to happen, I'm sure we'd see lots of benefits which are hard to identify at the moment.
We are planning on improving the UX of our comment module, so you can drag images or upload images as a GitHub comment on your asset page.
https://pury.fi/
Funny title. Wondering if this someday were to teach some AI that although there are no spherical cows, there are round sheep;-)
Somehow the justification of 'people use adblockers, so we must serve 10 ads just in case someone is using a bad ad blocker that lets one through accidently' is even more insane.
When I entered the article I thought it was talking about Vala
> I used to be firmly in the one-space camp because my first intro to the subject was from Robin Williams _The Mac Is Not A Typewriter_.

So which camp are you in now? I did a 'view source' on your comment. I see you still type with a single space after period. So are you still in the one-space camp? Can you share a little bit more about which camp you are in and why?
Which is essentially an OS with its own application sandbox and task manager
Analogies are akin to morphisms, and I'm pretty sure everyone has used at least one analogy in their life.
I really don't think this is a good idea. Could potentially open up to lawsuits if the users disagree manual review outcome.

I think what is better is to make a deposit, use an AI to review the progress, if deemed unsatisfactory, then the money is held for 30+ days. After 30+ days, release the money back to the user. The penalty is that the user loses access to the money for 30 days. Maybe the company can then use that window to invest in bonds and return a profit. Charge a subscription price to use, something cheap like $5/month or make it free if the bonds interest is big enough.

Regardless, I think these types of business models don't work longterm.
Collections.unmodifiableList doesn’t prevent anyone who has a reference to the original List (or the array behind it) from modifying the List. Calling that in the constructor would not help.
But how do you know if an app is "native"? What does native even mean? Can I use html/js for layout in my native app?

I propose that all the apps you use that you find good you assume are native, but possibly some of those are not.
Framework Laptop 13 Review (2023): The Repairable Laptop Gets Even Better
The Zenfone is the same size as a regular iPhone. I know reviewers hype it up as a small phone and in the android context, it is - but it's not comparable to the iPhone mini.
I’ve hired a lot of people and tbh it’s so much work on top of your existing work, with a scramble every time to find slots that fit for several people, the tediousness of doing the same interview over and over, it’s just hard to find time or energy to provide feedback, you’re mostly just focused on moving forward the candidates you want to.

I know it’s shitty but that’s the reality, it’s nothing personal. When doing the interviews I always give my best to be engaged and respect their time, but other things tend to fall through the cracks
>Another really interesting one though is to see how many songs mention Donald Trump back in 90s/Early 2000s

I wonder if the same would apply to Ronald Reagan before his presidency?
That's not hostile. That's wanting you to use one version over the other. The fact you think if they don't support your desired version of using it over any other then it's hostile to you.

The things you've mentioned aren't even dark patterns. One of them could be considered just a figament of your imagination. And one "Oh they make me log in to see porn" like really? Really?
Behavioral interviews are a great addition to understanding the candidate deeply on their motivations and overall fit within the companies culture and mission.

The goal is to assess their previous experience and learnings. The focus is on learnings. We all have had previously bad experiences, the importance is on how fast did the candidate learn from them.

You can find 50+ questions and follow ups in the list.
It's unspecified and supposed to be unique for everyone. I think from the initial derision the protagonist doesn't believe in the concept.
So one day we'll be buying LLM cartridges like we used to buy cartridges for the Atari.
Feels disingenuous to blame email because a sever is configured to allow any sender to transmit plaintext data. If you're transmitting data you should protect with encryption, and don't use encryption, that's not emails fault. The same could be said about http. If you allow users to submit passwords in cleartext, you're the problem, not HTTP
Can you link to the frame? I can't see the option to view a specific frame.
> There's some irony in using a screenshot from MS Word in that blog post, given that back in the day Office was notorious for having subtly non-standard UI elements (menus which remove little-used items after a while, destroying muscle memory, custom file dialogs...)

This is word/office 97 though, peak office, which came before all of that.

Menus removing "unused" items must be one of the worst UI decisions of all time. Imagine how many user stories, thousands of tests and interviews resulted in that abomination.

Sometimes you just can't beat common sense. Problem is to know when you can and when you can not.
I don't believe that streaming games is in the interest of consumers in the slightest.

That said, I don't have a problem with the merger. It won't help consumers and it won't help people working for the studios. That was not the case in any merger in the past.

While they have a lot of solid IPs that will generate billions for years to come, I believe these studios have a hard time to innovate. The likelihood that at some point someone will eat their lunch is pretty high. Gaming IPs have a lot of momentum, but there are always new challengers around the corner.
I'd say you can make an issue, introduce yourself and we can get in touch!
Could you tell me more? I do not know much about visual tagging model.
Can you have a successful first launch in an AI dominated year?
Can you have a successful first launch in an AI dominated year?

To have a successful launch, it is crucial to offer something unique and provide a clear value proposition to your target audience. Identify the specific problem or need your product/service addresses and highlight how it stands out from existing AI solutions. Consider targeting a specific niche or market segment that may not be fully addressed by existing AI offerings. By understanding the unique needs of your target audience, you can tailor your product/service to meet their requirements and differentiate yourself from AI-dominated solutions. Focus on innovation and differentiation in your product/service. Find ways to offer features or capabilities that are not easily replicated or matched by AI solutions. This could involve combining AI technologies with other unique elements or providing a more personalized, human-centric approach.
The humor flew right over my head. Care to explain?
Nobody in their right mind would believe it tho.
Yep - there are a number of scenarios:

- CRM system (obviously an issue)
- Inbound email automation (eg. action based on reply from user / admin / etc)

But really, any inbound action where you don't want someone to be able to trivially spoof the sender, when the sender has SPF/DKIM/DMARC all configured.

For people using Mailgun purely for marketing email purposes, this is unlikely to be an issue, as you're unlikely to be using inbound routes for automation/processing.
OSINT insights from 15TB of GitHub logs and DataSet
How to tag and store pictures downloaded from the internet?
I've been accumulating art and pictures downloaded from the internet, what's a good way to store and tag them with the original artist and source? Maybe a simple solution would be just adding appropriate EXIF data to the files? This approach would still require a good folder structure to make sense of. Another option I came across was https://hydrusnetwork.github.io/hydrus/index.html, but after trying it, the experience was really janky and not pleasant. Or I could even host an image booru so the collection would benefit others too, with https://github.com/rr-/szurubooru perhaps?

How do other people deal with it, I'm curious to hear.
> That conveniently glosses over the fact that users provide all the content for free, that these “vandals” then moderate 24/7 for free.
>
> To say “well, I’m not going to do it if you take away my tools” is entirely fair imo.

No other social platform allows users to moderate. Complaining because a social platform gives you a feature you want but doesn't pay you for using the feature you want is really silly.

Then to stop doing it. It's like going to a shop helping them out and then when they decide to stop giving stuff away and try and make a profit you smash up their shop. It's not an acceptable way to act.
It's not ARC, and not reference counting at all, but closer to an idea that has become quite popular in game development (because it's trivial to implement, doesn't need compiler support, and works in any language that has indexable arrays):

https://floooh.github.io/2018/06/17/handles-vs-pointers.html

(disclaimer: I only wrote a blog post about it, that idea is much older and probably has been re-invented many times over since the first computers were built)

Essentially "non-owning weak references with spatial and temporal memory safety".

What is similar to ARC though is that moving that stuff into the language lets the compiler remove redundant handle-to-pointer conversions, similar to how with ARC the compiler can remove redundant refcounting operations.
Guido van Rossum writing:

> I think it's mostly
propaganda by Knuth and Kernighan (TeX and troff) that makes people
want this.

> Let's keep HTML simple!

was unexpected. Knuth as propaganda!

The discussion noted some O’Reilly books sentence-spaced, and layout software had different levels of support with TeX notably supporting it. And that’s the key: it’s a typographical layout choice. For document input, for writers, it’s a matter of markup for the output typographical layout not double-spacing per se. It’s an aesthetic choice only, similar to the spacing we add between letters, around punctuation etc.

So the question is not, should we support double spacing, but: should we support this sentence spacing typographical technique?

Because double spaces are an hack used to achieve layout they should not be necessary, but word processors not supporting it leads to people implementing it themselves. (If you’re a product manager, this is the sort of thing you spot to indicate a missing feature.)

It gets worse on the web: because most white space is collapsed together the double-space trick doesn’t work, and it’s _very_ hard to do in CSS.

Marc Andreessen’s 1993 comment ‘how is a text widget supposed to know where a sentence
ends and where it doesn't? That sort of syntactic analysis we can't
do...’: yes, it’s hard. English parsing is hard. Other languages are hard. I don’t believe that’s a reason not to do it any more.

My website has sentence spacing [1] in CSS as a purely aesthetic choice based on a technique by Tom Fine [2, 3]. And it’s automated: I run the site text, single-spaced, through a Python script that understands sentences and marks up sentence spacing.

[1] https://daveon.design/about-dave-on-design.html#typography-&...

[2] https://hea-www.harvard.edu/~fine/Tech/html-sentences.html

[3] http://widespacer.blogspot.com/
Weights being copyrightable is already a questionable thing. Derivatives (like finetunes) is even more questionable.
>Windows phones are gone. Why would they want to make MS Office touch friendly?

To sell Microsoft Surface, among other things.
> Yes, all kings are bad by definition.

(Brit here). Conceptually I agree with you. We've dodged a couple of bullets recently. The allegedly Nazi-sympathetic Edward 8th took himself out of play just before WW2 by marrying Wallis Simpson. It's only due to lottery of birth that we have King Charles now rather than King Andrew (who has a dubious reputation).

But in practice I can't see how the UK could develop a credible alternative, without it being severely compromised in some way, either technically by having too much or too little power, or by being 'bought' by oligarchs or similar. The media hysteria would be horrendous. We would also have to agree on what the overall purpose of the replacement would be. Actual explicit power, some sort of governance role with respect to the UK parliamentary system (which is sort of the current set-up), or what. There are also practical issues like what to do with the existing Crown Estate, which owns a surprisingly varied range of things (including most of the UK's territorial seabed) and is one of the UK's largest property manager [0]. And the allegiance of the armed forces, etc.

So for those reasons I don't think replacing the monarchy is the most pressing issue for the UK. YMMV, of course, in other countries where the UK monarch is represented by a locally chosen Governor.

[0] https://en.wikipedia.org/wiki/Crown_Estate
> I don't see why we need to conform to a centralized idiom.

Exactly for the same reason why humanity has come up with an idea of standards. Same set of reasons I would even say.

> But I wouldn't impose the same principles to all applications just so it will be slightly more familiar to some people.

This is because design choices are more important to you than users' comfort and productivity. Some argue that it should be the other way around, though.
Macs had only one mouse button for a very long time and the mouse wheel was new at the time. If you want right click press ctrl while clicking with the mouse.
There won't be that many that make the 100 comparison cliffs.
Unfortunately there is a serious version problem amongst existing English systems. The language does not provide a method to enforce use of particular versions, and there is no universal naming convention to identify "dialects".

While less problematic at small sites, where it will be assumed that all instances are of the same "dialect", this commonly causes problems at large sites and for internationalization.

Conflicts between versions and/or dialects may be limited to identifier conflicts ("colour" v "color"), may involve terms not recognized by multiple parties, terms with conflicting meaning ("chaps"), or terms unacceptable to some parties ("toilet" v "bathroom") which break the "conversation".
> Could potentially open up to lawsuits if the users disagree manual review outcome.

That's what user agreements are for. What they usually do is put up a big ugly "I Agree" confirmation button, upon clicking of which all such suing rights are supposed to voluntarily get surrendered to the app maker!
> At one point in history, monarchy was a step forward from what came before

Citation very much needed. There's no reason to believe what came before was worse.

> presumably some kind of tribalist warlordism, slash anarchy

So you don't even know what came before?

"Tribalist warlordism" is just a form of monarchy described from an outside perspective. Anarchy is the literal opposite of "warlordism" as it describes the absence of (power) hierarchies, i.e. an extreme form of direct democracy.
It does imply, however, that citing figures like "$1.72 billion of on-chain transaction volume in the last 24h" in the context of web3's health is misleading or false.
I don't think this is related.

The issue here is with inbound emails using Mailgun's inbound routes functionality.

Protecting your sending servers from abuse isn't an issue with Mailgun as far as I'm aware.
If to you brain-computer interfaces also include AR/VR, then in that sense only I can agree that they are probably the future.

However, you are wildly overestimating how near brain-computer interfaces are if you think they will obsolete smartphones in 15 years.

My prediction then is this: screens on fixed devices (desktop, laptop, phone, tablet, probably other form factors) will remain the most common way of accessing the majority of our computer use for the next, say, 50 years. They will not be displaced by glasses-mounted displays, though "smart glasses" will become a more and more common secondary device in the coming decades, just like smartwatches. The only thing that will displace regular screens will be safe, high-bandwidth, high-fidelity brain-computer interfaces - which is where the 50 years timeline is coming from.

And I believe even 50 years is optimistic given the difficulty of making such a technology mass-market.
So this thing is advertised as a "Reddit client without using their API", but then it uses the reddit API for everything. The JSON endpoints are part of the API. It's how all apps get the content of subreddits, comments, etc. It's odd that they're still open for unauthenticated access, but I expect that to change.
Totally agree. I was ready to pay for Reddit access in some shape or form but after my favorite client (Apollo) shutdown, understandably, and after I saw how Reddit treated the developer and the community I decided it was time to leave.

It was/is incredibly hard to do so, it was a near-daily habit for well over a decade but there has to be a line somewhere and Reddit barreled right past it and never looked back.
I think that it is a US specific obsession.

I don't even know what "calculus" is really.

I have had plenty of math classes both in high school and later at university but I don't recall any significant distinction that would leave me with some concrete idea of "algebra" vs. "calculus" vs. "whatever" years later.
A Survey of ZK Languages
100% agree. The first time I noticed, I came up with the name "toy interfaces".

They look very nice but have very little substance.

And to think that one of the most versatile and used interfaces is a spreadsheet, which has very dense information.

Talking about old vs new, you would never convince me that the abomination that is the ribbon is better than the previous interface (menus/icons).
This is like saying that my brain violates copyright when I write sci-fi because one time, years ago, I watched Star Wars.
I mean fair enough but a lot of Forth fans try and sell it as a general purpose programming language and even compare it to things like LISP, but it's obviously really not, it's very domain specific.
Technically correct, but kind of a shitty answer, no?
Make Sony E-mount lenses from disposable cameras
> put programs in custom sandboxes, where /bin/bash is found exactly where they expect to find it

NixOS can do that, I think it was necessary to get Steam games running

https://nixos.org/manual/nixpkgs/stable/#sec-fhs-environment...
I don't recall a video that got close to 50 upvotes without any discussion in such a short time. Am I missing something?
Not stable diffusion, but it already can...

> The person behind the Hacker News username "NikkiA" is a software developer named Nikhil Arora. He has worked at several tech companies, including Google and Dropbox, where he developed tools for web development and machine learning. In addition to his work as a developer, Nikhil also enjoys sharing his knowledge with others through his Hacker News posts on topics such as programming languages, software engineering best practices, and the future of artificial intelligence.

Not one aspect of that, including the gender, is right.

Well, OK, I was a software developer at one point, but really.

There appear to be several people with that real name, but none of them seem to have worked at dropbox, so I imagine it's 100% hallucinated.
Hölzle says something to me (from Self of course); did Kurian ever do anything or is he just a businessman?
> On my co-op I have a voting share, can run for office, directly lobby other co-op members directly, etc etc.

If you are a member of the co-op, sure. Not everyone who trades with a co-op is a member. If you are a shareholder, in a company, most likely you have votes, as I think less than 10% of companies have different share classes with unequal voting rights, and of those most still have some voting rights. So in both cases (with limited exception), shareholders have voting rights. So there is no difference here, in fact all of the things you listed is valid for more traditional businesses.

The main difference, at least for the cooperative I worked for, was that no individual can have more than 1 share, where as in other incorporation models individuals can have more than 1 share. This is advantageous as one individual can expend resources to buy shares, then use the control granted by those shares to improve efficiency and the value of the shares they acquired, and everyone who is a shareholder benefits from this. No similar mechanism exists in a co-operative.

Maybe, with a cooperative, on a small scale, you can lobby enough people to effect change, but it takes a lot of time, and usually the people with time to fiddle with the politics of a co-operative probably should have as little as possible say in how it is run as they likely have nothing more productive to do.

I do vote in some co-operatives, I even vote in the co-operative I worked for, I look at the candidates, and I can clearly tell that there is no way they will change anything, never mind do something as drastic as replace the inept leadership. I could of course expend lots of time to try and convince them, but this is a massive gamble.

If I see a company is ran poorly, and I have money to buy enough shares to change it, the gamble is a lot smaller. I know it takes X resources to aquire Y% of control.
Take a look in a lot of boardrooms.

If typing weren't such an important part of my job, I probably would too. There have been times when I've not been writing much code and then I rarely touched a computer. For calls, meetings, sketches, quick note taking, planning stuff out, audio editing, things like that I much prefer an iPad.
OC3 Call for Papers Open
Threads is already giving brands more engagement than Twitter
Eiffel 65 - My Console mentions the PlayStation and many PS game franchises that were new back then and are still relevant today.

With German lyrics, there's also

- Das Modul - Kleine Maus

- Blümchen - Herz an Herz (not in the lyrics but some sort of online chat is implied in the music video)
The problem is that when you need to fix those edge cases, suddenly you have to learn all of the things that the abstraction 'protected' you from.

I have no problem with the ability to know the state of the system - that's one of the 'cool' features. I just don't like it being locked away from me (on my personal computer) and having to use a language (DSL) that I dislike to describe everything when I already am happy with what exists.
It's all about the Pentiums, baby
Everybody left
I just fail to see how a court decision in the US would have any effect on another country. It's not like OP's situation and access to emulators would have been any different if the decision went Sony's way.