skysight-inc/HackerNews huggingface dataset:
> I’m not sure why this is phrased in such a way as to imply that men are fine with how the “dating app scene” operates and women are the ones being hurt by it.

It wasn't. The Financial Times is about business. Fewer women using a service is a business problem. Men feeling sad is not a business problem yet.
I build a tool with similar goal a year ago: https://github.com/jjuliano/aifiles -- A CLI that manages files using AI. It helps me to organize my files and backups.

In my case, I built a local OpenAI-emulated proxy API to run against a local LLM, and used a modified OpenAI library to connect with it. This was the solution a year ago. Now, it's easier to deploy a local LLM.
Buy laptop stand. Put laptop screen next to external screen. Look, two screens!

Also you aren't frying the hardware by running it in clamshell mode (was a worse problem with earlier, warmer running hardware)
A few months ago, while using search in finder, I noticed that it would return images with the search term in the image. They seem to be doing something ML already
In fact, per the standard, a+x is already an array reference: you aren't allowed to go outside the bounds of the array immediately containing the pointee, on pain of UB.

(Arrays do exist in the object model, and you can take pointers to them of type T (*)[N]; you just can't copy them around by value, and the name of an array decays to its first element pointer.)

Compilers just typically don't track array bounds at runtime because of (a) performance and (b) big ABI incompatibilities. There's nothing in the language itself that stops them.
Every one of these are languages and I'll add music. The purposes and constructed of these types of languages vary so should the thought processes.

Computer programs can be written in a proof/solver language which would get closer to math/logic. This puts things on a grayscale IMO.
The need for ISRU for takeoff makes any crewed Mars mission that isn't just a copy of the lunar gateway a far off dream. For some reason people think the ability to stuff 100 people like sardines into Starship matters when in reality there is absolutely nothing waiting for you on Mars. There is no infrastructure and SpaceX is not focusing on anything remotely relevant to Mars colonization. They are not building rovers, power plants or ISRU demonstrators to at least prove that it works at small scales.

Let me tell you something. People are still planning on what should be done on the moon. There is this study called LunA-10 [0] and it is aiming at 2034. Yes, anything on the moon is a decade away and Mars is even further away since Elon isn't working on it.

[0] https://lsic.jhuapl.edu/uploadedDocs/meetings/docs/2441-DIST...
> Wasn’t the error actually in an unverified subsystem and isomorphic to an error caught by the model checker in a verified subsystem?

No, it was quite a bit more subtle than that. The problem was that there was no mechanism to enforce the use of the formally verified API, and an application programmer put in a direct call to a system function that bypassed that API.

Source: I was the technical lead on the RAX executive.
Well, if there is another laptop that runs something suitable for development (Fedora is fine), has 10-12 hours of battery time, lightweight, and with a hi-DPI display... oh, there are none. Sorry. No manufacturer in the world ever could make it, for some reason.
It's on Apple to not sell a substandard product with missing features, and it's on Apple fanboys to not buy them. Neither will realistically happen.
I (not the programmer in the video) started programming 2 years or so during the pandemic during sophomore year of high school. I can affirm - there is a lot to wade throughm it's hard to know what's relevant, easy to learn and useful in real life.

That said, despite the availability of content online I tend to only watch the videos where something is a) summarized or b) something very advanced is broken down (e.g. the micro-gpt from scratch series). Imo, the best way to learn programming is to get excited about bringing your ideas to life, and choosing ideas small enough (at the start) to accomplish.

I am worried though about the rise of machine learning which may increase the barrier to entry in industry jobs and require more expertise to get ones "foot in the door". Additionally I find it hard to resist learning new technologies that are not as widely used / changing quickly do to their ease of use (Svelte, Tauri, V lang, etc).

Anyways, just thought I'd chime in as a kid learning to code
I wonder how useful this would be in space. Say, some sort of smelter or furnace on the moon. Fossil fuels are hard to come by there, whereas you could probably set up a fairly large solar farm relatively cheaply.
I couldn't even transcribe 500 pages in three hours.
https://aba.amarkota.com

I created this data dashboard with Observable Framework[1] and Rust-Script[2] so I can check-in daily to better understand the data collected during Applied Behavior Analysis (ABA)[3] sessions.

[1] https://observablehq.com/framework/

[2] https://rust-script.org

[3] https://www.autismspeaks.org/applied-behavior-analysis
> It's more that women on dating apps are far too picky.

Not only that but I guess many of them are there for ego boosting pusposes and such rather than dating.
The thing is, she said it was strictly some contractual thing, that all renewals need to be in some new format. The feature set remained the same.

The new contract did put limits on some things we didn't have formal limits on before (like number of DNS queries), but aligned with our current usage, so our bill didn't go up.

