skysight-inc/HackerNews huggingface dataset:
I just posted on the FUTO chat since I didn't really know where to get the discussion going (https://chat.futo.org/#narrow/stream/38-project-ideas). I think I would like to participate in the creation of something like that.

In my head there are a couple problems a new app would need to address:

- Stop the meat grinder that is the current swipe model

- Feeling of overwhelming resulting of too many likes

- Waste of time due to low quality propositions of matches

- Most likes being based on looks

Here is the process I had in mind (I invite criticism):

1. You are presented with 10 profiles without picture that are the closest to your own reported preferences (similar to what ok cupid did a while ago with the questions). You select 3 out of those 10. TBD what would actually be displayed to the user.

2. Repeat step 1 until you have 3 profiles that also liked your profile (with a timer in-between each selection)

3. You now see the full profile (still without picture) of the 3 people that liked you back, you select one

4. You have access to a couple pictures (max 3 or something) and you decide to match or not

5. If you match, you can only talk to this person. To return to new matches you have to decide to unmatch your current match.

I figured that this process would require minimal content moderation / bot detection since we limit images and they are only shown later (same with the full profile). There are probably some flaws that need to be worked out in my process.
Great work and congratulations on your tenacity dealing with bureaucrats. Open access and machine readable formats should be widely available.
Yes CA/B Forum sets policies for Windows code signing certs and CAs just follow, even in cases where it's harmful to their customers or obviously dysfunctional :(

CA/B Forum and its members are ignored by Apple and for good reasons. They run their own PKI which is a lot easier to use and cheaper.
You can only increase distance so much before something breaks. I think it's weird that you have such a strong opinion about this. Clearly you care about distance more but speed is another performance measure that is just as important.

Also if we are purely talking about health, doing 26 mile runs regularly is not healthy.
Do you mean besides the $99/year Apple Dev membership + a Mac?

Other than that the hardest part is convincing AppStore review that whatever you build and submit is useful/interesting enough to be published. There are a ton of little gotchas that don’t always get flagged in app review but can surprise you, no mention of “TestFlight” or Android allowed anywhere including screenshots.

Not difficult but something I always find tedious is all the marketing material required for the App Store, screenshots, icons, & copy. There are tools to automate asset workflows (fastlane snapshot + figma templates, etc) & generative ai is good enough at generating icons & marketing copy.
Prolog — a fine piece of kit from yesteryear. I advocate for it for logic and constraint programming use cases which abound.
You would think so, but I work in construction and I can confirm that finding a skilled builder is just as hard as finding a skilled coder. Probably more so because coders seem more intent on lifelong learning whereas construction types tend to act like they already know everything.

Just look at the top comment, works in construction, electricity is over 100 years old, still had trouble finding people who care.

Part of the challenge is that practicing construction is expensive so not everyone gets a chance to do so. Practicing code is easy and inexpensive. There's an accessibility to it that isn't there for building. I code stuff that doesn't work all the time and I don't care, I just start over because I didn't lose much. It's very different when dealing with expensive construction materials.
It would never work. For men, the pictures of the women are essential. You either would get no men at all on this site, or the women would get a ton of insults or either would be ghosted once the men saw what they looked liked. In the end, you get a bad dynamic for both sexes.
I've gone through exactly that decision tree for Pianojacq and even though it made a lot of stuff much harder (notably: database work) I'm really happy with the result and apparently so are the users. Funny thing: I recently had someone tip me off to start using it :) They were quite surprised I was the main author.
I would guess that it's probably aspirational to some degree. People hope to work with larger systems.

Personally I think it looks interesting and I work at a small web agency. We usually only work with a few parts of these kinds of systems, but occasionally we have clients like a large sports ticket vendor, where a few more of these patterns are helpful.
I decided to do some more reading on the site that agumonkey provided. In particular this link, also by Patrick Cousot:

https://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS20... [pdf] - Abstract Interpretation Based Formal Methods and Future Challenges, 2000

