skysight-inc/HackerNews huggingface dataset:
Once the tech is worth it we'll have uBlock, Ad Nauseum, and eventually Vanced apps. I'll help friends and family, but sadly have learned my lesson about helping the general public utilize such things.
> If adversarial input is a concern, doing a O(n) shuffle of the data first guarantees this cannot happen.

It doesn't guarantee that you avoid the worst case, it just removes the possibility of forcing the worst case.
El Oñin.
You can also verify software like compilers in Lean:

https://aws.amazon.com/blogs/opensource/lean-into-verified-s...
Runway's AI video generator trained on scraped YouTube videos
Sadly very true. Makes you wonder why we have big government.
What about methods that share a signature but have a different meaning?

The interface can have a comment documenting what it's supposed to do. Any class/function that explicitly implements said interface should adhere to that definition/meaning. Any function that implicitly implements it... who knows what was intended.
Yep, will add in full texts as we can in the future. Let me know if the percent of papers found as an indication of an exhaustiveness measure was clear? Reach out to us at support@undermind.ai if you'd be willing to provide more feedback on your experience.
I think the article was pretty convincing. Even painfully so as it went through the atrocities people are doing in this particular industry to achieve things that, you're completely right, would be trivial in Lisp.

Unfortunately, most critique you're getting here is coming from people who didn't read the article, as you can see by the lack of comments addressing any specific part of the article.
To some extent, what they do is stronger that the other contestants, who I understand don’t formally prove their answers.
(note .. use 'which' not 'witch', quite different words)

Not sure if you mentioned it, but cost and scaling is an absurd trick of AWS and others. AWS is literally 1000s, and in some usage cases even millions of times more expensive than your own hardware. Some believe that employee cost savings help here, but that's not even remotely close.

Scaling is absurd. You can buy one server worth $10k, that can handle the equivalent of thousands upon thousands of AWS instances' workload. You can buy far cheaper servers ($2k each), colo them yourself, have failover capability, and even have multi-datacentre redundancy, immensely cheaper than AWS. 1000 of times cheaper. All with more power than you'd ever, ever, ever scale at AWS.

All that engineering to scale, all that effort to containerize, all that reliance upon AWS and their support system.. unneeded. You can still run docker locally, or VMs, or just pound it out to raw hardware.

So on top of your "run it on bare metal" concept, there's the whole "why are you wasting time and spending money" for AWS, argument. It's so insanely expensive. I cannot repeat enough how insanely expensive AWS is. I cannot repeat enough how AWS scaling is a lie, when you don't NEED to scale using local hardware. You just have so much more power.

Now.. there is one caveat, and you touch on this. Skill. Expertise. As in, you have to actually not do Really Dumb Things, like write code that uses 1000s of times CPU to do the same task, or write DB queries or schema that eat up endless resources. But of course, if you do those things on your own hardware, in DEV, you can see them and fix.

If you do those in AWS, people just shrug, and pay immense sums of money and never figure it out.

I wonder, how many startups have failed due to AWS costs?
On my visits to Warsaw, I have always been struck by the translucent advertising entirely covering the sides of new-ish office buildings. Now I know how/why this is possible.

Example (hard to find because no-one takes photos of the ugly buildings in Warsaw):

https://www.businessinsider.in/thumb/msid-70660934,width-640...
Or, come to think of it, is the phrase "the subject was broached in the discussion" what I was thinking of? Note the 'o', not 'e'.

Sorry, now I'm thinking I was wrong above.
So basically this is saying that the CAP theorem is irrelevant because a partition is not really have a partition (since the load balancer still can reach everybody). Hmm...

I agree that in modern data centers the CAP theorem is essentially irrelevant for intra-DC services, due the uptime and redundancy of networking H/W (making a partition less likely than other systemic failures).

