skysight-inc/HackerNews huggingface dataset:
Not banning phones, but banning cameras (including those on phones). If you switch the phone off, you are permitted. Sure, one could argue that nearly all phones have cameras, but that's not the point, neither intent.
I don't fall out with the desire of an official accessory program, but to make existing accessories obsolete from Nov 12th is a really disappointingly poor decision.

It needlessly creates e-waste of these products, and likely disproportionately impacts those less well off who's only option would be to pick cheaper, unlicensed accessories.
Linux Man Pages in the "Miscellaneous Information" Section
On android, you can use Revanced to watch YouTube and it blocks all ads. https://old.reddit.com/r/revancedapp/ has info on what to do.
> some element of pickiness men lack compared to women.

From the women I talked to about this, they were not that picky at first. They become picky as soon as they notice that every swipe they do results in a match, and all those matches pressure to meet up soon. When they've become picky, they match only with guys that have no real intention to meet. Presumably because those are the ones who are flooded with matches as well.
And by applying this rule then it's all hard sci-fi: take the fluffiest "Conan" tale and just tweak the parameters of the universe until it becomes not merely possible but actually inevitable.
Yes, this is a textbook parasocial relationship. No judgment—me too. I've been listening to the "New Heights" podcast a lot recently, so my most recent parasocial relationship is feeling like Jason and Travis Kelce are my friends. Of course I know they're not, it's just how these things work. Parasocial relationships are ubiquitous in the modern day.

My favorite analogy is that parasocial relationships are the Doritos of socialization: appealing. delicious, addictive, can temporarily keep hunger at bay—but fundamentally not satiating, lacking in essential nutrients, and unhealthy when they displace their original natural & more nutritious alternatives.
Yep, but for any notational shortcut the compiler infers a single thing for it. It's still unambiguous as far as computers are concerned (but it may be confusing reading it without context)
Secrets of the Universe: Neil Turok Public Lecture [video]
This will just lead to VPNs being outlawed
Everything you said is right except for the "rightfully".
Ask HN: How do I assess my seniority level?
Over the past four years, I've been dedicating myself to a startup where I'm the sole developer. There's a high likelihood that the company may not survive the next six months, so it seems that the time for me to start job hunting is approaching. However, I'm not entirely sure to what kind of role to apply. I understand that a senior position at a FAANG company is vastly different from a senior role at a small startup. But I'm not even certain whether I can categorize myself as a senior in a small startup. Before launching this company, I worked as a mid-level developer at a prominent tech company. It wasn't as big as FAANG, but it was a leader in its field in my country.

I realize that in some respects, not working within a team for a while may have set me back. However, on the flip side, I've gained a wealth of experience in many areas that I wouldn't have been exposed to in my previous role. Essentially, I now manage the full stack, whereas I previously had a more frontend-focused role. My experience has expanded more in breadth than in depth, although I believe it has grown significantly in both aspects.

How can I accurately assess where I currently stand in relation to the market level?
sword fight
For someone who doesn't have too much free:

Do you have any pointers on how to get this setup working

Assume I have worked with rpm based distros in the distant past (last time at work 10 or so years ago) and with Ubuntu and derived distros a bit more.
It’s a great observation that those TXT records are (of course) public.

Could be interesting to scrape some data to estimate the penetration of particular SaaS providers eg Google, Atlassian, etc.
That's very interesting, I'm no mathematician but I should have a play around with it.

> Sadly, everything I understand is most likely already in there, so I doubt I could contribute meaningfully, haha.

I wouldn't be so sure - and even if so then remember there's enormous benefit to improving tooling around a system. If you want to be involved somehow, better devx, tutorials, output, packaging, error messages all make a big difference to end users.

Edit -

As another thought, is there benefit in going through papers and translating that work into lean4? I'm not really familiar enough with it but if so that may

1. Find issues in current work, like Tao did in his own work

