skysight-inc/HackerNews huggingface dataset:
Exactly. My eventual goal is to be able to emulate any single player with a public game history. Maybe even flag unhuman-like moves that also happen to be top stockfish moves as possible cheating.

My current chess engine already hangs its queen sometimes and walks into forks. I'm still experimenting with how to improve personalization.
While obviously I prefer Unicode, latin-1 is perfectly acceptable for most use cases in Western cultures.

What part of searching have you found to not work well using it?
With C, you are not 100% sure that ur code will work. You have to verify and extensively test it.
With C++ you have some very vague guarantees about ur code but you can easily transition from C and even have some interesting type safety like mp-units.
with Rust, you have some good guarantees that ur code wont have UAF, will be threadsafe, etc etc and you can probably invent some interesting typesafety like mp-units.

In all 3, you gotta verify [frama-C, astree,bedrock, the many projects working on rust, esp the coq one] and extensively test it.

But by default, all 3 provide a different level of gurantees
The cost of current compute for current versions pf chatgpt will have dropped through the floor in 2 years, due to processing improvements and on die improvements to silicon.

Power requirements will drop too.

As well, as people adopt, the output of training costs will be averaged over an ever increasing market of licensing sales.

Looking at the cost today, and sales today in a massively, rapidly expanding market, is not how to assess costs tomorrow.

I will say one thing, those that need gpt to code will be the first to go. Becoming a click-click, just passing on chatgpt output, will relegate those people to minimum wage.

We already have some of this sort, those that cannot write a loop in their primary coding language without stackoverflow, or those that need an IDE to fill in correct function usage.

Those who code in vi, while reading manpages need not worry.
Could you tell us please who has “I’m the main character” mindset in this discussion?
people kept whining about Amazon losing money and called me stupid for buying their stock...
And instead of blaming OOP, have you actually used a profiler?
it's when I'm a computer scientist, theoretically
I had to go back and scan it but usually there are at least a few named sources and I didn’t see any in this (there’s third party observer quotes - and I may have missed one?) so I’d not be surprised if this is a case where they double down on this.
Why Go and Not Rust? (2019)
This is what my 20s looked like… It took over 10 years in my 30s/40s to regain the ability to finish anything.
Related:

Why Go and Not Rust? (2019) - https://news.ycombinator.com/item?id=34552981 - Jan 2023 (172 comments)

Why Go and Not Rust? - https://news.ycombinator.com/item?id=20983922 - Sept 2019 (477 comments)
> Basically allowing for a uniform way to query data which is reminiscent of a more modern version of SQL.

Pretty much. There's the "language integrated" version which looks a lot like SQL:

var foo = new List<int> { 1, 2, 3, };
var response = from x in foo where x > 1 select x.ToString();

But that just translates to the method-orientated one which many people prefer

response = foo.Where(x => x > 1).Select(x => x.ToString());

If instead of querying a List or Dictionary you query a database, using an ORM (usually Entity Framework), that will actually get converted to SQL and run on the DB.
itertools would be the starting point, unfortunelly Python is rather limited due to the way it only supports one line lambdas.
>Not understanding the expectation that Single() requires exactly one of something.

Sorry, but idk how it is footgun of LINQ. It is like complaining about 0 or 1 based indexing

>Not understanding how damn hard it is to test LINQ stuff.

Any examples? Because I struggle to see such
To be clear, Atheists have different belief systems. They all have in common that they believe in one less god than monotheists, and a handfull less gods than polytheists (that, they share with monotheists), but overall you can have different belief systems that do not involve the existence of one (or multiple) god(s).

I know someone who does not believe in gods because he think aliens are playing with us (fake flags etc. Basically the Stargate mythos, except he never saw the show). Less anecdotal, Chalmers is definitely Atheist, but i sure don't have his belief system, and i'm sure no functionalist does.