Across DCs I'll claim it is still absolutely relevant.
As far as it makes sense and has a positive effect, don't be a pain.
IMO, someone should kill XCP and A2L. They are in effect, a semihosted debugger. I would rather have semihosted gdb and use .elf. The tooling around A2L is horrendous.
When I was a kid in Miami, I read about people commuting to work by jet ski. This was before they replaced the Rickenbacker Causeway drawbridge with the William Powell Bridge, and the commute from Key Biscayne into Miami could be delayed and backed up, as boats had the right-of-way.
> ... key players in security—among them Microsoft and the US National Security Agency ...

This phrase does not sit well with me.
Replace "this thing is better than Terrence Tao at maths" with "this thing is better than Garry Kasparov at chess" and your statement would sound equally reasonable in the early 90s.
Must be something to do with our situation? Basically both I and my partner just got told we were making fraudulent accounts. Used our real names, emails, phone numbers and same result. Used multiple other phone numbers to see if they were blacklisted for some reason, nope. Used my mother’s WiFi in case it was something to do with IP, nope. Tried from India with an Indian phone, nope.
Vacuum of space to decay sooner than expected, but still not soon
Not sure, there's a comment below my parent comment that indicates that there's wild caffeine free coffee. it just tastes bad apparently.
One of the things that's made us at Zulip very happy with Flutter is that it's an honest-to-goodness functioning open-source project. The issue tracker is out in the open, as are the PRs and code reviews. You can (and we did) show up with bug reports and someone whose job is to develop Flutter will read it and make a cogent reply. And getting a change merged in Flutter is however easy or hard it is to do the change well, but no harder — the codebase is high-quality, and the maintainers are responsive. It's at quite a high percentile among all the open-source projects I've interacted with.

I don't know much about Kotlin Multiplatform or Compose Multiplatform. But from what I've seen, the Android group in general doesn't live up to that high standard as an open-source project. You can report bugs and might get a reply, but can't really participate in the discussion; the public bug often gets linked to a bunch of internal bugs you can't see, and the code reviews for any fix happen in private.

(I lead the Zulip mobile team, so the decision to use Flutter was primarily mine.)
(2017)

Discussed back then:

https://news.ycombinator.com/item?id=13528407 (104 comments)
The article presents a beautiful, self-contained, anecdotal but representative example of why communism never worked, doesn’t work, won’t work, and wouldn’t work in your imaginary parallel spider-man universe scenario.
TikTok LLM — Euphemisms and Language Acqusition
OpenAI tests new search engine called SearchGPT amid AI arms race
ahahah that's beautiful. So it's all good because they built public toilets? Like when big companies have programs for the disabled, that makes it all good all of a sudden, we forget all about the other stuff? Damn...
This is quite cool! I've found logical reasoning to be one of the biggest weak points of LLMs, nice to see that an alternative approach works better!
I've tried to enlist gpt to help me play a android game called 4=10, where you solve simple math problems, and gpt was hilariously terrible at it. It would both break the rules I described, and make math mistakes, such as claiming 6*5-5+8=10

I wonder if this new model could be integrated with an LLM somehow? I get the feeling that combining those two powers would result in a fairly capable programmer.

Also perhaps a LLM could do the translation step that is currently manual?
I also am not a blind MS hater or supporter. I probably do often give MS too much leeway for a lot of things where more skeptical people would basically instantly dismiss it. I guess I just try to make the best out of what is given me.

> I wasn't privy to any memorable internal discussions about secure boot.

I think it was a leaked email from Bill Gates around when UEFI or Secure Boot was becoming a thing. I wasn't able to find it after searching for a while though.
Discord recognizes <t:{{unix_time}}:format>

https://discordtimestamp.com/
Sure, but when there are no businesses or other tags around, they need to label the streets.