> All abstractions considered in this paper are “from above” so that the abstract semantics describes a superset or logical consequence of the concrete semantics. Abstractions “from below” are dual and consider a subset of the concrete semantics. An example of approximation “from below” is provided by debugging techniques which consider a subset of the possible program executions or by existential checking where one wants to prove the existence of an execution trace prefix fulfilling some given specification. In order to avoid repeating two times dual concepts and as we do usually, we only consider approximations “from above”, knowing that approximations “from below” can be easily derived by applying the duality principle (as found e.g. in lattice theory).

This is where he's getting the "superset" part. The abstraction describes many possible concrete implementations and so is a superset of all of them. Finding a particular concrete implementation or following a particular trace of a particular concrete implementation in a particular environment would be finding a subset (or particular element) of the set.

Relatedly, consider the idea of an "abstract data type" like a stack. We can describe a stack's abstract behavior (last in/first out collection with push/pop/peek operations) without describing any particular concrete details or environments. That abstract description is applicable to all stack implementations, though when we get to concrete implementations they may have further restrictions (an array-based stack has a maximum stack depth set at the start if we don't allow reallocation, a linked-list based stack has a size limit as well but it's limited by system memory instead of an initial fixed number, etc.).

This ADT of a stack is describing a superset of all concrete implementations in that it is describing something common to all of them. If it were a subset of all concrete implementations then it would only describe the behavior of some concrete implementations of a stack, which means we would have concrete implementations which are not compliant with our abstract notion of stack. That would be odd. In OO or type terms this is a superclass or supertype of all concrete stack implementations, and the actual concrete implementations are subclasses or subtypes of the stack ADT. Subclasses/subtypes are subsets of the superclass or supertype.

EDIT: Stacks are last in/first out. Needed coffee to catch that mistake.
Would you expand a bit on the shortcomings? I'm under the impression artificial life was an attempt in the 90s and after some disappointments fizzled away. Why is simple copying with mutation not sufficient for real evolution? In my naivety I hoped it would lead to digital evolution finding exploits to proliferate across the internet.
If r/InternetIsBeautiful was a newsletter
Thanks, looking at these 6P connectors, the through-hole mounts ought to make the SMT connectors easy to solder down. I'll pick a few up and try them out on my next PCB project. (Worst case I can pre-solder these to the PCBs in the kits.)
It's obvious yet complex that the obvious can also be complex
It seems like it. There are alternatives like Koa and Fastify, but none of seem to strike quite the balance that express does. I pray that one day express 5 will get released and they’ll finally fix the whole async middleware not handling errors properly thing though. That’s gotta be one of the most annoying quirks that has just been quietly sitting there untouched for years at this point. Maybe one day.

I guess there’s Bun and Elysia now too, but that’s pretty bleeding edge by comparison.
It's nice that the site can run the examples. Did you wrote the interpreter?
Google’s Helpful Content Update is the Beginning and the Beginning of the End of SEO, and SEO for HCU is actually LLMO.
I really wish the trial included stool testing. I suspect it would perform very favorably to the colonoscopy, which seems to have very modest benefits to begin with. And the stool test is infinitely easier (and cheaper on a healthcare system).

>The sensitivity of detection of carcinoma is a remarkably acceptable comparison. The multi-targeted stool DNA test is 92% sensitive for finding cancers, which is almost equal to colonoscopy, reportedly at 95%.

https://www.facs.org/for-medical-professionals/news-publicat...

The stool test isn’t as good at detecting polyps but the Nordic study would have shed some light on how much that reduces cancer mortality anyway. This study suggests stool testing compares very favorably to colonoscopy.

https://medicine.iu.edu/news/2019/02/new-study-shows-annual-...
Because Ms hasn't asked for it.
I'm on Google Pixel 7 Pro with Android 14. The amount of random UI glitches since I got the phone (recent app picker button stopped working 10 min ago, Google Photos UI not working randomly til I restart phone) is inexcusable. Samsung went from horrible laggy touchwiz to UI better than stock Android based on my experience