Also, in general, philosophy of mind is imho the best way to test you belief systems. Or maybe it's the philosophy field i'm the most comfortable in and thus the one where i pushed my beliefs the furthest :/
Culture is mostly generational habits, learnings, hacks etc. Poverty and scarcity for generations could scar people into adopting certain habits as a way to survive; and it can be eradicated if the causal conditions go away and others take its place.
>Not any indicator of things to 'do' to help not develop ADHD later? No actions to take?

Reduce early life adversity.
As if it would be more difficult to just buy the thing from the gift shop and make copies of that. With a physical object you can make molds directly from that without having to figure out how to turn a point-cloud file into a physical object.

It's a pretty bad argument even besides the lack of legal relevance.
Apple also controls the whole OSX world.

They effectively said new Macs will be arm. If you want to develop for OSX it better be ARM compatibility .

Microsoft has a chicken and egg problem. Why would I port even my games to Windows ARM when the vast majority of users will be on x64 anyway.

Windows ARM isn't much more efficient when running a x64 binary anyway. You have strange comparability issues.

This is less of an issue with Linux since we can ultimately recompile our own software.

But as mentioned above, Qualcomm doesn't feel like supporting Linux, at least not well enough for it to be usable.

Honestly Microsoft( or another OEM) needs to ship a dual boot ARM laptop. The 12th of never when they happens these laptops will sell well. As is they're effectively on clearance. A 3 month year old laptop already 30% to 40% off.
> What's shocking to me is how much people aren't pizza gating these eye scanning orbs

That’s an interesting point. It got me thinking and I think it might be related to the (for lack of a better term) “revolutionary messaging”. What I mean is that conspiracy theorists are guided by a mindset of revolution: It’s always about how the status quo is constructed to fool and control you, thus the truth is by necessity a revolutionary idea known by a select few who must rise up to fight the tyrannical ideas and brainwashing of the world government.

So scammers appeal to that notion. Instead of trying to work with others to enact real change to the systems in place, they hype themselves as lone wolves that are proven right because others disagree with their ideas.

It’s hard to make a conspiracy theory against something which already defines itself by being outside the norm and fighting the status quo. Cryptocurrencies fall squarely in that.
My point, perhaps badly made, was that copyright law has expired, therefore it should be in the public domain.
> saying that the reviews left on the app were actually from peers rather than customers.

We need to start arresting people for this. You can't sell a product with fake testimonials. If you're not selling anything, lie to your hearts content. But this is fraud.

https://www.ftc.gov/business-guidance/blog/2024/08/well-pay-...

https://www.nfib.com/content/legal-blog/marketing/what-the-f...
It certainly is, unless you are talking about SQL like syntax, which is basically syntax sugar for classical FP.

And I explicitly left Go out of my list.
In fairness, reasoning about collations is like peering into the abyss. I get why they’re required to have so many levels of detail, and the Unicode Consortium has done a fantastic job, but to say they’re complicated is putting it mildly.
How much of that is LINQ-specific and how much is just the cost of using an ORM to build queries rather than typing them out as SQL?

I've never encountered testing problems with LINQ-to-objects.
How does one backup a sqlite without stopping the app or disrupting service? I couldn't find a simple answer to this
"Moreover, a similar activation pattern related to lifetime ADHD may suggest that the impact of early life stress on ADHD may possibly be mediated by a dysfunctional reward pathway."

What is a dysfunctional reward pathway?
I do a lot of hiring, email me if you want to chat.
Caring Less About Work can get us what we want [video]
Is there any data about H1B for large workforce "suppliers" vs. for individuals?

As far as I know, H1B doesn't allow you to be an Accenture in India, and ship people to the US (even if they'd be at Accenture in the US).

That said, for companies like Best Buy, H1B is just a tool, and if they want to pay less, they will find a way to pay less. What they will not do is pay you more. Instead of moving people around, they might opt to move the office to a different country. Writing software isn't bound to any location, so maybe making moving people harder will just end up making moving offices more attractive, the net result being even less than what you have now.