This is just stupid: https://i.imgur.com/VpEvREN.png Some of the most significant streets have no labels, and good luck reading the ones that are there.
Deep const: since you have a (const) ref to the variable, you cannot access any of its parts mutably. Of course, RefCell and co are not allowed, I suppose.
Can we please ban advertising from society and into convenient little directory books where everything is categorized? If I want something, only *then* I [still most likely won't] want to see ads.

Why am I acting so entitled about it?

I just am, and frankly you should be too! :^)
It's corruption. On paper it's probably construction or renovation and there is some fraudulent deal between inspection department in city hall and marketing agency. Fuck you, Coca Cola.
They keep announcing "design improvements" but whenever I check all I see is an ugly, dated UI I just can't consider serious. Can't be.
There are companies doing exactly that: augmented reality / computer vision advertising.

- https://www.uniqfeed.com/our-solutions/football/

- https://supponor.com/

They have on their websites some neat examples. For example Supponor literally replaces the ads in the live stream (see the hockey example on their front page).

Not sure if it's the same two companies, but you can find an impressive result video here:

https://www.reddit.com/r/blackmagicfuckery/comments/uf0re1/d...
Anyone on the 10k user trial? Curious what they think of this?Is it based on Bing?
I am not sure. But from the outside, it looks like what Prometheus does behind the scenes.
It seems to me that Prometheus works like that because it has a limit on latency time around 10s on some systems I worked.
So when we had requests above that limit it got all on 10s, even though it could be higher than that.
Interesting.
Formalizations for the competition were done by hand.
Appreciate the comments. One thing to note: how much compute it takes to "get everything" varies from search to search, and researchers don't always care about that and usually care most about getting a few specifically relevant results, so we start each search with a first pass with a fixed amount of compute. I know there's a lot to absorb on each search page, but if look near the bottom of the summary, Undermind is predicting is has only found about 80% of the papers with the compute dedicated to this search so far. Logged in users on Pro accounts can "extend" the search until it's gotten 90% or more to ensure exhaustiveness. One other thing I'd be curious about is your notion of "importance" here, can you help us define that here? Any ideas for how would say a very smart human assistant who's not intimately familiar with your community's interests be able to pick out paper 7 from the list according to what you mean by importance? Maybe we need a way to communicate to the system that you're interested in pedagogical or seminal works in the field?
Bluetooth isn't too bad. Biometric auth is where it gets fun.
"We didn’t recognize any public interest in having billboards"

Seems about right - hopefully the same rationale can be employed in more and more cities.
I've been experimenting with this, it makes testing trivial and removes the coupling that inevitably occurs with multi method interfaces.

However I think there's one missing enhancement that would turn it from esoteric and difficult to reason about to actually usable that the language will never get.

This is being able to indicate a method implements a delegate so that compilation errors and finding references work much more easily.

E.g. suppose you have:

delegate Task<string> GetEntityName(int id)

public async Task<string> MyEntityNameImpl(int id)

I'd love to be able to mark the method:

public async Task<string> MyEntityNameImpl(int id) : GetEntityName

This could just be removed on compile but it would make the tooling experience much better in my view when you control the delegate implementations and definitions.
>carbon footprint

Bottom of my list of concerns, whereas at the top is being surveilled and psychologically manipulated on an individual or group level. I am very sensitive about it...
File Find: A cross-platform utility for easily finding files and folders
Slowness (lower throughput) is often the tradeoff for more predictable run time.
I think this is just more of knowing your market but still b2b. For example, I know of many b2b products that market to individual team-leads. They price themselves to be easy to expense by a team lead, but once more teams adopt the product, they switch into enterprise pricing/sales tactics.

There are some parts of the world where b2b has different laws around invoicing, payment terms, etc. from b2c. For example, here in the Netherlands, I have to provide min 14-day terms on business invoices, along with very specific rules for those invoices. On b2c sales, I need to provide a return/refund policy that adheres to Dutch law, I can charge late fees, and I can have the consumer pay up-front.

