skysight-inc/HackerNews huggingface dataset:
This was a big issue for me in my early 20s. I did a lot of work to ensure that my life outside of work was as interesting to me as my work life. If you don't have that balance, it is really hard to disconnect your work from your self-worth.
That book has a completely different focus... breadth instead of understanding argumentation.

I agree that the Programmer's Introduction to Mathematics is more likely to contain useful content (instead of being about how to develop the ability to reason carefully). It also has a LOT more breadth than the OP.

The free part of Chapter 3 "On Pace and Patience" is a key very important attitude toward learning from this book (especially on your own). If you are thinking about studying from this book, make sure you philosophically agree.

I tried to copy and paste a paragraph here, but it looks like it has been ROT-13 encoded in the PDF (or something)!

> [...] mathematical culture requires being comfortable being almost continuously in a state of little to no understanding It's a humble life [...]
US Supreme Court slashes protections for wetlands
Watching what’s become of Ukraine and China must be keeping him going. Probably doesn’t even need a Viagra prescription anymore.
Overpromise, underdeliver, and overcharge. It's the Oracle Way.

In my experience, Oracle only ever built one product that was good, and you can replace it with PostgreSQL for significantly less money and gain greater flexibility to boot.

I think the source of Oracle's execution woes lies in part with their Fusion Middleware. It's garbage. Even though JEE has become somewhat outdated, it's still viable. That isn't the issue. The problem is the horrible memory management, continually stuck threads, and their poor messaging implementation. It makes solutions built on the platform prone to constant failure and requiring lots and lots of hardware - which of course increases licensing costs back to Oracle.

I've given up trying to figure out why people keep buying their stuff.
i switched to Appliku 2 years ago. it was my best devops decision. saved me thousands of $. AMA.
Did you use it at CMU?
Thanks. That's really useful.

Side note: I see from the canonlaw.ninja site that not even the "universal" church can't help but get into the copyright fight also. ;D wink

"Canon 1. This document is temporarily unavailable due to a cease and desist from the Canon Law Society of America. We are hoping for a solution in the near future.
cf. 1983 CLC 1"
Is a terms of service considered a contract?
One way of looking at things like this is from the perspective of so called Ramsey theory. Notions like syndenticity(the property of a set having bounded gaps), upper density(the lim-sup of the proportion of numbers in the set), thickness(the property of having arbitrarily large successive subsequences), etc. all capture different notions of this.

Edit: let’s not forget the rich theory involved in examining if sets/sequences contain arithmetic (or geometric) progressions! The well known Green-Tao theorem about primes containing arbitrarily long arithmetic progressions is one such result. In fact, the real Green-Tao theorem says that any set which has nonzero upper density with respect to the set of primes contains arbitrarily long arithmetic progressions.
Mullvad, cheap and just works, private too.
Came for everyone roasting a16z. Was not disappointed.
I’m worried about the 10,000,000x version which may emerge organically at some point in time.
We’re so close to 2001 A Space Space Odyssey!
It's uncertain, but it says there's unrelated 2021 evidence that Azerbaijan is already a Pegasus customer. That would also make more sense given that they have military trade with Israel while Armenia doesn't.
I do like this (and the way you phrased it!) but I do think it has a dark side - there will come a time in your life where your skills plateau, and another time in your life where your skills start to decrease. Actually both of these will probably happen many times in your life!

It's important to recognize the ebb and flow and to be kind to yourself.
Came here to ask the same question. Really hope there are some good recommendations!
Sure, except for the fact that I see this same trend of very young accounts making very negative comments for any sort of successful new tech trend.
Even if the statement were true, the data that these models are trained on is, collectively, smarter than the smartest person who ever lived. An individual person simply cannot absorb, in an 80-year-or-so lifetime, even a tiny fraction of the amount of information contained in the training data. It is a truly mind-boggling amount of data. The most frightening thing is that, even with pretty naive and primitive algorithms, this data has been able to reproduce roughly human-level creativity and linguistic ability. Imagine how powerful these models can become---even using the same data---with more sophisticated algorithmic approaches.
Looking forward to the follow up. I assume you set up a more capable gpt agent that can execute commands?
Perilous Pitfalls of a B2B Marketing Budgets
These were all valuable marketing approaches to take a decade or more ago so the reason why people are still doing it isn’t ignorance because they did once work very well once. The real reason is complacency and or an inability to change tactics and acknowledge that strategies have and must change.
How do you take criticism outside of work? It feels like an exercise in self-reflection. It is easy to attribute code to intelligence, but it is not that simple. When people say "This code is no good", you need to realize that their delivery in feedback, while flawed, could stand to hold some truth, and that doesn't make you any less intelligent. I've been writing software for well over a decade and the most impactful thing I've learned is to lean into and embrace my failures. Try to remove ego from the situation as much as possible. Good luck.
The Moral Case for Working Less
Given more than half is from fishing activities, wouldn't it be better to start there?
Kissinger him self claims to have said it.