I've been meaning to probe renegotiating pricing because we've been on this billing tier for probably a decade, and in the end some things we were able to negotiate down, and some rearchitect on the tech side to drop the usage by a staggering amount. We're still working out exactly what that amount is, I have several more weeks before renewal.
Is Gnome on Fedora as polished as he says, or is that just frustration talking?
I made a change to preload the google script so hopefully that helps with the issue you saw where it didn't show up.
I would like to see something similar for my browser tabs which are always a mess. Unsure what UX considerations are needed. Thoughts?
Do you have an inner monologue, out of curiosity? Because I absolutely think in English.
Yeah, it is. S/he’s missing the point. Good luck finding PowerShell pre-installed on any server or workstation. Is there even a non-MS sponsored distribution that includes it by default?
“Story” mode is why I like to organize my code top-down, often with definitions appearing after their usages.

It makes the code read more like a story from top to bottom.

Some like to organize their code such that any term always appears before it is used. Like a math proof or something. I find this somewhat pleasing but unhelpful for understanding the “story” you mention.
(male) I use them to get laid. In a big city (Los Angeles) they work quite well. No expectations of a relationship.
> You make it seem like the formal verification missed an issue.

Sorry, that was not my intent. I added a clarification.
>... take an SSD with poor performing read and write speeds to a significant improvement after running Spinrite on the drive.

I really can't tell if this is serious or irony. A HDD de-cluster algo that improves SSD speed... how clever!
It's no wonder; these apps aren't delivering on the actual value proposition of dating apps: finding great matches. Instead they trap people on the platform "swiping" endlessly, where a right swipe doesn't even mean real interest.

How would a dating app work if it actually worked in the user's favor? It would focus on finding great mutual matches that are personalized to exactly who you are and what you're looking for. But this is a tricky problem because there's two competing criteria: 1) we want to give each user the ability to express their personal preferences and match with the people they're most excited about, but also 2) we need to prevent spam and encourage compatible matches, otherwise some people will get inundated while others will be left shouting into the void with no reply.

This is something I've been obsessed with figuring out, and it turns out there's an elegant solution drawing on mechanism design (a subfield of game theory), combined with cutting-edge preference learning algorithms that are able to learn your personal tastes with high accuracy.

My cofounders and I are currently building a new app called Rarebird based on these insights. We're currently looking for a Creative Director (Lead Designer) and an ML R&D Engineer. See more details here, including a deck and technical overview: https://docs.google.com/document/d/e/2PACX-1vRfo082XRQWUfIwQ...

Really, there should only be one dating app if it actually worked. What has stronger network effects than a dating app? The only reason we see such fragmentation is because the current apps don't actually deliver better matches as the population increases, instead what users experience is congestion as there's more and more irrelevant potential matches on the platform. Which is why most new apps just try to carve out a niche segment of the population, e.g. based on religion, ethnicity, or a special interest. But an ideal app would understand you holistically and find the best matches for you as a complex and multidimensional person, without forcing you to collapse yourself into one particular niche as the determining factor.
I'm not sure what you mean. The name binding created is whatever `package <...>` is in the target package's file, which can be anything.
His autobiography, And There Was Light, and a collection of talks, Against the Pollution of the I, are wonderful
Operation Red Line – Celebrating the 1963, 119mi laser communications experiment
This is the chief problem with Python and most Lisps
Not code but I have encountered a doppelgänger software engineer.

He was an external contractor on a (sub-) project I de facto managed. I'd meet him twice a week, checking how the feature implementation is going, and prioritize upcoming work. He delivered exactly what I told him, in a way I would have done it. Even better, whenever he had more time until our next meeting, he would proactively implement some new stuff, which I.would have asked for. Sometimes when I was speaking to him, just because speech is slower than thought, and I haven't expressed my thought yet, he'd "finish my sentence", point out exactly the corner cases I was about to, and also, eerily get stuck at the same problems I would be.

I loved working with him, I kept telling even to my friends outside of work what a great companion I found and how happy I'm at work. The project was "finished" and we don't collaborate anymore. He is a great guy, and definitely there were times I had this doppelgänger-feeling.
(hipocracy → hypocrisy)
I wonder if this would work in a rice cooker or if there's something equivalent. If I don't wash the rice beforehand it will tend to bubble starchy bubbles through the top that makes a mess
1. To be frank, I'm not dying on a hill for a penny. A fool and his money...

2. Even if you point it out... What changes. Has anyone ever seriously reconsidered buying a product when you tell them it's $500 instead of $499? What's the harm being done here?

3. What call to action are you suggesting? I'd rather work for laws to include sales tax in US goods' prices than fix this "mind trick".

I can't tell you how to live your life. But those are the reasons I don't really care.
Got a link to fairly simple examples comparing Lisp solutions to those in another more 'mainstream' language (e.g., C, Python, BASIC, Java) that illustrate the benefits of using Lisp over another language for a 'practical' application? Thanks!
> Because you can't do that and still call the resulting language C.