So, I get your nuance, but sometimes the law doesn't give us the freedom to use it... or we don't want to because then it introduces legal nuance that can be bad for business.
Yeah, that's cool. As someone who fell down this rabbit hole well over a decade ago, complete with a history of my own large storage bins for green beans, multiple roasters, thousands spent in makers, etc... Yet, today, my most used preparation methods are an AeroPress or a Chemex pour over, albeit with hand-ground beans that a friend and neighbor roasts... I just don't think I want to hear 2 minutes of useful information from watching 25 minutes of videos (between the 2 that are linked here).
Unfortunately backend server went out few hours ago. Issue is now resolved.
It is working as expected.
Can you try now?
For a systematic review/meta analysis you’d be expected to document your search strategy, exclusion criteria, etc anyway wouldn’t you? That’d preclude using a tool like this other than as a sense check to see if you needed to add more keywords/expand your search criteria anyway.

My wife does that for her day job (in the U.K. national healthcare system) and the systematic reviews have to be super well documented and even pre-registered on a system called PROSPERO. The published papers always have the full search strategy at the end.
What is deceptive here? This seems like a reasonable way to present the information.
> > The servers are currently in Germany

> With what company? All good if it's a EU company like Hertzner, but it can still give GDPR headaches if you are hosting on e.g. AWS in Frankfurt because Amazon is still a US company.

Says Hetzner (with only one r) in the first FAQ, "Is BillaBear GDPR Compliant?", on the homepage.

[ETA:] Could of course have been added after you asked here; I only checked it out just now. [/ETA]
Announcement possibly connected to:

"Stock markets tumble amid jitters over tech companies’ growth"

https://www.theguardian.com/business/article/2024/jul/25/sto...
The US isn't the only country in the world
> as you can see by the lack of comments addressing any specific part of the article

Yes, rightly so! I would have been more than glad to address and discuss any of the points made or tools mentioned in the article but that happiness has been stolen from me by the lack of such comments. You're right.

> I think the article was pretty convincing. Even painfully so as it went through the atrocities people are doing in this particular industry to achieve things that, you're completely right, would be trivial in Lisp.

Yes, some of these tools I've mentioned I've also worked with for years. It has been a few years since I've exited from that industry and now I've tried to bring back the feelings and remember the tools and standards so I've had to do some research. It slowly came back. But I did discover some new tools and languages that I haven't used so the horror was even greater than what I've remembered and then I couldn't stop digging for more. Good observation.
That's a rather dickish way of completely missing the point
Stock markets tumble amid jitters over tech companies' growth
I, for sure, didn't want a laptop that went dead 10 days after its warranty expired.
Idk, I was told pfas were safe, and that only held until someone who is not paid by DuPont started to seriously look into them
I thought python is easier, but what I've learned is most channels prevent posting job ads / recruitment / anything remunerative... Not only do they prevent it, but they are INCREDIBLY RUDE ABOUT IT :D
Job board will not allow contract as title of FIRST MAID. TO THE USERS, THEIR PIRATE QUEEN, HER WHALE SIMP
If it's just me, to be honest I will stick with emacs and CL because it's faster and a lot easier ;3
and it feels easier to just 10x my output with common lisp than hiring and dealing with the mess and bureaucracy
interested hackers may apply but you must love the pirate queen + whale

Also shoutout to #gentoo-chat for not being dickwads you're the real ones
Ok... What is the EROEI of these reserves?
Could not try it.
Saying valid institutional or company email address.

It doesn’t recognize my university.
That's OK, I don't want to owe anyone money.

I can quit my job with full peace of mind, that's what this whole thread is about.

If and when I have money to buy a house, I'll just buy one. It's not that different from buying a fancy meal or a plane ticket. If I have the money I might buy it. If I don't, I don't think about it. I'm simple like that, and as a result, I have very few financial worries.
A hash table by any other name
Show HN: Built Inkflow.io Chrome Extension Ultra Long Form Writing
In other words: an interface with one member is equivalent to a function reference.

There is an equivalence between public interface IThingDoer { int DoTheThing(int value); } and Func<int, int> doTheThing.

