skysight-inc/HackerNews huggingface dataset:
Political ideology is very much culture. In fact, it's one of the stronger aspects of culture that shapes everything around it. For instance, blues and rap and rock and roll and road trips and entrepreneurship cultures all exist exclusively because of American politics.

> Just because something is identifiable to the US (your war example) does not make it culture.

National identity is a part of culture and how someone perceives their own culture and that of others.

> People spend very little time (most none) on any involvement with it so it’s not really an identifiable trait of the culture.

Pretty much every single person I know has had a family member in the military. I know at least 3 Vietnam vets, and all of them still hold trauma from it. The military is one of the most brought up topics in American politics because of how much money we spend and shapes how the world thinks of us for 100 years. 9/11 redefined privacy, security, geopolitics, and travel. We have recruiting booths in every high school and university.

To say war is not a fundamental part of American culture seems absurd.

> Gun culture is similar in that, apart from a small minority of people obsessed with guns, even the people who do own them spend very little time talking about or thinking about them.

I won't disagree with you on that, that's fair. And it's heavily regional too.

But when we're talking about how Americans have a loose national identity, I think it's fair that gun culture is very much perceived as part of it. And given the prevalence of mass shootings, it's not a good thing to feel associated with, which causes Americans to distance themselves from the national identity.

Contrast this with the (to be fair, stereotyped and sanitized) identities of Japan being clean or France being cultured or Germany being industrious.

But this is just how I've come to understand the situation from talking to people I've met in my life. Culture is extremely complicated and I'm not an anthropologist by any means. I'd love to hear what you think!
mbowcut2: That's "Miku", not "Mike".
Go to an Apple authorized repair shop. They will replace it if you simply pay them to, and they are cheaper than Apple while using the same authorized parts.
I really don't understand these lines of argument, because they seem to me to be almost entirely backwards.

> I find dynamic typing ... acts as a forcing function to writing simple code; simple to read and simple to comprehend.

I find the opposite true. Many super-dynamic patterns are hard to type correctly. Good type systems tend to encourage simpler patters so you get simpler types.

> The argument that it helps inexperienced developers approach the codebase is, IMO, a poor one as it tends to incentivize an iteration loop that lacks understanding and is simply trying to make all the red go away.

Making the red go away is important because the red indicates a problem! This is a lot easier than other ways of discovering the error. Why would you want to discover the error later?

> I also don't like autocomplete, so take that as you will.

This is why I'm with commenters who say they don't trust people who are against static typing... I'm extremely suspect of computer programmers who don't want computers to help them program.
That book has parallels to "Draw the rest of the horse" - it's an awesome book, but the author definitely doesn't do a great job with the latter half, where he assumes that you not only understood the first part but also committed components to memory, so the rest of what he is saying can fit into your working memory and make sense.

Have to admit I struggled with the latter half, mainly because I didn't quite memorize the first half even though "I get it".

I do like the "teach it to me like I am 5" approach. People try to gloss over the basics nowadays like it's not complex enough intrinsically.
Is there any word on whether the modem has moved to a different supplier? I previously suffered challenges having to soft-reset Pixel 6/7 to "Fix Connectivity" fairly frequently.
What you're noticing is that I'm being charitable, a downside of which is that it's sometimes interpreted as weakness.
Every time I see an FPGA article, I feel a little sad that Tabula[1] didn't make it -- 1.6Ghz clock and reprogrammable on the fly. RIP.

1. https://en.wikipedia.org/wiki/Tabula,_Inc.
My goodness man :D

Just be glad you weren't around 15 years ago
I mean, I doubt you have any understanding of actual anti-trust cases. But by the time standard oil was broken up it was down to 60% market share and the price of oil continued to fall.

The only monopolies that have truly existed in the USA are government granted ones.
For the most part our daily life doesn't depend on contrasting minimal pairs of these attributes. Humans, if they have one, tend to have all.

AI entities, may exhibit one, or none or sometimes some and that maps poorly to our prior experience with reasoning entities.

How would self-aware, non-conscious agent respond?

How would a reasoning but non-intelligent agent respond?
It's also not that simple.

People forget that base64 has variant _all the time_, that leads to bugs.

So deprecating `decode` made sense.

But then what do you do instead?

a `decode_**` for each standard variant ... not really nice design

a `decode2(data, standard)` better but if you anyway need to import the standard and one additional thing, that thing could be a trait instead of a method and the `2` in the name is quite confusing

a braking change? definitely not worth it