Says who? Non-backwards-compatible changes are made to language standards all the time. It's not pain-free, but neither is the status quo.

Besides, who cares what the language is called? Change the name if that's what it takes, but stop conflating pointers and arrays. The cost of that has been literally billions of dollars in losses due to buffer overflows over the decades.
> ...after numerous more hours of understanding how things work.
>
> Not mentioned in this title is that this is a USB device driver, for a relatively simple device, with existing code available. This is essentially a code-to-code "translation" task. I can see how this looks very impressive, but IMHO it's like watching anyone else skilled at their profession.

Yeah - the title is a little off. My apologies! I'm not super knowledgeable about the kernel myself and while I did gain some knowledge from watching the video a lot of it looked like pure magic.

If a mod wants to edit the title to remove the "from scratch" and add that it's a device driver that would be great but otherwise, no worries
Agree!

For that very reason in Elixir `import` is discouraged in favor of `alias`
It is interesting to see where MiSTer community will be going, the DE-10 Nano board that forms the core of the system is very long on the tooth and also quite expensive for what it is. But for ecosystem as complex as MiSTer shifting platforms is immense task.
TLDR; it probably wasn't the russians, most likely a trawler.
Docs has a few big shortcomings in my experience. Like it can’t number headings and figures, and cross-reference to them.
I imagine the solution space is much bigger.

I think it could be an actually pretty good solution for this. A bit like Chaos Monkey but for human systems. Introducing error often enough that operators don't assume it never happens.
People Are Ditching Dating Apps to Find Love on.. Duolingo?
You don't need to read the nitty-gritty of the USB spec itself, having a general idea of its capabilities is enough. The kernel gives you a bunch of functions to work with. You can learn it by simply reading the code of the most simple driver that you can find in the kernel source. Then you can step up, and find a more difficult one.
You haven't installed the shell integration, likely. https://iterm2.com/documentation-shell-integration.html
Absolutely agree with your first point. If this machine is such a detriment to OP's productivity, surely their time would be better spent communicating this with their IT/procurement team over making a public blog post.
This was January 2022. Didn’t the alleged Russian interference happen later, during the invasion of Ukraine?
Ah yes, Python's package manager has it wrong also. But at least Python the language is clear, so you can know "import foo" or "from bar import foo" creates a name "foo" in your file. Go has no such limitation. Imagine doing "import pyyaml" and "yaml" is the name defined...
Remember that doco on Netflix where black people were complaining and trying to solve for not being correctly detected by facial recognition tech? They had a genetic advantage against FRT.
> Bottom line: it wasn't hidden from you[1]. You made an assumption without reading up on your "$2.2k laptop" and it didn't work out for you. Fortunately Apple have a relatively generous returns policy, take it back and get on with your life.

Speaking of assumptions, looks like you made an assumption the OP bought this laptop themselves.
The problem is the other half of the company that never use it.
Fine-Tuning Shuffle Partitions in Apache Spark for Maximum Efficiency
I’m not American.

Seeing multicoloured underpants and bedsheets fluttering in the streets is not an impressive or edifying sight for the clothing owner or for the unfortunate observer. Lack of privacy is dehumanizing.
Climate change is behind increasing flight turbulence: Transportation Secretary
not washing the rice is generally a bad idea even disregarding this factor, because the texture of the rice will come out quite wrong.
That's certainly a, um, different take on the situation. Most folks seem to think that Waymo is furthest along, and they're not ready for prime time yet, perhaps not for quite a while. Tesla is often rated as third or fourth or even fifth in the 'race.' You don't suppose this guy could be biased, do you?
I wonder if depression will be seen in LLM’s… once they get a little introspection capacity.
https://archive.is/YQctO
I have seen successful cases. People in their 30s coming out of a long relation, with a not very social job/life, have some difficulty finding a new partner if not online

Of course, there are many different apps, more casual, more serious, some bots all around... you need the right app for the job

But my impression was a lot of people alone lookig for a serious someone, and not many opportunities to meet new people
Taking a page from the Signal Foundation, it could have operating expenses of $50+ million per year. After bootstrapping for the first five years, donations might begin to recover 33% of the operating expenses per year. Even with extremely efficient software and lean operations, the expenses could probably be halved at best. Adjust for 5% inflation and 20% growth per year. I think this could basically be a national service as important as social security, but for the world.
Bah. This scientific research completely undermines the premise of the book “Snowcrash” that I just finished reading, and loved.
The competition can run multiple displays. The competition has built in window tiling shortcuts. The competition has built in clipboard history. The competition doesn't open up your music player every time you connect your earbuds. The competition doesn't require carrying around HDMI and ethernet adapters everywhere you go.