Converting from one to the other is left as an exercise to the reader.
https://news.ycombinator.com/item?id=41076368
Looks pretty interesting. A Figma style zoom in and out could help give you the big overview. I always get lost in the gazillions of tabs in IDEs. Stuff like this allows people to use their spatial memory, which is underutilized in a lot of tools.
Could you clarify that? Are you saying you wish everything could be inline by default? (It's not true that things are currently inline by default.)
Fantastic post. Great job Martin Janiczek! Fellow T1D here. Please keep posting because it is useful and interesting! I am a programmer and more glad to help you in any way with databases, SQL, Python, R, C#.

Resources that helped me achieve excellent control of my type 1 diabetes. My TIR is 95-100% and lowered my A1C from 11.9 to 4.1 (not low carb, I’m high carb in fact):

Fat and protein in meals require insulin 1-2 hours after eating via extend bolus (aka temp basal). Learn how to post-bolus (give yourself insulin AFTER meals) “Fat-Protein Units” (FPU).

Fat x .09 x 8 ÷ I:C = units of insulin
Protein x .04 x 8 ÷ I:C = units of insulin

Sum both. Then dose insulin as a temp basal (extended bolus) over n-hours per the Warsaw Method time schedule linked below.

And continue to pre-bolus for carbs like usual 15-30 minutes before you eat (data driven approach is pre-bolus and eat meal AFTER blood glucose values on CGM trend down for 3-4 consecutive readings)

https://waltzingthedragon.ca/diabetes/nutrition-excercise/re...

https://drlogy.com/calculator/warsaw-method

Starting point to determine your insulin-to-carbohydrate ratio: 300 ÷ Total Daily Insulin Dose
= 1 unit insulin covers n-grams of carbohydrate

https://diabetesjournals.org/diabetes/article/68/Supplement_...

Two books:
https://www.amazon.com/Think-Like-Pancreas-Practical-Insulin...

https://www.amazon.com/gp/aw/d/0593542045/ref=tmm_pap_swatch...

One podcast:
https://www.juiceboxpodcast.com/diabetesprotip
Everything I read seems to suggest that hydrogen is a pipe dream for energy storage, as the output efficiency is so low. And that's before accounting for all the issues of just storing and distributing it.

Solar panels and wind turbines produce electricity, the highest form of energy, directly. Instead of converting that to thermal or chemical energy for storage and then back to electricity for distribution, you're better off just storing it at as thermal energy at the destination. I think we often forget that thermal energy means everything from ~0 Kelvin. A heat exchanger can be very efficient.

I think there's going to be a lot of interesting stuff happening with dual-use PV panels and thermal heat exchangers. In some cold climates you generally want as much thermal energy as you can get your hands on.
Your hypothetical issue is that you accidentally make a function conforming to an interface without actually meaning the same thing that the interface means?

That almost never happens in reality so it's not an issue.

For example, go has io.Reader which needs just `Read(p []byte) (n int, err error)`

Your issue is that you accidentally do Read with same signature, but it will mean something else, and the error it returns are different, so instead of EOF (as io reader should) it will return something else on end of file?

... it just doesn't happen in Go. You would need to go out of your way to break it. I guess it theoretically can happen.
An interface is a named set of one or more function pointers. (actually zero or more if you use empty interfaces too).

But yes, this idea is for the case where there's exactly one interface member, then it's equivalent to a function pointer.
No. Quoting:

> Some of us

Who is "us"? I said "fresh anonymous accounts" because there's a problem with such on this website. Certain ideas are way more likely with those.
I think you answered your own question. It's the standard average-time analysis of Quicksort and the (unmentioned) assumption is that the numbers are from some uniform distribution.

Why would the distribution have to be symmetric? My intuition is that if you sample n numbers from some distribution (even if it's skewed) and pick a random number among the n numbers, then on average that number would be separate the number into two equal-sized sets. Are you saying that is wrong?
Also it looks like a Max Power style Vauxhall Nova. A real blast from the past, that's a car modding culture that is mostly gone.