https://wikileaks.org/plusd/cables/P860114-1573_MC_b.html#ef...
… and if it wasn’t in jest: “sticks and stones”.
If you don't store user data none of those applies.

If you do want to store the data, those just specify what and how with enough detail that battalion of Facebook lawyers can't go around it. It's mostly sensible when you get around to implementing it.

For example if you store data for say CCTV purpose, you have to tell people they are being monitored, for what reason, who administers the data etc.

Article 6 covers filming the public spaces i.e. they don't have to give written consent because the extra security of security cameras provide considered greater good than individual.

But at same time it allows processing only for those purposes. You can't just go on facebook and post some video from security camera of someone doing dumb shit. You can't just film inside toilet. You can go and monetize it in any way etc.

You also need to do the rest of due diligence of making it secure, not sharing with 3rd parties unrelated to the goal etc.

IIRC some company got $200k for doing exactly that, just posting basically some dumb shit people did, without even blurring out the people in all of the videos. Which triggered an audit that discovered that way more people that should had access to security footage.

Similar things apply to storing and analyzing logs for security purpose. They are considered "greater good" under article 6 and you can store and use them for, say, blocking malicious users on WAF, but you can't then go and handle it to your marketing team and you would have to anonymize it if you for example wanted to give those logs to developers to debug problems.
No, I actually didn't use this book. By "true love" I meant mathematics ;)
I don't think anyone here is commenting on the AI trend, they're commenting on a16z.
a16z have always been sleazy, and their entire crypto/NFT run just proved it further. Their hook towards AI the moment the NFT/Crypto market started crashing shows how little they believe their own bullshit. I don't have a problem with people getting wealthy, I have a problem with a16z because they did it by pushing crypto scams on normal, everyday, people by convincing the world it was the future while knowing full well it was shit all the way down.

Now they're trying to to do it again. AI is important, but it's simply not the "all things will be different in six week, so invest now or get left behind!" that they're doing.
yes but they also have Carter J. Burke's
There is a saying in Turkish that roughly translates: "Nothing bad happens to bad people, God has to protect the good people".

Here is Kissinger being asked directly: https://youtu.be/p9vj2IkpBEw?t=7
Yup, but the lack of access to beta versions also means that we will basically get access to access to PostgreSQL 16 in RDS by next year around this time.
It was a feature describing a computer game written by a reader of the magazine. That makes it pretty much as old as Tetris. The source code listing was elsewhere in the magazine, so involved a separate request. I'm sure I'll blog about the specifics in future as that is a really interesting story in and of itself.
Right. I should have mentioned that Germany should have decided to ramp up investments in nuclear power as well. A long time ago. My bad.
Politics means partially to make tactical promises and not deliver, but to blame others for your failure while faking niceness to everyone. This also includes diverting attention to the engineering department's performance and delivery instead of your own, just because they make everything transparent and you don't. I will take your feedback and write more articles on that topic. Thank you!
Gender bias in video game dialogue
That would expose the bot's operator to some massive liability, and I'd guess the mods would boot it with the first DMCA claim coming in.
>I started with deliberately stupid examples to make my point: Free Speech was always clearly limited, by necessity.

Which is neither here, nor there. Conspiracy to commit murder, as per the "mob boss gives an order example" would always be illegal regarless of our "free speech" stance, and the First Amendment didn't come into play determining whether that "[could] be law at all".

It was rather the other way around: the First Amendment was drafted with the certainty that such a thing isn't about free speech and will always be illegal.
For small enough tables doing a full scan will be faster than an index. This is also true for regular non-database applications like checking if an item is present in a small collection: it's faster to do a linear scan over a small vector than it is to do a lookup in a hash table or b-tree. With a linear scan (whether it's for data on disk, or a data structure in memory) you don't have to do hashing or branching (except possibly to terminate the loop). With a binary search you basically get worst possible case for branch predictor, because if you're searching random values whether you go right/left on each recursion level is basically random. This is true for in-memory data structures, and it's even more true on disk, since disks (even SSDs) are especially optimized for linear scans compared to random accesses.

It's been a while since I looked at this, but I think MySQL and Postgres both take this into account and will let you add indexes to small tables but will actually ignore them and do a full table scan for all queries if the table is small enough.
Want to find the owner of that business entity?
Who likes spending hours trying to find the owner of that business? I spent a few years manually looking up those owners for people, so I think I've become really good at finding information about you.