Maybe it's pure corporate greed, or short-term thinking or late-stage capitalism, but I doubt it can all be pinned on some sort of migration abuse.
Order-dependency is a feature, not a bug, but it does take some getting used to. If you really want to avoid it, you can now declare all functions in a module to be mutually recursive, so you can put them in any order. Cyclic dependencies between files are still prohibited, for good reason. See https://fsharpforfunandprofit.com/posts/cyclic-dependencies/.

The F# compiler is slower than the C# compiler, but it's still more than fast enough for building large applications.
Knowing how well Valve handles stuff like this you re-roll the keys in Proxmox and play again
Show HN: AI Search and Knowledge Assistant – Stripe as a Demo
Hey HN,

Since the launch of GPTs, I’ve struggled with integrating vast, up-to-date knowledge into a custom GPT and embedding it into websites and apps. After months of trial and error, we’ve developed an AI Search & Knowledge Assistant that solves this problem.

Over the weekend, I built a demo assistant for Stripe that provides accurate answers, useful links, images in responses, cites sources, and keeps a thread history of your conversations.

Here’s what’s included:
- 3,700+ public documents full of useful info
- 105+ million characters of rich knowledge
- Powered by the ChatGPT-4o model with a custom search feature

Would love to hear your thoughts!
I was thinking the same thing. However the article says they are only letting in select people and they are getting paid close to minimum wage.

I imagine it would not be worth the hassle of breeding and releasing pythons, and the character of the people they bring in to help is vetted as well.
> Wait, when exactly did the soundness rules change since 1.0? When have you had to re-audit unsafe code?

At a minimum you have to check that the rules haven't changed for each version [0].

The issue with destructors just before 1.0 dropped [1] would have been something to scrutinize pretty closely. I'm not aware of any major changes since then which would affect previously audited code, but new code for new Rust versions (e.g., when SIMD stabilized) needs to be considered with new rules as well.

> none of that changed to my knowledge

This is perhaps a bit pedantic, but the nomicon has bug fixes all the time (though the underlying UB scenarios in the compiler remain stable), and it's definitely worth re-examining your unsafe Rust when you see changes which might have incorrectly led a programmer to write some UB.

[0] https://doc.rust-lang.org/reference/behavior-considered-unde...
[1] https://cglab.ca/~abeinges/blah/everyone-poops/
Data *should* be free, but in an age where predatory corps crawl the web to train models they hide behind paywalls, having control over your data means being able to explicitly give them to those that serve the common good.

I used to be sympathetic to causes such as this, but in the advent of the plunder of our digital cultural heritage I have become skeptical.

Why should proprietary AI get data payed for by the french tax payer?
Perhaps they've changed their process, but I canceled my New York times subscription about 2 weeks ago was able to do it online with absolutely no problem. It was a very easy process. They did offer me much better deal when I tried to cancel but I still went through with it.
Priority number one must be seeing into the future.

People change as they go through life. People who grow never stop learning how to be more themselves, less of what they were taught or expected to be, or finding new paths.

Even the positive side of change can introduce profound instability and unhappiness into a relationship.

The idea that if people would just do everything right, no relationship would need to break up is an unhealthy, and completely unrealistic, judgement.

And it inadvertently prioritizes relationships over the people actually in them.
> It's obvious that generative AI content is bad for search and indexing

It's not obvious at all. You see a problem, I see opportunities. The person you responded to mentioned Reddit. Well, the glut of garbage on the internet makes Reddit more valuable.

The "please, god, find me something a real person actually said about this real thing" isn't actually a problem very many people have. Despite all the complaining here, most people are happy with the results they get when they search Google or Bing or Facebook or Reddit.

So like every technology, there are positives and negatives. It isn't clear to me where this all nets out but I'm leaning slightly positive.

And if you don't find this technology fascinating, then I'm not sure what to say.
Pip position encoding can get that down to 3. One pip on 3 adjacent sides.

Centre pip = 1, Edge = 2, Corner = 3
VACUUM rarely reclaims space from the OS’ perspective, if that’s what you meant. It can in certain circumstances, but they’re rare. VACUUM FULL is the equivalent to OPTIMIZE TABLE – both lock the table to do a full rewrite, and optimally binpack it to the extent that is posssible.

