skysight-inc/HackerNews huggingface dataset:
> Otherwise, the Remarkable 2 or Remarkable Paper Pro are your best bets. Those are absolutely excellent products that don't overwhelm you with distractions.

You need a word of caution here. These devices are very good for writing but absolutely suck at rendering ebooks. I was on the market for a new e-reader/writer ultimately decided to go for the Boox Note Air 3 (no backlight on the Go was a deal breaker) and I think remarkable really dropped the ball by releasing the Paper Pro with a pen that needs a battery. Coming from years of using a Kobo Ellipsa, this was a huge deal breaker. The Remarkable 2 is a bit old and underpowered not to mention the limited amount of storage space.
I tried an experiment with this using a Prolog interpreter with GPT-4 to try to answer complex logic questions. I found that it was really difficult because the model didn't seem to know Prolog well enough to write a description of any complexity.

It seems like you used an interpreter in the loop which is likely to help. I'd also be interested to see how o1 would do in a task like this or if it even makes sense to use something like prolog if the models can backtrack during the "thinking" phase
The thing about Joe's interpolation operator is that Joe doesn't work here anymore but thousands of users are relying on his work and we need to change it such that as few of them scream as possible.

That's the natural habitat for code, not formally specified, but partially functioning in situ. Often the best you can do is contribute a few more test cases towards a decent spec for existing code because there just isn't time to re-architect the thing.

If you are working with code in an environment where spending time improving the specification can be made a prerequisite of whatever insane thing the stakeholders want today... Hang on to that job. For the rest of us, it's a game of which-hack-is-least-bad.
Interesting because I have recently been trying to catch a stray cat for a capture-release process and the cat will not walk into a typical trap-door type wire mesh trap. Watching him on video the roof of the trap seems to freak him out. It seems a better trap would have a narrow gap with high door that lets them confidently walk into the trap and trigger would just block the slot perhaps with some sort of sliding door blocking the exit.
slippery slang slingers
I’ve found most men are actually very open to sharing their feelings if you ask them about it.

They’re often relieved to have somebody who actually cares to listen.

These studies place the blame on men for not “opening up” or “sharing their feelings”.

I think that attitude is hurtful. The blame lies with those who are unwilling to listen, which is honestly most people.
There are loads of terrible companies around, so I'd be surprised if none of them had ever tried to intercept Blind sign-up messages before now, and if you're a tyrant CEO at one of said terrible companies, getting the emails forwarded to you is merely the next logical step.

The next paragraph in the text is a lot more interesting:

Some of the most commonly discussed topics on Blind are protected speech in the U.S.—pay, job terminations, critiques of workplace conditions—which we believe workers should be free to access and discuss.

What are the consequences (in the US) of a company blocking that?
>A two state solution is the stated goal of the PA, the representative of the Palestinian people. It was the goal of Arafat. Are you seriously saying that their goal, had it been reached, was a continuation of colonization?

I'm sorry but wasn't this also you?

> OK. Can we agree that withdrawing all settlements and the military means less occupation than before?

Obviously, there are many in Palestine who would agree to a deal that *granted them statehood* and meant less occupation than before even if it didn't mean the full return of the land.