Oh. And Android 14 update rearranged camera UI which was already fine
no matter how badly he performs, it could not possibly be worse than watching Bill Gates slouch, grunt, and smirk his way through Microsofts monopoly trial.
Ive been using rabbitsign since 2021 to get signatures on legal docs for work.

Covid made this acceptable.

https://www.rabbitsign.com/
Also why would the Oregon Secretary of State be looking for software to “identify and mitigate harmful information online as it relates to elections (misinformation, disinformation, and mal-information or MDM).”

Welcome to the police state where everything is fine because we control your thoughts...

Here is the RFP.
https://www.northwestobserver.com/docs/misinformation-rfp.pd...
> in fact we can construct test jokes that abide by all of them and are still deeply unfunny

They could be necessary rules, but not sufficient. Necessary in the sense that, can you construct a joke that doesn't abide by one of the rules, but is still funny?
> Eventually settled on Azure KeyVault with Digicert

Somewhere at Microsoft two sales guys are high-fiving each other upon reading this comment. Mission. Fucking. Accomplished.
JFHC that's expensive — $641 for a tiny generator and a battery. That's more than my bike cost.
I still think there is a surprise element in the above exposition.

The surprise is the realization that we’re not supposed to throw around bowls of Skittles coupled with the unacknowledged realization that this rule is just some tiny, pointless restraint. The recognition and release of this restraint allows for joy! There’s an aesthetic beauty to a rainbow of candies flying through the air, akin to fireworks or streamers, yet in daily life we choose not to throw the bowl of Skittles because we’re more focused on the imagined cleanup than the active, lived experience.
Woah that’s a very valid point
unfortunately the article leaves out the corresponding LaTeX example.

to me the given typst example doesn't look like it would be much easier than a comparable example in LaTeX.

taking a look here: https://typst.app/docs/guides/guide-for-latex-users/ i don't see much that stands out as a real improvement. most are just differences. if you prefer one over the other, great. for me, i don't really care. either one looks fine to me. but if it comes down to it, LaTeX syntax at the text level looks less complex.

on the other hand, defining your own commands or environments in LaTeX is not as easy, and actual code syntax is far away from traditional programming language syntax.

so if you do a lot of coding in LaTeX, then maybe typst will be easier to use. but to maintain my CV i don't have to write any code.
Over a million Paraguayans disappear in the latest census
There is literally an entirely deterministic algorithm for checking primality, so you can be 100% sure that a randomly-generated number is prime: https://en.wikipedia.org/wiki/AKS_primality_test
Not to be confused with https://www.redbeanphp.com/
> The best bachelors would be gone pretty quickly. That put a ton of pressure on the remaining women to quickly settle for an average guy in order not to be stuck with a terrible partner

So average women with average men, I don't see the issue. The problem is now a lot of women aims very high, even out of their league, when they don't have much to put on the table.
First open source amdgpu release was 2015, so 8 years later. You could probably reasonably stretch an Nvidia 8800 GTX (the absolute top card in 2007) to 2012 if you were thrifty with the settings and resolution. But by 2015 you couldn't run most games at all I would wager.
The way I see it, the source of humor is basically the superiority theory but applied only to a knowledge gradient. Socrates saying that he’s handsome is funny because it implies that he doesn’t know how ugly he is, and the rest of us do. We all laugh to show that we possess the knowledge he lacks - we “get the joke”. The handsomest man in the world saying he’s handsome isn’t funny because it’s just a true statement, there’s no one being dumb to be made fun of.
I agree that ease of making a copy isn't relevant. If a company spend $50m on making a movie, and it's totally legal to make free copies (or charge $5 a copy), companies will stop making movies. This seems self-evidently bad; can you explain why it's not?
Let's not. Let's normalize using proper operating systems for software development and let these gate keepers to hardware that you own find out what unemployment is like.
For anyone finding the qr reader unselectable for the lock screen buttons, don't forget to first enable it in the quick settings tile.