EDIT: my mistake, OPTIMIZE TABLE is an online DDL. I’ve been burned in the past from foreign key constraint metadata locks essentially turning it into a blocking operation.
I remember getting banned from the computers at school for a month for going on this and hitting F11.
There is a ton of content about Obsidian! Also it's a fairly intuitive interface. I'd just download it and start messing around, then check out the community plugins. If you really want to dig into notes systems, then you can Google PARA or Zettelkasten, but to me, that quickly begins to devolve into homework and needless learning curves. Just bolt on what you need it for. It's very full featured and if you feel like you're missing something, just search for a plugin.
https://psychiatryonline.org/doi/10.1176/appi.ajp.20230329
It lasted for 30 years, and ended when legal segregation ended. I suppose they could have lobbied to maintain Jim Crow, if they had been run by MBAs.
Sometimes it’s misallocated resources of time and energy, a la , financial crisis of 2008. I recently started walking and lifting a lot, then added on a bunch of basketball, ping pong, swimming lessons. I ended up falling behind on non fitness tasks… had to back off on walking and sports to catch up with the pile. So it wasn’t laziness, but the guilt and anxiety from not getting stuff done was equally painful.
Agreed – it feels like sending drones out the levee access roads they mention with thermal cameras would be their best bet.
Distributed systems are famously hard to get right and mathematical formalism is pretty much the only way to do so at scale. Amazon found that out with S3[1]. TLA+ exists for very good reason!

That’s not to discount the reality that mapping the model to reality is hard work that needs to be done.

[1] https://lamport.azurewebsites.net/tla/formal-methods-amazon....
Well put, but sadly I must disagree heartily. Mathematics is half of what drives/guides/underpins natural science, but it is not itself a natural science.

As Kant teaches us in A Critique of Pure Reason, mathematics is the cultivation and extension of intuitive intellectual tools. This puts it in natural opposition to philosophy (which deals with conceptual intellectual tools) and natural science (which deals with the empirical nature of the Actual world). None of them would be very useful without the others, but that does not mean that we should abandon the distinctions, imo.

That article is great, but I think the immediately preceding sentence is telling:

Earlier that year, his father had died, and Pasten found himself turning to math for comfort. “I found mathematics really helpful for that,” he said. “Mathematics is not just about…

To put it bluntly: I think that’s just cope. Again, I absolutely agree that mathematics can be useful for natural science, but we need to look no further than the multitude of mathematically-consistent models of the universe to see that it is not itself natural science.
Unsafe blocks have a specific set of requirements they have to abide by.

Assuming they successfully do so, it is then guaranteed that no safe code is able to trigger undefined behaviour by calling the unsafe code.

Importantly, this can be checked without ever reading any of the safe code.
Except it turns out they also make basically no money from this right now - it's not a meaningful portion of their funding or other monetary support.

This is actually true of most large art museums. SF MoMa makes only 7% of revenue (not actual dollars in funding) from their gift shop and that number only goes in one direction over the years.

Smaller art museums often depend more but that is also changing.

So It's just another nonsense argument
Of note: https://youtu.be/XMKzeg78peg?si=8YfUyNHszg9mafLb

That's how I learned crokinole existed.
Why settle for three dimensions? With Oracle you can own time itself.
This the law of unintended consequences in action. I suspect that neither the government nor museums thought there was any legal obligations to make 3D scans public and I'd wager that the legislator did not have that in mind when they drafted the freedom of information laws.

But then, suddenly (as per linked article):
"The Commission on Access to Administrative Documents (CADA) ... had never before considered any dispute about 3D scans. It affirmed my request that musée Rodin communicate copies of its scans to me, determining for the first time that public agencies’ 3D scans are in fact administrative documents and by law must be made available to the public."

A decision which has been going up the chain of courts since and is apparently close to the possibly dramatic climax.