This isn't a serious line of questioning, you're talking out of both sides of your mouth. You can't say they're doing more colonization without the deal and then say the deal was bad for Palestine.
I thought it was a big upgrade. Comparing Zerox w/ Unstructured on the first 5 pages of [this datasheet](https://www.ti.com/lit/ds/symlink/lm5117.pdf); zerox gave me what I wanted, and Unstructured gave me a bunch of extra junk that was harder to sort through at the top
so many rich (mostly white) kids!
>> One hundred and fifty-nine people took the offer and left.

Wonder how many of those that left were in the "six months of pay" bracket. I suspect most of them were in the $30,000 bracket. If you make less than $60k/year, it's significantly easier math to decide to take the payout and find another job.
Interesting, another battlefront for AI vs. AI.

Probably will be well-liked overall by Kagi customers, I'm sure. I'd be a bit concerned about false positives, but I suppose the stakes are pretty low compared to other similar situations (e.g. using AI to detect AI-generated essays in University), so there's not much of a concern.

Is there any mechanism to provide feedback for false positives?
This depends on company culture, but yes increasingly having your camera disabled is considered unprofessional unless everybody else has camera off as well (or if there are a dozen or more people in the meeting. In that case rules change a bit).

We could argue about whether it should be that way (I'm quite unsure tbh), but I would advise people who care about professionalism to default to on.
Counterpoint: Most podcasts were utterly worthless before AI too. The world will do fine losing a few mattress ad vehicles.

Like other data, provenance suddenly matters a lot. From my POV, that's good. Not all data sources are created equal, and this is putting it into stark enough relief it might actually change the landscape. (In case it isn't obvious, I strongly believe most of the Internet was garbage well before LLMs. We just called it "SEO". Still garbage)
You might not care for Rust but other people do. There is this concept called selling point where one highlight something of significance that helps one stand out from the rest. But you do you and if you find yourself running any program written in Rust, you would be a hypocrite.
Life is too short to work in such a toxic place. I've been in two of them; not having a job can be bad, but life goes on much more pleasantly when you get out.
Didn’t anyone tell them to become a plumber?
I think this is a great comment and that you absolutely nailed it. It’s a shame that it’s now buried under a flagged response, but still I wanted to make sure you knew (since it was directed at me) that I read it and appreciated it.
Wirelessly Tx 49 MHz toy with I/O line flipping on Pi Pico [video]
Windows 3.1 called and wants its MDI interface back.
[dupe] Earlier: https://news.ycombinator.com/item?id=41868090
One-cheek rule:

> The following rules are sanctioned by the National Crokinole Association and used in all NCA Tour events.

> (…)

> 7. i) When a player is shooting, at least one portion of his/her posterior must be in contact with the seat of his/her chair.

http://nationalcrokinoleassociation.com/resources/rules.html
This is a solid idea, but I wish they addressed the elephant in the room — image search is by far the weakest part of Kagi. For a considerable portion of queries, a large part of the results isn't relevant. If you use filters, they're often ignored or don't apply correctly. Many images are tangentially related at best. The list goes on. I've been paying for Kagi for a long while, yet I've seen nearly no improvements on this front. Image search is one part of their product where I often go to Google or other options because what Kagi does there just doesn't cut it.
As I understand it, this only applies to dispensaries where it is already allowed to consume on-site (which is not all dispensaries), and is regulated by local zoning laws, including (optionally) having sufficient smoke and ventilation systems.

> (F) The local jurisdiction considers whether to require adequate ventilation and filtration systems.

> (i) Ventilation and filtration systems are considered adequate for the purpose of this subparagraph if they prevent smoke and odors from migrating to any other part of the building hosting the consumption lounge or any neighboring building or grounds.
30 kids in a class... what, did you attend private school?
We already have the centralization. Except with no oversight of when and who you get banned by and why.
> if you think of all people as people, even Republicans

The OP didn't accuse Republicans of being non-people. They specifically made a -- true, incidentally -- factual claim:

> > That's why they spread lies about refugees and other legal immigrants, right

It is notable, though, that it is the Republican candidate that has very directly been using dehumanizing language. And you are here asking people to get into a both-sides argument. The situation isn't symmetric: the arguments shouldn't have to be.

> I understand you might not able to think in these terms when it comes to the hated enemy

Also notable it is that one specific candidate is using the term "enemy within" to describe US residents. It's not the Democrat.

> Or even that they don't hate illegal immigrants, but think that laws are a good idea and criminals should be punished, not rewarded.

Again, your statement has nothing to do with what you're responding to.
I’ve only seen that at Asian restaurants near a university in my city. When I asked I was told that this is a common way in China and they get a lot of international students who prefer/expect it that way.
You can’t just say that without acknowledging the fact that people find their products valuable enough to purchase.
A hand-holding guide to writing FUSE-based filesystems in Python [video]
> Why only give your people 4 hours with no advance notice?