Introducing Chari.ai, the groundbreaking SaaS tool powered by AI that revolutionizes due diligence. Say goodbye to tedious hours of searching and digging through local county records. With Chari.ai, effortlessly extract the contact information and owners of business entities, instantly unlocking a world of efficiency and accuracy.
I will do something alone those lines, and more, at some point in the future if/when I secure my own copy of the magazine.
Ok, what about the open source and research models? I wouldn’t wager much on openai keeping a lead indefinitely. Certainly not to establish case law on what’s a pretty new technology (at least in its current use)
I used that term because it was my own company.
It sounds like it can expedite the interpretation of the APIs documentation.
Wow that's a fascinating perspective, thanks for posting! I'm looking forward to using this to make people think I'm smarter than I really am.
I’m not sure I agree. Can you be more precise about what you mean by repeating? If you mean “contains an infinite arithmetic progression” then surely this is not true.

Could you also be more precise about what you mean by true randomness?
Army of Darkness seems to subvert the trend in two ways.

There’s a strong parody element to the series, Ash is basically an idiot so it isn’t that annoying/unexpected to have him redo some character development. Oh he learned nothing in the previous movies? That scans.

It also manages to continue raising the stakes by shifting to a new genre. In this case, a sort of weird… fantasy/sword-and-sorcery/post-apocalyptic(?) universe. It confronts the protagonist with a new type of challenge so it doesn’t feel like a re-do.
No load balancing, although planned. Can put cloud flare or other CDN on top of it.

Databases. Our database offering doesn't try to compete with other managed DB providers where they have tons of people busy with databases alone. And we have only me to code everything. So super durable and high availability databases is not our game at least for now.

We provide backups and few tools around databases. That's usually quite enough for smaller project, staging environments, but for High Availability best to pick RDS and stuff like that.
> I will take your feedback and write more articles on that topic.

that does sound like a tactical promise /s
Another thing I glossed over (unintentionally) is that I only started limiting batch size after I switched to the custom encoder. So persist() being a function of length wouldn't be quite true anymore.

However, I still keep seeing encoding/gob high up in the profiler taking a lot of time doing reflection during RPC calls.

So it does still seem like it's not ideal. Though I may still just not be understanding how to use net/rpc correctly either.
One thing I've always wanted is a comprehensive guide to mathematical notation, which tells you what symbols mean or at least what field of mathematics they come from.

I frequently come across all sorts of weird mathematical symbols in papers, and of course these symbols are virtually never explained, so I have no idea what they mean.

Even better would be if there was some way an LLM could read through a paper itself and then explain the equations.
Against infection, which:

> Incidence of infection was defined as the first PCR-positive or rapid antigen-positive test after the start of follow-up, regardless of symptoms.

> all rapid antigen tests conducted at health-care facilities (appendix p 9). SARS-CoV-2 testing is widely available and performed extensively in Qatar, mostly for non-clinical reasons.1, 12 Most infections are diagnosed not because of symptoms, but because of routine testing (appendix p 3).

So they’re even capturing non-symptomatic infections, which you may not really care about. If a booster turned a symptomatic infection into a non-symptomatic infection, it would still be captured here and make it look like a booster failure. Not sure how well Qatar captured symptomatic infections.
> Justify the dev time to save micro-pennies worth of electricity to me instead.

KEY (user_id)

I mean, it's a dozen characters. Do you need to know how fast I type before you run the calculation?
Right, I am making a comment about the overall tenor of the website, which requires looking at multiple threads.

You're saying "No, they just really hate a16z" and I'm saying huh, it is interesting that all of the threads on new technology, whether it is LLMs or crypto or whatever, tend to have people who "really hate [xyz]".

Honestly, it speaks to the magnitude of the LLM breakthrough that HN is at least mixed on that topic.
Random plug, but I made a front end for d2, that is 6-10x cheaper than using their site: https://dall-e.sonnet.io/
First you have to figure out what problem to attack. Research, training production models, and production inference all have very different needs on the software side. Then you have to work out what the decision tree is for your customers (so depends who you are in this equation) and how you can solve some important problem for them. In all of this for say training a big transformer numpy isn't going to help you much so it doesn't matter if it's faster for some small cases. If you want to support a lot of model flexibility (for research and maybe training) then you need to do some combination of hand-writing chip-specific kernels and building a compiler that can do some or most of that automatically. Behind that door is a whole world of hardware-specific scheduling models, polyhedral optimization, horizontal and vertical fusion, sparsity, etc, etc, etc. It's a big and sustained engineering effort, not within the reach of hobby developers, so you go back to the question of who is paying for all this work and why. Nvidia has clarity there and some answers that are working. Historically AMD has operated on the theory that deep learning is too early/small to matter, and for big HPC deployments they can hand-craft whatever tools they need for those specific contracts (this is why ROCm seems so broken for normal people). Google built TensorFlow, XLA, Jax, etc for their own workloads and the priorities reflect that (e.g. TPU support). For a long time the great majority of inference workloads were on Intel CPUs so their software then reflected that. Not sure what tiny corp's bet here is going to be.