Indeed, the commercial argument is therefore irrelevant to this and the museum was clutching at straws there, really...
Introducing natural predators for pythons like the king cobra might be a more scalable solution. It’s very hard to shoot all the members of an invasive species.
> those all sound like things that are display layer and shouldn't be dependent on KFX to be able to accomplish

Seems like that's how it should work, but it doesn't. Maybe that's by design or maybe it's fallout from poor choices Amazon made earlier in Kindle history. I really don't know.
One difference with LINQ is its ubiquity. It works with database, in memory data structures, on disk files. You can use your skills/code across all the system.
Obtaining high quality training data is the biggest moat right now.
States do a lot of things with taxes that benefit commercial interests. Why should this data be an exception?
(Not OP)

>> How do you debug DCGs? I get "false." instead of "syntax error at line 23", which is unacceptable for bigger inputs.

You need to include exception handling in your DCG rules. For example, in Prolog-like pseudocode:

pink_apples([A|As]) --> [A], { red_apple(A), throw(error(type_error(pink_apple,red_apple),_)) }.

% Raises type error:
ERROR: Type error: `pink_apple' expected, found `red_apple' (an atom)
ERROR: In:
ERROR: [12] throw(error(type_error(pink_apple,red_apple),_10070))

Called from a source file the error output will list the line in the source file where the exception was raised. There are more tools to debug the error:

https://www.swi-prolog.org/pldoc/man?section=exception

DCGs parse lists, not strings, as such. So the input can be anything you can put in the form of a list.
That is pretty much the funniest piece I've ever read linked from HN!
The hardest part I've found is figuring out what "low cost" items in one area are "high value" in another and worth schlepping over.

Here's one - Milwaukee Packout is majority red in the USA but mostly black (people call it "Blackout") elsewhere in the world. If you have luggage allowance, buy some and bring it back to the USA and it'll sell decently.
Would you have that email from Amazon? That sounds interesting!!
I've found [0] for clojure, which maps the best IMO, but it also contains links to the same LINQ examples in other languages (java, kotlin, swift, elixir, python, ...).

[0]: https://github.com/mythz/clojure-linq-examples
It’s an hourly wage and the pay isn’t high enough to cover costs of breeding pythons.

A python can weigh over 200lb. It takes a lot to support a snake that big and they monitor sizes to ensure the catch matches what you would expect from a wild population.
Even modern high end graphics cards use abstractions of the base data to create vast amounts of the final output's fine detail. For example tessellation and other techniques used for complex geometry like compound curves, which allow millions or billions of polygons can be visually simulated without needing to be present as polygon data, increasing opportunity for processing parallelization, while reducing load on communication busses and VRAM.

As an example, you could probably represent something like the grip of this FLIR camera in a couple hundred polygons and surface/curve definitions to help the rendering engine tesselate correctly. On the other hand, this overall scan is 357000 vertexes. Sure you can simplify it and bake a bunch of the texture into a normal map, but that then requires manually reworking the texture map and various other postprocessing steps to avoid creating a glitchy mess.

https://i.imgur.com/aAwoiXU.png
Some older flat panels use “cold-cathode fluorescent display backlights” and they’re driven by a high-voltage inverter, I believe - so it’s still a good idea to be wary.
E.g. to extend the app's bar on me taking a record of pending transactions.
Anyone knows of a comprehensive book/tutorial to learn end to end web development in dotnet. Most I have found are elementary, outdated or poor quality.
if you ask the provider you will eventually get burned. they can only give you the cash price as a backstop.

if you ask the insurance company you’ll never get an answer. providers are usually more helpful about what “should be covered”, but that’s not guaranteed.

seems like prior authorization is the only way to really make sure charges are covered but takes forever. but even then, if your insurance covers $x and they bill $y, you might get a balance bill in the mail.

point is, the market is heavily skewed against the consumer.
Startup vs. Upstart
I very quickly had no sympathy at all with the museum. It obtained funding to do the scans with the express purpose of providing to the public, and then decided not to.
Reminds me of Woody Allen’s Annie Hall scene „If Life Were Only Like This“:

https://youtu.be/vTSmbMm7MDg