To be able to brag about how few took the offer.
People's supposed issue, and Meta's, is that this was not spent on food. We can fix that.

> Zero sympathy for thieves

I often find that those who process information in such absolute ways are typically simple-minded. I can come up with infinite examples where thievery is not only excused, but the most moral choice.

There are much better ways Meta should have gone through this. And, ultimately, I put the blame on them for coming up with an exploitable and naive policy.
Self defense is not seen based on how many skulls you collected.
Hamas needs to go and that's how Israel will do it's self defense.

Proportionality has nothing to do with self defense.

Hamas the org was involved, and the other ones too, they are the target.

But I do agree that Israel's policies regarding air strikes are fucked up
The example is still the same in the second edition of K&R, which is based on C89.
> that a schema migration or code deployment would?

> provide GUI and governance controls on top of that?

Exactly. Data doesn’t exist in isolation. Databases are dependencies of services, and schemas evolve throughout the software lifecycle, often managed by different data migration tools. In large organisations, regular developers usually don’t have direct access to the data sources, and masking rules along with real data sources are often restricted. Schema changes must be validated by the responsible data governance teams to ensure compliance and accuracy.

That’s why we implemented the validate command even in this standalone tool, which checks for schema differences and prevents running a dump if any schema changes are detected with detailed warnings. https://docs.greenmask.io/latest/commands/validate

I once presented Greenmask at an event organized by Percona in Cyprus, and one of the questions raised was: “What if we have a staging database, but instead of cleaning up the database and data, we want to add something to the existing dataset?” At the time, I didn’t have an immediate answer. However, this question inspired me to think, and eventually, I found a solution that at least partially covers this case:

You can restore data in topological order by preserving references and ensuring proper dependency handling (https://docs.greenmask.io/latest/commands/restore/#restorati...)

You can exclude non-critical errors to streamline the process without disrupting key operations (https://docs.greenmask.io/latest/configuration/#restoration-...)

I want to emphasize that this type of software must be flexible and adaptable to meet the ever-evolving needs of businesses… Otherwise, the project is as good as dead.

——————————

> And I wonder if it would be worth talking to folks who do SOC 2 auditing

I’ve had discussions with professionals from Information Security, including those working in SOCs, and you're absolutely pointing in the right direction. At the moment, I’m actively exploring solutions and building a concept. I believe that by 2025, we’ll be able to showcase something new.
Been using Kagi for a good year or more now and am very happy, but this feels like a real level-up.

This is exactly the kind of thing I want to be paying for. It doesn't even matter if it's not 100% accurate (I don't think it ever could be without some serious processing), the commitment to down-ranking sites that have low quality content is the whole ball game for me.
That's correct; https://wordpress.org/news/2024/10/wp-engine-promotions/
dicytea's workaround (https://news.ycombinator.com/item?id=41871624) works - sort of.
Except a toothpaste is maybe a buck, and going to Disneyland is very expensive.

Or have we just forgotten reasonableness? We can just... extrapolate anything to anything?
Lots of GOFAI being implemented again – decision trees, goal searching and planning, agent-based strategies... just not symbolic representations, and that might be the key. I figure you might get an interesting contribution out of skimming old AI laboratory publications and seeing whether you could find a way of implementing it through a single LLM, multiple LLM agents, methods of training, etc.
The last few generations of x86 MacBooks were exceptionally bad implementations in this regard, and some of the better thermal behavior of the Apple Silicon MacBooks are things that they could just as easily done with an Intel CPU, if they had felt like it. For example, the Intel MacBooks was extremely eager to ramp its power consumption to the max, while the ARM MacBook slowly increases clock rate, one step at a time, such that it only hits max power after a long time of sustained demand.
> There is already an emoji for frog, which can be used to represent all amphibians.

I'm not a big fan of this example. Does "lizard" represent all reptiles? "dog" all mammals? I suppose salamanders are taxonomically similar enough to lizards that specific amphibian emoji aren't necessary for them, but that's not the reason given.
Yeah that's how I ended up making it stop but if this is what these NPUs are being used for just.. why?
Bridgit Mendler, a former Disney actor, launches space startup
Yeah, the other category (I mentioned in my footnote-edit) is giant games that you dedicate a large part of a day to. Diplomacy, Twilight Imperium, that stuff. The two ideal gaming-situations for BGG-type gamers are multi-game game nights, and gatherings to play a single round of gigantic games that they can never get their more-normal casual game night enjoyer friends to play with them :-)

Further, you see a lot of "This game has seen tons of play at our table! Maybe 100 times!", not like chess where 100 matches is something someone who's barely even interested in chess may achieve by accident (I bet I've played 200+ matches in my life, and I'm not really that into chess, don't find it as fun as probably most other board games I've played, and remain entirely terrible at it—and I mean it, even chess programs set to stupid-mode so they only look one move ahead get me about half the time, because I reliably blunder badly at least once per match and they catch it every single time). It's just a very different crowd than the dive-very-deep-into-one-game sorts that might rate whichever game they've chosen to do that with as #1 and aren't even really looking around for other games.

There are exceptions in the rankings, that's not absolute, but mid-weight game night games that play something in the 4-8 range, good lighter filler games for game night, and enormous this-is-your-whole-day games, tend to be the ones that do well, assuming they're also, like, actually good for what they are. That's why super-famous games like chess aren't higher than they are (if chess were just invented today I bet it'd struggle to break the top 5,000—"Two stars, some of the variant rules are OK but ultimately if you want an abstract two-player game on a grid, you're better off with GIPF, and the knife-fight tension and wonderful portability of something like Hive just isn't present here, if you want a game with theme but don't really care about it connecting well with play—which this game clearly doesn't—just get Hive. Also they should print the piece layout and move sets on the board, it's hard to remember all that stuff and it's not like that space is used for attractive artwork or anything mechanically-relevant except the grid anyway.")
Certainly. Capybaras are semi-aquatic mammals, and their head as a consequence is positioned significantly higher than their bodies, resulting in a general pose which can only be described as 'regally aloof'.

Cavies on the other hand look like adorable furry idiots with a much less angular — in fact, rotund — outline.

Aside from both being rodents and (apparently) delicious, these are quite different animals.
okay, but this all still seems like a needlessly complicated conspiracy theory.

if they want people to buy books from their store, why do they make it so easy to not buy books from their store?

bugs happen. not every bug is part of jeff bezos' nefarious plan.
> They choose not to because it's obscenely hard to build what Palantir has already built and to battle test its security anything close to what Palantir has done.

While true, it also doesn’t answer legitimate concerns that the British public had that their medical data was being shared with a foreign entity that had actively participated in foreign government programmes of questionable morality.

The response to that was “all fundamental contractors have done dodgy things.”

To which you have my quoted reply. Which I’m not sure you understood at all, judging by your response.
I have given your service a try, and while the UX was impressive, I was bothered by an apparent lack of encryption. The landing page, the privacy policy, and your mission statement all make many mentions of encryption and security, yet (besides TLS) there doesn't seem to be any encryption going on as far as my browser is concerned.

I created a new folder, created a text file in the folder, and added some text to the file. The name of the folder, the text file, and the content itself were sent to the server unencrypted (besides TLS).

I'm sure your server encrypts the data immediately, but this adds unnecessary trust when client-side encryption could be employed. It also enables an attacker or a potential future operator to sniff the data before it is encrypted. That's no good!
I clicked the comments, searched for "MDI", and feel seen. Then I felt old. Bringing back old UX patterns like they are new.
Show HN: Super Diet Plan
no, This was a policy where you can get a voucher for food if you are staying late to work.

I have a business travel card for food when I travel. I'm not "obliged" or permitted to use the travel card for my personal household expenses.
Conjecture: ChatGPT Is Turing Complete
I haven't seen this addressed directly, so I wanted to bring it up for discussion here.

I propose that the latest version of ChatGPT (o1-preview) is Turing complete. My argument hinges on a simple observation: ChatGPT can execute arbitrary programs written in the BASIC programming language.

Given that a system capable of running arbitrary BASIC programs is Turing complete, it seems reasonable to conclude that ChatGPT itself possesses this property.

Evidence: I’ve tested ChatGPT with a variety of BASIC programs, such as the following:

10 LET X = 0
20 LET Y = 1
30 FOR N = 1 TO 15
40 LET Z = X + Y + 1
50 LET X = Y
60 LET Y = Z
70 PRINT Z
80 NEXT N

ChatGPT successfully processed and executed the program, outputting the correct results. You can see the interaction https://chatgpt.com/share/67116f0c-2df4-800d-a235-9b6a2cb73ca4 and I encourage anyone to verify the behavior using a BASIC interpreter like this one https://yohan.es/swbasic/

I'd love to hear the community's thoughts on whether this observation qualifies ChatGPT as Turing complete and the broader implications if so.
Full title: Harvard Punished a Student for Disrupting the Chinese Ambassador. The Chinese National Who Manhandled Her Was Let Off the Hook.
Emulated desktop Operating system written in a high level language, compiled to an intermediate assembly language, run on a virtual machine written in JavaScript, executed in a javascript engine, run inside of a sandbox inside of a browser, inside of an operating system just like the proprietary one one being run at the bottom of the stack.

All so you can "create text files" on a proprietary platform that won't work without the internet. What a time to be alive!
Patiently waiting for z3-guided generation, but this is a welcome, if obvious, development. Results are a bit surprising and sound too optimistic, though.
Technically, you can say that an OS is a term for managing complexity. We're managing the complexity that comes with the modern age of the internet & the web platform. At this stage, I agree it might sound like an overstatement, but it's aligned with our vision and where we eventually want to take it.
This article could've been written by ChatGPT. It's bland marketing spiel with feel-good emotions and nothing concrete.

Nothing exemplifies this more than the section on "Cultivating Imagination Through Playful Design". Despite the header it shows the most bland and generic "scandinavian design" imaginable with no place for either imagination or playfulness.

This is exactly how many of these soulless buildings are built by "jack of all trades and a soon-to-be Master of Architectures": by stringing together the most basic of shapes with utter disregard for history, culture, or context, and slapping meaningless word diarrhoea onto them.
I find it's hard to read. And it's slow to load. What is built with?
So true. In the same boat with having two of them. Stole 7 years off my life, and took 3 to recover from. It's not worth it.
GIMP did spawn one kinda good thing, GTK was made because Peter Mattis disliked Motif and wrote a replacement and called it the GIMP toolkit
While Pax Americana does have some benefits (but not for everyone), taking examples from history is worse than useless when nuclear weapons have completely changed war.

China might be eyeing Siberia for all its space and resources, but unlike in the modern era, the chance that they will declare war on Russia is basically nil.

It even predates nukes when you look how WW1 and WW2 had only losers (nothwithstanding those that didn't let war touch their territory, like USA). But I guess that we were too "dumb" to figure that out before nukes.

And still are, Russia is getting an example of it in Ukraine right now... speaking of, what "rules" ? Russia just went and completely ignored the Budapest memorandum (while Ukraine is regretting deeply they didn't keep at least some nukes).
Hi Peter, thank you for doing this. I'm a YC Founder, Ex-FAANG who applied for an O1 visa but got a "kitchen sink" RFE (i.e disputing all of my claimed* O1 qualifications). Is withdrawing and re-applying my O1 petition a good idea? Are there any known downsides to doing this? Thanks again!

Disputed qualifications include:

1. YC funding is not an "internationally recognized award"

2. YC membership is not "an association that requires outstanding achievement from its members"

3. Beneficiary's role (CTO) doesn't prove their critical role to the organisation.

4. Previous high renumeration is not evidence of high salary in the field as a whole. Nor is equity in YC company.