The change in the landscape I see now is that the models are big enough and useful enough that the commercial appetite for inference is expanding rapidly, hardware supply will continue to be constrained, and so tools that can reduce production inference cost by a percentage are starting to become a straight forward sale (and thus justify the infrastructure investment). This is not based on any inside info but when I look at companies like Modular and Octo that's a big part of why I think they probably will have some success.
There was an opportunity to fax during the payment process. I probably would have done so if I had an easy way to fax, just for kicks.
New Playground: Memory Spy
Or in case of default, no guarantee the debt will be paid at all.
That seems unrelated to the issue at hand, which is that people have specific grievances with a16z
If you want to go deeply into formalized mathematics, take a look at the Metamath Proof Explorer <https://us.metamath.org/mpeuni/mmset.html>. It defines a set of axioms, and formally verifies every proof showing every step (hiding nothing).
Thanks for jumping in, Alexander! Happy it works so well for https://unicornplatform.com !
It isnt always deliberate. I know companies that were two male founders of a specific race that then hired people they knew from their networks for their first few hires. All of a sudden they realized they were a 10+ person company and everyone was exactly like them.

All of a sudden, hiring anyone who wasnt very like them became difficult. Have you ever tried to hire a female for an all male company? Have you ever tried to hire a Muslim for a company that is entirely Orthodox Jewish? Sometimes you just hire who you know until you realize you've created an environment that might be very difficult to grow further.
The Canons Archives
That just isn't a reasonable statement. No one forces someone to participate in a ponzi scheme.

The problem with SPACS is these were companies that did not go the IPO route because they would not pass SEC approval. Companies should go public even if they are unlikely to survive, but what we saw was mostly fraud. They received absurd valuations based on exaggerated growth claims combined with imaginary non-GAAP accounting -- things you can't do in an IPO.

Some of these participants will get in trouble. Enforcement is not immediate. a16z is probably going to end up in a lot of trouble over their cryptocurrency shenanigans. I think these guys pretty much burned their reputation in exchange for things like owning a $177m house in Malibu.

The consequences will be felt by everyone, not just the shitco and shitcoin hucksters.
I totally get this. Something I'm learning - slowly - as it is so counter to sound ethic, is that making some work into pure fun helps the other work by preventing burn-out, which for me at least is an ongoing risk. Certainly feels better!
Then slow down a bit and make more space. Traffic flows better when people have room to change lanes.
Fwiw I'm a huge fan of LLMs and not a fan at all of a16z for the reasons I stated. I think you're reading too much into this thread.
“Man’s search for meaning” is a book that partly teaches that regardless of the situation, you have control over how you react. I take this to mean regardless of your day, you can still choose to be happy. I’ve had similar communication woes to you, and it’s easier for me to remember I do not control the feedback (or it’s tone, content, etc) but I do control my reaction to it. So if you want to improve as a person, you can do that by having a positive reaction even if you don’t feel that way.
they started the project on the 13th per the git commits. so on the magnitude of two weeks it seems.
Yes, that's correct. If you do an explain for a tiny table, as long as your stats are up to date, the index will be ignored. In that case, it's there for insurance if the table grows in the future.
IMO, it’s mostly hot air because it’s confusing causes and effects and is usually blaming someone for something without taking into account the persons job/structural reasons why the decision needed to be made.

‘Boo, CEO laid off 2500 people, that’s terrible’ is pretty useless without looking at the companies TAM, market penetration, margins, etc. because laying off 2500 people may literally be less layoffs than they might need to be doing based on those factors. A company is, generally, a machine for making money as efficiently as possible, and ignoring all those factors before deciding if a decision was valid or not means someone is just complaining/blowing hot air. No one is being hired (almost anywhere I can think of) that could have a reasonable belief of keeping a job that isn’t needed, or doesn’t make sense to the company.

Which is valid. Just not necessarily useful for anyone.

If someone joins a fishing crew and then when the seasonal catch is bad complains that the captain is terrible because they got laid off/kicked off, all they’re doing is venting. Not providing anything anyone should take seriously, IMO.
I don't deny that, what I am saying is that a broader 'grievance culture' has arisen in HN that previously was much more muted.