a `prelude` module which exports the engine trait and reexports like `BASE64_STANDARD`? Well he did that.
Thanks! Re: 1, the docs are not really deep on that, but from your answer it seems it possible to self-host y-sweet on Cloudflare workers (I guess) with Durable Objects as storage?
Also, if you guys are going to have a paid plan, how do you see the prices going? Comparable to, say, Supabase per user, less or more?
Any proof of this? Example?
First of all that's an excellent article. But also:

> Some people like to use the salmon study as proof that fMRI is woo, but this isn't the case, it's actually a study to show the importance of correcting your stats.

I.e. be aware of the "look elsewhere effect".
I'm really interested in what they announced at DefCon, but their current website doesn't really give me insight into what's novel about their approach.

I'm sure they're doing a lot of cool stuff - it's just I have no idea what that stuff is.
How to create an insecure privacy-blind startup
This is a proper HN reply, two counts of "just" =)

If it was a matter of "just" not fucking around and "just testing out the strategy", everyone would just resell B2/S3 capacity with a markup.

Having the only copy of someone's family photos is not a responsibility I'm willing to have. YMMV though and more power to you if you want to do that.
This is a fantastic book if you have difficulty sleeping! I had no idea such an interesting topic, the fundamentals of the operation of computers, could be rendered so lifeless and dull or that it would take so many words to do so. I'm reading through it now but it's taking an awful long time as I never get through more than 3 or 4 pages before it's lights out.
Jeez...why can't they launder their money through the Seychelles and Dominica like normal people do?
It’s funny because (anecdotally based on visiting Milan once) I’ve come to use Milan as an example of a city made almost entirely of rock and stone, with virtually zero green anywhere to be seen.

Granted, I was there for one week, but it was markedly different from any other large European city I’ve been to. I hope they install a few trees at street level and along the canal as well!
Thought this was about a cure for color blindness and now I’m disappointed
Data Litigada: Thank You
Is-a vs has-a relationship.
The right kind of sea of LUTs can outperform anything even if it's clocked at 100 Mhz... the trick is to get a pipeline filled, instead of trying to outrun light.