To anyone that didn't know Android has a proper built-in qr reader (camera app UX isn't very good for qr), same here. Just learning that and finally uninstalling 3rd party was probably the most important feature of this update...
I thought both were cold places?
nothing specific, i guess - i'm just not mad about the design.
The faster you run, the less time you have to spend running
We've analysed old rocks, both from Mars itself and from meteorites and they are magnetized ... so Mars had a magnetic field, for ~1.5 billion years after it's formation.

We also know that for at least the 1st billion years mars had an ocean. In fact, it was probably covered 100% in water for the larger part of that 1.5 billion years.
The notion that the Earth's atmosphere would rapidly be stripped away if the magnetic field vanished is very unlikely. There's a lot of complex chemistry and physics that control rates of atmospheric escape from planets - but here's an accessible overview:

https://www.scientificamerican.com/article/how-planets-lose-...

Basically the intensity of sunlight (distance from the Sun) relative to the gravitational field of the planet are the main factors. Magnetic fields play a minor role at best, by trapping charged water-sourced hydrogen ions - but those ions can easily lose their charge and then escape to space:

> "An important process for hydrogen loss is “charge exchange”, which probably
accounts for about 40 percent of the present escape of hydrogen from Earth and most of the hydrogen escape from Venus. Solar radiation creates electrons and positively charged ions in upper atmospheres by tearing electrons off atoms or molecules. Subsequently, charge attraction and repulsion in collisions accelerates ions. On Earth, the magnetic field traps ions, but a fast hydrogen ion can collide with a neutral hydrogen atom and capture its electron. In this exchange of charge, fast ions turn into escaping neutral atoms."

The primary reason Earth doesn't see high rates of hydrogen formation from water and subsequent loss in the upper atmosphere is that the surface temperatures are low enough such that the stratosphere remains very dry. On Mars, due to lower gravity, this stratification should have been less, leading to higher rates of water loss from the upper atmosphere.
You can press and hold on the volume in the control panel on the iOS menu screen to get a fine-grained volume control and go lower than "minimum". Is even that too loud?
I didn't end up with a negative association at all.
> We need a non-profit to create a dating app.

I noticed this project on F-Droid the other day, they focus on making everything open source but it's not clear what kind of organization is behind it:
https://alovoa.com/
> So such a gatekeeper would have a moral hazard/catch-22, not being able to set people up on dates would prevent them from progressing.

Clearly this. Many people think that therapy is just like going to a doctor that will fix you in a moment with the right pill (well, or in a few sessions). But really it's like having a personal trainer. They can guide you but you need to sweat it yourself if you want improvements.
Compiler Testing with Relaxed Memory Models
Some cryptography depends on hardness of factoring, not hardness of checking primality.
This program has existed since past decade and not many router manufacturers cared about it. Customers wouldn’t pay extra for this logo and there is not value for this cert.
You can hypothetically train the most likely outcome to be what people don't expect. I suspect the problem is simply that humour is not really in ChatGPT's training set. Most of its training data is strictly factual stuff like Wikipedia and textbooks. Where's the humour there?

I'm curious to see what would happen if you took a pretrained model and then specialized it on a large corpus of jokes.
I was competitive in a different sport in college and burned out. I couldn't bear to watch it on TV, Olympics etc. It took me nearly 10 years to start enjoying it again but now I love to practice with the muscle memory I still have when I get the chance.
See my other comment, I thought about a multi-step process. Basically forcing slow dating in the app.

The guys trying to have too many matches is easy to fix IMO, you basically limit the likes. The feeling you could have "better" for women comes from the fast that you see too many profiles ("what if the next one is better?") and receiving too many likes. That is harder to fix, but I think not showing an infinite queue of people that liked you is a first step.