Apple is garbage, Macbooks are garbage, Windows + WSL beats them for every development task and in general productivity.
Some people even say it is the fakest story they ever heard.
> The current is used to amplify the fibre optic signals that flow through the 1300km long cables between the peninsula and the Norwegian mainland.

This is magic to me. Anyone have a search term I could use to better understand how electricity is used to boost a fibre optic signal?
Yeah, those tricks are highly related to what we do, the main difference being that we don't require a priori information about the distributions involved in the program. Instead, we compute a density estimation of the distribution of branch conditions at runtime, which makes things quite general and fully automatic, at the cost of some accuracy.

As an aside, the combination "known distributions + automation" is covered in the Julia world by stochasticAD (https://github.com/gaurav-arya/StochasticAD.jl).
It's not reasonable to be 100% correct, no. But given current police conduct in the US I trust them less than ever to try and resolve wrongdoings when it comes up. It's not even "oops" level anymore.

It's always been wrong and still is wrong, but the reasons changed over the years. Americans have traditionally been adverse to mass surveillance and I don't think that changes much today. The government just does it in sneaker ways nowadays.
It is ok to disagree kid (I often make mistakes), but asserting your locale's rules are somehow international is a nonsense argument for your own ego.

I would recommend considering programs compatible with your obvious temperament:

https://www.youtube.com/watch?v=XUAsU_zQVMo

Feel free to append any additional off-topic nonsense below if it makes you feel better. I still like you. =3
> I built Docland because I constantly found it frustrating to locate and view API definitions when programming. You'd have to Google the function/class name, skip all the SEO articles, find the page you want, yet the documentation might be poorly formatted or does not support searching.

Well you can tell Intellij to just download the sources of libraries used in your project, and then it's ctrl-q on a method to see its javadoc.

I did not look at your project, presumably it does something more to add value to this?
Alright, will take a look at it sometime. But the more interesting proposal for me right now is the component model.
You act less arrest warrants these days stop the police from arresting someone. That's part of the problem.
Cloudflare is evil, even though they do a decent job of pretending they care. They are smart to offer gateway services (gateway as in gateway drugs - stuff to get you hooked) for free to end users, since it grows their fanboi base, gets more people familiar with their services, and gets people hooked in ways that make it very difficult to use something else when their projects grow.

However, any reasonably competent person can see that recentralization of the Internet is a Bad Thing™, and that this is precisely what Cloudflare wants.

Likewise, we know that aggregating our data through a for-profit company that's based in the United States means that collected data is reasonably in the hands of the NSA, which makes their DNS-over-HTTPS scheming suspect.

Just like what happened with the company in this post, we have plenty examples of them abusing their position to extract money from both legitimate companies, like this one which is aware of their legal obligations in various countries, and scammers and spammers alike, who Cloudflare are more than happy to host indefinitely in the name of "free speech".

Their lack of clear communication, their broken abuse reporting, their continued claims that they don't "host" all show them to be antagonistic towards anyone negatively impacted by their facilitation of illegal activity.

Cloudflare is an evil company that just happens to be better (but not great) at hiding it than other evil companies.
Cargo Cult Liberty
Nah. Apple tells you what you're getting for your money in plain old English in white and black. If you don't read it, that's on you.

M3
Simultaneously supports full native resolution on the built-in display at 1 billion colors and:
One external display with up to 6K resolution at 60Hz

M3 Pro
Simultaneously supports full native resolution on the built-in display at 1 billion colors and:
Up to two external displays with up to 6K resolution at 60Hz over Thunderbolt, or one external display with up to 6K resolution at 60Hz over Thunderbolt and one external display with up to 4K resolution at 144Hz over HDMI
One external display supported at 8K resolution at 60Hz or one external display at 4K resolution at 240Hz over HDMI

M3 Max
Simultaneously supports full native resolution on the built-in display at 1 billion colors and:
Up to four external displays: Up to three external displays with 6K resolution at 60Hz over Thunderbolt and one external display with up to 4K resolution at 144Hz over HDMI
Up to three external displays: Up to two external displays with 6K resolution at 60Hz over Thunderbolt and one external display with up to 8K resolution at 60Hz or one external display with 4K resolution at 240Hz over HDMI

See also: American Airways absolutely refused to fly me first class when I only bought a cattle-class ticket. No, I didn't read any of the fine-print, but my ticket cost a load of money. American Airways need to fix their substandard product.
Lots of ways to work around SCOTUS decisions in this domain.
> CloudFlare shouldn't have hosted Kiwi Farms in it's current state, because I don't think hosting dox should be legal

But they keep doing it. Just not KiwiFarms but other websites. I've reported it to them, they claim they are only a proxy (that's not true, they are also the registrar and DNS). Nothing was done.
I just wrote out a reply to the parent comment about learning to code but forgot to reply to this one, my previous comment is here:
https://news.ycombinator.com/item?id=40484956