Imagine an LLM with a new token every 10 nS
Sounds like it's pretty carless of the city to allow someone to live in an unsafe home with all these violations.
Back when I worked on Windows, we would triage Windows Feedback hub reported issues once a sprint (~2 weeks). But only those which had at least 2-5 upvotes on them. One-off bugs usually meant they weren't being widespread impactful and weren't as higher priority on our list (even if that isn't the case).

But the feedback hub is an abyss of random complaints to filter through. Sometimes we'd see items like "Windows wouldn't save my word document and now I hate windows" and being on the networking team were like "uhhh thanks"
why can't I write it in a statically-typed language and also write end-to-end tests?

also it's pretty ridiculous to say "static type systems are handholding" and then say the remedy is to write your code with AI ..
The problems you describe apply to CGNAT in general, which is unavoidable in a world with more humans than IPv4 addresses.

Our best hope to avoid CGNAT is more/better IPv6 support.
If they are price sensitive, they would have gone for something like the $399 2016 iPhone SE, which is currently in it's seventh year of support, having gotten another security update last month.

That works out to around fifty bucks per supported year, and you aren't creating a mountain of e-waste by throwing away a perfectly good phone every other year.
Edited ... sorry
That is a judgment on your part. There is no retirement in nature. If you keep doing what you love when you are "retired", it will be to your benefit. Both my parents teach, my father does something he likes for the first time i think. Could call it sad but why?
I’ll be expensing one.
It's not open, but I'm happy with https://nextdns.io/
Parrots, in the context of stochastic parrots is in reference to repeating or imitation mechanically without understanding.

The 'common sense' problem in AI is the important part, not the as of yet undefined abstract concept of intelligence.

LLMs are still pattern matching and finding with some stochastic aspects.

But artificial nurons are inspired by biological nurons, they are not equivalent in respect to computability. But artificial nural networks are useful and powerful for some problems that traditionally weren't solvable by other means.

Biological nurons have to embrace non-linear stochastic processes, which is a different problem set.

While not expressed in popsci this has been known for decades.
Yeah, it is definitely really nice if you care about privacy/security and can live with some minor limitations. I just switched back to stock Android from GrapheneOS though, to get Android Auto working. My car's built-in navigation just isn't good enough any more.
Weak typing has its uses in one use case. Transition between systems. Even then you usually want to know what the type is (unless you really do not care about validation errors).

The reality is I never get to choose. I prefer strong typing. But the projects I am on that ship sailed long ago 2 developers back who used this project as a resume builder.
The papers cites earlier papers that posit a ‘linear representation hypothesis’. Does your surprise “factor in” these papers? Do you suspect something different in play for the current paper?
but it will give you some sleepless nights!
Malpractice insurance should be required for LEOs.
A fundamental assumption of many conspiracy theories is that you can manage this stuff in total secrecy, and maintain that secret for decades, despite presumably involving a huge number of people.
Next up, the Apple Tax?
So all we have to do is plug a USB cable from a device running an LLM in to the back of a monkey.
You mean the "don't be a dick to others" mentality? Yeah, there's a lot of that on Mastodon, thank god.
Piracy is ethical when purchasing doesnt equal owning.

This is yet another case of falsely advertised "ownership", that is really a rental.
> It's one of those things that seem like a good idea, but they just don't work out in practice.

GPGPU sucks a lot of air out of the room as well. There aren't many purely computational problems which FPGAs can solve better than a compute-optimized GPU; even though GPUs aren't quite as flexible, they clock a lot faster, they're cheaper, and they're easier to develop for.
Ah, Isola. When I was living in Milan 30 years ago that is where you'd look for your bike/moped if they stole it. They did a good job there if you now consider it a luxury area.
To be honest, I think dynamic typing must contain a mind trap. Very smart people fall in.
I'm not a naive remote-work lover, but clearly the ability to go from bed to office in 12 seconds is a hard benefit. More, better sleep, less stress, also less diseases, 50% of the time I went on-site I came back with a flu, a cold or worse. My health if mediocre these days so staying at home is yet another bonus.
The ups and downs of text-wrap: balance and a polyfill
All great points! Thanks for sharing.
Off hand thought an a small bit is a game of telephone. What people hear is completely mangled hearsay.

Problem with intelligence agencies is no feedback to keep things same like you have when what people are doing is transparent. You don't have the assumption that sooner or later there will be an accounting. It's no one will ever know.
And allmof that actuators include ABS, ESP and whatnot.
My company is using vector search with Elasticsearch. It’s working well so far. IMO Elastic will eat most vector-first/only products because of its strength at full-text search, plus all the other stuff it does.
Now this is the future I was promised.
My career, which I’m very proud of, is bringing technology to charities that are working to solve the biggest problems of our age. My biggest hobby is to constantly travel the world as a digital nomad and experience all its glory. I love meeting new people from other cultures and learning about what’s important to them.

And still, most people are not that interested. Aside from the rare person who wants to know more, I meet people where they are.

So this is my evidence that it doesn’t matter how interesting you think your life is, this is just how most people are. People care about things inside their context.
Pancake: Verified Systems Programming Made Sweeter [pdf]
Reflections on trusting trust is a great paper, but it's not the reason to have certified compilers. There are better steps to build a trust-root for your compiler, for example bootstrapping the rust compiler from source, by either starting out from the early versions or by using mrustc.

Certification aims to solve a different, but maybe related, problem. Essentially "how do we verify that the compiler does what it's supposed to do." At its very basic level, it could be described as formalized qualitiy management. So certifying the rust compiler first involved deriving a sufficiently complete spec from the existing RFCs, deriving the requirements for the compiler from that and then verifying that the compiler upholds that. It also requires describing the verification process, issue managegment handling, etc. We have another blog post describing the qualification process in a little more detail https://ferrous-systems.com/blog/qualifying-rust-without-for...

Disclosure: I'm one of the founders and managing directors at Ferrous Systems
> FPGA LUTs are just way too slow

If, and of course that is a big if, you can repackage a (parallelizable) calculation into FPGA look-up tables and implement multiples of this (e.g. 8 to 80 times) then you can think maybe it's quicker than CPU at 3GHz.

However, you have to include DMA of the data to and fro. It's unlikely to be worth the very extensive effort of integrating two wildly different technologies.

On the other hand, it may not be a complicated calculation but FPGA can do much lower latency and smaller variance in latency (hello high-frequency traders). That is a very narrow niche.

A simple board with CPU and FPGA is the Arduino MKR Vidor 4000: ARM Cortex 32-bit CPU and Intel Cyclone 10 FPGA). Hardware cost: $85. Full suite of development software $1000 or more (although lesser tools are available for free.)
> Well, people have always been fanatical about thing a they are attached to emotionally, rather than rationally.

How would you feel if I claimed that you could make emotional arguments faster than you could make rational arguments?

Because that is how this debate feels!

I want the simple rationality of my compiler saying "no" if I try to treat my hashmap like an Apple or a String.
Thanks for the information. Maybe the lack of job ads is simply the consequence of what you mentioned. But there's so much articles about how companies are forcing people to come back to office buildings..
Also, a really cool find in Ferrocene public docs is their "Traceability Matrix" [1].

For every bit in the Ferrocene language specification [2] there's a link to a set of tests that actually confirm the compiler's behavior. Just shows you how much work has been done here.