My proposed process solves both issue, basically you recreate the real-world limits of the number of people you can realistically meet BUT you increase the likelihood of a match by doing a machine filter based on your preferences.
Excellent timing - my aliexpress package with PD kit came today. PD triggers (12V) for fan plus converts down to 5V for esp32.

And one of those PD measuring things for giggles:

https://www.aliexpress.com/item/1005005933827668.html
> doesn't stop every other weather station, AC/thermostat manufacturer, etc. from still using whole degrees

I am European and while I agree on weather stations, I have never seen an AC or thermostat that doesn't at least use 0.5°C increments. (And I'd argue a whole °C is perfectly appropriate for weather.)
It is a very good point: I did a lot of desktop apps at one point (the largest being a mixture of C# and legacy C++ wrappers), and the first time I tried LiveView it somehow reminded me of WinForms!

So I can relate :-)
That makes my point doesn't it?
Let me be the nth person to say don't avoid surface mount. Temperature controlled soldering irons are cheap now. Once you have one, coarse pitch SMT parts are really just as easy to solder as through hole.
Something I agree with. First, The Superiority Theory of Humor, we have the phrase "make fun of" which is when we insult another person or thing and causes laughter, usually the target of making fun is an out group. One devise of making fun is self deprecating humor. Moreover some comedians like Jeff Foxworthy tell stores that the audience can relate to which sets the audience in the in group. Second, The Relief Theory of Humor, we laugh when we are uncomfortable and anxious. Sometimes this mental response manifests in the worst places, for example, Judge Judy scolding a defendant who is laughing while in an anxious predicament. With comedians they can illicit this by making shocking statements. There is a fine line between uncomfortable to the point of laughing and passed the line to the point of out right disgusted (do not go to Comedy Mothership in Austin) where nothing in the state of disgust is funny. As for The Incongruity Theory of Humor, it might be the other side of the same coin as the first. If making other people in the out group very stupid is funny so is making the audience and one self, the in group, very smart funny.
Yes it is, Bun is promising but still in early stage. If you're looking for a battle-tested framework I would suggest Nest.js, which supports both Express and Fastify in a virtually transparent way.
> The handsomest man in the world saying he’s handsome isn’t funny because it’s just a true statement, there’s no one being dumb to be made fun of.

There are successful comics who play on their good looks exactly like this, and do it well. Anthony Jeselnik, for instance.
Woke up to YouTube playing this 3 hour video on space the other day and it happened to be at the mars section so I lay and listened to it for a while, pretty fun watch: https://www.youtube.com/watch?v=eSg7TREgNTA

(Mars starts almost exactly 2 hours in)
Is this view documented anywhere?
My Data-Backed Battle and Defeat of Hypertension
I take this fact as suggesting that there may be more to the frequency illusion than just illusion.

How it feels is similar to like what you get when you run GTA on a system with finite VRAM. - The game uses the same assets over and over again, so you see the same cars and pedestrians too frequently to be random.

Can't really wrap my head around it though. It just seems unreasonable to demand that our reality has infinite capacity for complexity.
Even the confusion about USB-C devices and adapters is nothing compared to the insanity that is DC jacks. At least USB-C will just not work instead of destroy things.

My parents had a D-link DSL modem and Router where both the devices looked pretty much the same (they were stackable), had the same DC jacks, the power adapters looked the same, but were different voltages, which you could tell in white-on-gray 12pt text.
Mo Farah for leg extension:

https://imgur.com/a/skGEN

Ed Whitlock in his 80s:

https://mindmotionmatter.files.wordpress.com/2011/09/ed-runn...
The remedy would be to put up a magnetic field in the L1 Lagrange point.

It's an option for terraforming Mars.
Monopoly is an excellent example!

And outlined features probably align to the original creative intent of demonstrating "monopolies suck and are unfair."

If you think about it... lack thereof probably being why it's still such a popular game.