2. Add to a reusable body of work
My YT account has a total of five personally-recorded videos (from the era where smartphone cameras still sucked) with no music in the background and no monetisation on any of them.

One of the videos was hit with an automated DMCA takedown, one was hit with a "mature content" takedown, and the remaining 3 have ads on them now.
First Pompeii excavation was in 1693. Even medieval Christianity is based on preserving historical artifacts.

On the other hand what you say about recycling and/or not preserving is true. And is happening even today.

These two things goes parallel through history.
You're talking about something orthogonal, how efficient it is. He's talking about something different:

https://en.m.wikipedia.org/wiki/Catastrophic_interference

Which practically requires full retraining at every step to integrate new knowledge. I think we have some partial solutions like learning to select between finetunings, but not if the task needs to crosscut between them.

The human brain doesn't seem to suffer with catastrophic interference to nearly the same degree, independent of its computational efficiency, though there are possibly related things like developmental stages that if they are delayed may never be able to take place.
Ugly sign with poor typography, unbalanced spacing and low standard of English. Why not take pride in your work?
VVVVVV has extremely simple and polished gameplay, what makes it interesting is how the same gameplay mechanic is constantly challenged and reinvented through very clever level design. It looks like metroidvania as far as exploration is concerned but is the complete opposite in general progress, as in the only thing that locks you out from an area is pure player skill, reinvesting what you learned to go further: "oh, you can do this" instead of "oh, I unlocked this and so can now access that".

It was an instant classic for me.
> Prospective theorems are not theorems until a proof is presented. At which point they become retrospective theorems.

...

> The presence of a counter-example to Sean Hunter's "theorem" simply demonstrates that it's not a theorem. It's a misnomer.

That is what I said. I showed a mathematical statement and I showed how you could falsify it. Since you said "mathematics is not falsifiable" I have shown your statement is not true. Do you see why?

You were the one who decided that the distinction between conjectures and theorems is important. I have now shown two examples of mathematics that was falsified.

Unless you're trying to say neither me nor Euler was a mathematician in which case we can agree about me but not about Euler.
How to Sell Micro Startups
Show HN: Rust Slack chat bot interacting with LLMs
Hi there, I've built this Slack chat bot with Rust, with a step by step on how to create, configure and deploy the bot.

Not super feature complete, but I imagine that a reasonable starting point template for anyone interested in creating Slack apps/bots in Rust:

Features and notes:

* Allows the user to interact with a large language model, in this case HF inference API, but should not be hard to adapt to other LLM APIs or local LLMs (I'm planning on doing that with Candle and Mistral).

* Also allows to receive a simple plot from the bot, should be easy to adapt to send more complex plots or other files.

* Authenticating the Slack event payloads was kind of tricky, in particular, as it's handled using HMAC validation of the body and a timestamp header.
I knew it was you by seeing the design. Would love a demo video before signing up. Congrats on the launch!
Security is coming anyway, unless you stay on old Windows versions.

"BlueHat IL 2023 - Default Security"

https://www.youtube.com/watch?v=8T6ClX-y2AE

"Modernize your Win32 application for security and privacy"

https://build.microsoft.com/en-US/sessions/d2ad7043-223f-4bb...
Related, I also made a Slack app that converts HTML to PDF using Chromium (Dockerfile provided) and send to user https://github.com/randommm/rust-slackbot-html-to-pdf/
I wonder how a controller can viably be used to cheat, and if so, how would rigging an official controller not have the same effect. Additionally, single player games don't have a cheating problem.
Not if they're sufficiently small. Completely excluding nanometer-scale particulates is effectively impossible.
The new Projects is like Jira without the top-down “Jira Align”-style features. So you can have issues from multiple projects show up in a board, that board can look like Trello… but if you want to duplicate the card’s custom fields to a different board, it gets trickier. The card and its data lives in the board it’s created in.

You end up having to do lots and lots of hacky things with GitHub Actions and the Projects GraphQL API to make it work the way you want it to. And granted, it’s cool you can do that. Having CI events fire for every issue created is awesome. But sometimes you fight their defaults soooo much, that just customizing Jira seems easier at times.

Don’t get me wrong, if you’re all in on GitHub, you’ll do okay with it. Especially if you write Actions to feed data in or out of it using the GitHub CLI and/or API or GitHub-script CI actions. But you’ll also probably miss Jira if you’ve used it as a power-user. Especially if you want to do advanced things with boards and cards and issues that it might not offer by default out of the box. And GitHub’s GraphQL API is powerful but also weirdly and frustratingly restrictive at times, particularly with usage and query limits. An easy SQL query for GitHub to run internally is opaque and confusing for a third-party to develop - GitHub knows what things are easy to hard to query by design but outside of GitHub you just make the API calls and hope it scales well to larger projects, or find out the hard way when it fails.
Also nice history and historic context around light bulbs.
It puts me more in mind of the multiplayer aspect of Journey; you see other players, but you can't really do much with them other than follow them around and see where they're headed to e.g. find secrets. But you can talk to them using chirrups and controls like jumping and running around. I found it wholesome as fuck, and most others that have played it will have their own experiences running into a random stranger, or eventually having to say their goodbyes, or losing them, etc.
No, you don't understand. SSDs begin to encounter problems over time after some number of read/write cycles. This is entirely expected and when one sector has issues it gets remapped to one of some spares that are built into the drive. Once those are exhausted it's a matter of time before you have an unusable SSD and, if it's soldered to the motherboard, an unusable laptop.

A sister comment to mine referred to this too: https://news.ycombinator.com/item?id=38066645
Non US resident here, I just switched from macbook 13 to system76 lemur. Half the price and double performance, could not be happier. Market is ready for segmentation and users today are more tech savvy then before.
I was wondering the same, the ASD.. keys should ideally be the piano keys, like in most software synths
Show HN: Building digitally sentient virtual agents, Neocortex
Hi Hacker News!

I'm excited to share that I started working on a new side project named Neocortex. I've set up an email list to keep those interested updated. If you are, please consider signing up at https://neocortex.link

End of last year I have started teaching people how to create and use smart virtual agents and advised companies on how to bring value by populating their products with human like characters. The interest in this field really exceeded my expectations and I wanted to weigh in and simplify this process even more.

I have a lot of ideas around this given my background and knowledge in Machine Learning, NPC Creation, Game Development, Web Development and Avatars, I wanted to fuse all these together to make a system that automates this process.

It is moving slow since I spare my evenings and weekends for this, but I enjoy learning and applying new things in this novel and uncharted field. If you would like to tag along and see where this go you then sign up at https://neocortex.link
The more code-oriented folk might like Glicol https://glicol.org/
That's _very_ old; v1.9.4 was released May 2018...
Plus if you run into financial trouble, you can debase the currency for a while before people catch on. I think somewhere I read that this eventually happened to most ancient-world currencies, except the Venetian currency (Venice being run by merchants).
Re the subscription, it’s difficult to see how this is a step forward. Do computers (or, mobile phones & tablets) not exist?

It’s sad, but Casio’s been “s*tifying” their calculators over the past year.

Their 2023 calculators for high school are a particular highlight[1]: less buttons, more menus, more key presses for common operations. Sadly Casio are hugely dominant in many markets.

[1] https://b28mathstutor.co.uk/the-new-casio-classwiz-cw-calcul...
Running water is no substitute for walking miles to the nearest well
I wouldn’t call it a “major intervention” because I would consider anything that was a major intervention to involve some professional guidance. Especially if someone is suicidal or at risk of some other form of serious self harm.

However, I have applied this advice with someone I love, who was doing not too well last year. They were in a pretty bad place mental health wise, and I was really worried. I just spent a lot of time being with them, whether they wanted to talk or not, and when they did start to talk, I made sure I actually listened. They are doing a lot better this year. Can I say that it’s directly because I listened? No
Is that a major intervention? No. But what it did was build a much stronger relationship with a lot more trust and I think that is pretty helpful.
I don't understand why you are trying to accuse me of bikeshedding. Seems like you are just trying to dismiss me because I don't agree with you? I've asked numerous times for actual contributions to economics or the history of economic thought based on the book in question. But it seems that people enjoy pontificating about Marxism or "offering a fresh lens" more than a grounded discussion.
I remember writing a cgi app in delphi back in the late 90s to emulate our in house excel sheet that priced up a custom computer.

Do you have any suggested reading for what you're suggesting because I'm just about to start a project and as we do a lot of our LOB apps in Delphi this seems useful?
Why not? Sans the actual sitting down with the person, that seems entirely unnecessary.

We know the reverse is definitely true, people actually do get deplatformed, so why is it unreasonable to think at least some winners have been picked?
What Is the Federated Data Platform (FDP)?
Yeah, that doesn't work very well in my experience. Not aggressive enough about stopping at 80% unless your routine is very regular. I want it to always stop charging at 80% unless I say otherwise.
It’s also a AAA game, it’s just running on a potato and looks the part. It would be a better game if it was developed for hardware from this decade.
In the UK, taking pride in your work is for "boffs".
I noticed that all the "circles" for alternative metrics are aligned with the coordinate system. For example, the one for the Manhattan distance has its corners on the coordinate axes.

What if we added an additional condition that a distance metric should not change when the orientation of the coordinate system is changed? Could we still have different values for the pi constant then?
Private grounds, private laws.

I still don't get what benefits it brings not to have photos made and spread.

Edit
*In the end, it's all ads.
Error 0x82d60002 seems intentionally user hostile as well.
The wizzards can channel the power of lightning through rocks to produce porn, what a time to be alive.
If you don't have your own star spitting out bespoke elements, are you really doing it at all, or just using someone else's work
What is Temple Quay?
Incredible article, thank you for sharing!
I'm in agreement, the UK doesn't use these.

They seem more suited to engineering where the equations you get might exceed the mathematical ability of students to solve them, or the maths is irrelevant to the engineering problem and you just want an answer within a few decimal places.

If I were a teacher I would worry that eg students ask the calculator to solve, get 7/2 and use that as a reminder of the technique to symbolically solve the problem.
This will be a call-to-action for sub-250g drone flyers, wait and see.
Maybe Minecraft and other sandbox games?

Although I'm sure that with enough abstraction you could find a pattern, but that's true for everything.
Dfef
The article suggests that this land is owned by a public organization.
Electoral bonds are a threat to Indian democracy
The reason is admission of calculators to exams in schools and universities. Casio and Texas Instruments basically have a cartel that dominates this market. Often one of these calculators is required.
hihi! Built a form builder that has strong social and web3 verification control to prevent bots and promote quality data. Appreciate all feedback!
When $HOME is exposed to the world it matters.
The lowest end of the offerings from 2 generations ago? Yeah.
This looks like it has some good information, probably best to read about it here: https://en.wikipedia.org/wiki/Temple_Quay
Analogies are double-edged sword [0].

[0] sorry for the analogy.
TL;DR -

The real reason I quit was that I had promised myself that I would never spend more than 10 years at a company that I didn’t start myself. My deadline was coming up fast. And that deadline was a good thing; I was getting far too comfortable. I was cheerfully handing over my best ideas without taking a stab at developing them in the wild.
Youtube is very much in the wrong here. They are playing victim while there's hundreds of firms out there that would kill to be in their position, but cannot as Youtube has the monopoly on video on demand. Is this what we want, one megacorp for every major industry? Sounds like the Soviet Union and very much the polar opposite of competition, which is the base for any capitalistic society. A healthy market would have sorted this adds mess out by itself. Even if Youtube were an entity on it's own and not already owned by an even more massive corp, it'd be way overdue for breaking up.
No competition -> no capitalism -> no personal prosperity -> no personal financial freedom
Is it good hygiene to delete these records once they've served their purpose (i.e. validating control of the domain in question)? Or do these records server more than that use?
What does the "circle" look like with correct assumptions?
Show HN: I made a free Crisp plugin to make API requests from your inbox
A Crisp chat plugin to trigger API requests directly from the crisp sidebar.
It's the same. They dropped the "Next" some time ago.
Welp, I wonder when this will make sense to look at -- I'm pretty happy with `IngressRoute`[0] and related CRDs that are used with traefik.

I guess when traefik goes all-in on gateway (they were one of the earliest with support for it), then it will make sense.

[0]: https://doc.traefik.io/traefik/routing/providers/kubernetes-...
Researchers decode new antibiotic
And Sonic Pi, perhaps: https://sonic-pi.net/
>Yet another move by MS contrary to the ‘see we arent the same company as we used to be’ vibe they’ve tried to cultivate.

If you believe their claims about that, I have a bridge to sell you...
Well there is a limit, one unit cell.
These are good points and interesting, I’ve never seen such analysis, but imo their support of right to repair is because they’ve steered the discussion into a direction they are comfortable with.

The apple self service program is apples ideal of right to repair. A shitty program where you can buy board assemblies and larger parts for fairly high prices with no changes to their software approach whatsoever. A battery change through this program is ~$120 up front (if you rent the tools, which you probably should) with a $30 refund when you return your dead battery. A battery change via the apple store is $99. You can only buy parts if you give them the device serial number up front (so fuck independent shops) and you need to call apple at the end to pair the part on their end.

A pointless program with tons of waste still created. A short on your laptop motherboard? Better buy a new motherboard. An issue with the camera on your MacBook? Better buy a new lcd assembly.

They will suddenly become very against right to repair the moment it starts to actually fight for things like schematics and board diagram access, component availability and not just parts assemblies, parts pairing that’s done in a consumer friendly way, etc.

imagine legislation that says apple has to change parts pairing so that if a consumer unlocks their phone the parts have to be able to be sold as well? Or that they can no longer enter a contract with Texas Instruments to buy 100% of their stock of a usb c controller ic for a MacBook Pro so repair shops can’t buy it on digikey or mouser? Etc. they will fight that hard and then just find a way to circumvent it (like making their own usb c controller ic)
They are actually removing the ability to control ads in the near future. To my understanding, the only ads creators will have full control over are midroll ads.

They will be improving ads on the platform by removing the creator's control over them.

> optimizing creator revenue and taking the guesswork out of which ad formats to use by removing individual ad controls for pre-roll, post-roll, skippable, and non-skippable ads on newly uploaded videos.

https://support.google.com/youtube/thread/233723152/simplify...
Xim users destroying the integrity of multiplayer FPS causes this, unfortunately.

The fact of the matter is if you’re allowed to plug in any peripheral into a game console, you can and will get prolific cheaters in a multiplayer environment.

Maybe only bring in this check if your console is not in offline mode? And please make it cheap to actually get certified.

Regular accessories that don’t alter gameplay can and should always be an option for a user. If a certification process has to happen to use the accessory online, so be it, but I hope this doesn’t hurt the market too much.

Edit: I’m aware that Xim currently uses controller authentication to work and therefore this specific change may not affect it. I wasn’t claiming that this would get rid of Xim, but arguing that a huge reason for this change is to begin the process of cracking down on rampant cheating in online multiplayer games (shooters in particular).
Hah, I'd given some thought to malinvestment in capitalism but never quite connected it to malinvestment under central planning.

It feels about right... it's almost the same thing. Except there are multiple competing "central authorities" with money, so the ones who fuck up do get burned a lot harder than they would if they were part of the very big government.