[1]: https://public-docs.ferrocene.dev/main/qualification/traceab...
[2]: https://public-docs.ferrocene.dev/main/specification/index.h...
Amazons fees are making the offer uncompetitive thus Amazon is actually not competitive meaning that they’re relying on their monopoly position to maintain market dominance instead of competition which they evidently cannot do.
We're finding about this because Estonia has transparent government services and a tradition of investigative journalism. These days, though, every crypto company and plenty of scamsters of all sorts seem to be located in Dubai, and good luck finding any transparency or doing any investigations in the United Arab Emirates.
What are you going to do, cut up your gold into tiny bits to give to people? Gonna keep a scale with you and weigh it out exactly based on the market rate? It seems pretty useless for spending on supplies and food if you ask me.
There are organised groups that will launder funds via Twitch tips. Another common pattern is to sell a digital good like an ebook.

Money laundering cannot possibly be stamped out. The best you can do is try and limit giant one-time affairs through a bank, but laundering money is extraordinarily easy, with crypto or not.
I think it was more of a rebranding, at least from Pixel 2 and onward. Nexus devices were often primarily designed by another manufacturer with Google oversight.
> the nation responsible for the largest ethnic cleansing in the last 500 years (that of North America, which inspired Adolf Hitler)

Weren't those nations mainly Brittain, Spain and France?
Footer – The only footer gallery on Earth
I can't wait to try this https://github.com/amalucelli/terraform-provider-nextdns
I don't think baseline ChatGPT si capable to "please check the facts before answering so you don't include non-existing arguments".
It's nice to see that they take this seriously. I praise their risk aversion.
https://github.com/sponsors

https://liberapay.com/

https://www.buymeacoffee.com/
Here's an example of FSB getting funds . There's more coverage in Polish, because one of the executives is now in jail in Poland.
https://finance.yahoo.com/news/criminal-case-against-failed-...

Similar stories played out with companies affiliated with Bitfinex IIRC, where people got arrested and connections to cartels and human trafficking were revealed.
I fail to see why apple should be split.

Nobody forces people to buy macs, very few do, and as for iPhones, there are alternatives and apple doesn’t have a monopoly over the phone industry.

You can very well use icloud on other OSes too.
Until very recently, “dense retrieval” was not even as good as bm25, and still is not always better.

I think a lot of people use dense retrieval in applications where sparse retrieval is still adequate and much more flexible, because it has the hype behind it. Hybrid approaches also exist and can help balance the strengths and weaknesses of each.

Vectors can also work in other tasks, but largely people seem to be using them for retrieval only, rather than applying them to multiple tasks.
I'll take the time to reply to both of you, because you seem to have opposing views.

I think such a debate is largely unproductive. Like anything else, types have value (ha) and successfully capitalizing on that value depends on the context of the project, which includes things like developer experience, tooling, project complexity, requirements, deadlines etc.

The only productive outcome of these debates is that each developer gets to slowly and frustratingly build a list of pros and cons as they go through the arguments presented by either side debating this topic. In addition, developers who completely disregard either the cons or the pros are necessarily making subjective decisions with incomplete data, and the project gets to pay the price. Just because the developer is personally OK with all of their projects paying that price, doesn't mean it's the best decision for a project.

My experience has been that when starting out, projects get the most value out of not having types, and as they grow in scope and size, and the cons of not having types start creeping up, that's the point when gradually transitioning the code to being strongly typed allows the project to maintain its velocity _and_ quality.
Strongly disagree with PGVector's DX being worse than Chroma. Installing, configuring, and working with Chroma was infuriating -- it's alpha software and has the bugs and rough edges to prove it. The tools to support and interface with postgres are battle-tested and so much nicer by comparison; getting Chroma working took over a week, ripping it out and replacing with PGVector took a couple hours.

Also agree with this[0] article that vector search is only one type of search, and even for RAG isn't necessarily the one you want to start with.

[0]: https://colinharman.substack.com/p/beware-tunnel-vision-in-a...
I personally would like to have the raw interface or both the raw and simple interface available. Some package maintainer (in whatever language) would assume everyone has the same requirement as them and make only the 'ultra simplified interface' available. And it's generally a big headache if it didn't met your requirement. So you end up copy paste and modify or forking the whole project.

But that could totally be avoided if you just export both of them instead of hard-locked the interface. People don't really want to fork the god-damn project just to change the two character you hard-coded.

Even marking them unstable and making it unsupported would be far better than locking it down completely.
I know it sounds a bit crazy but what if the government hired people to investigate and arrest criminals instead of requiring private companies to do that? AML is a costly and ineffective security theater.