skysight-inc/HackerNews huggingface dataset:
Using Pywebview you can either use a "normal" web backend, e.g., using Flask to make a backend HTTP API, or you can expose Python code to make it callable "directly" (a more correct term would be "transparently") from JavaScript on the frontend side. In the latter case it's quite useful be able to update the DOM directly from Python :).
Even earlier, hit the local courts and do some speccy tricks: https://www.youtube.com/watch?v=lqCyTM1bF6Q
I think this article is entertaining and needs to be taken with a grain of salt. The key takeaway for me was that some companies who's business models revolved around infrastructure and scale (web search, social media,...) went vertical and acquired most of the world's web infra and core services. This provides them with scale advantage and they try to push products that rely on that advantage, while making cost of entry prohibitive to any potential competitors. Chasing the dream of selling "50-dollar solutions to 50-cent questions". No conspiracy in sight. Just capitalism :)
But you could come up with a probability prediction on whether a random prediction from the predictor is accurate.
Works 100 % fine with my KDE Slimbook I laptop and work Lenovo ThinkPad T590 laptop. Both running openSUSE Tumbleweed with KDE Plasma desktop
Are you on the AMD T14 Gen 3 or Intel? I've read the Intel ones are a bit better supported. I'm running Pop! OS with 6.6 kernel. Here's one of the bugs that affected me previously: https://bugzilla.kernel.org/show_bug.cgi?id=214649 What are you running to have never had an issue?
There's some weird nudging psychology that says when when people see an expensive and free option, the mid-tier seems even more appealing, which makes it easier to get them paying.

Honestly, I wouldn't worry about it. If your tool is useful to people, I think your query limit on the free-tier will be enough.
English is still the lingua franca of the EU. I'd trust the English version.
Probably some kind of psychological pricing strategy.

However, charging for queries would be like ChatGPT charging in tokens — yes, it's understandable, but non-intuitive. And very product-, not user-driven.

I'd rather keep it simple in terms that a user can understand. Really like how you set it up right now — makes it easy to say yes.

The _enterprise_ game is the one where you will make the real money: Teams, Management, Integrations, Access Rights, Billing cycles, Onboarding, etc.
Is there an entry-level explanation that explicitly goes over the following points? Let me illustrate:

>The Incompleteness Theorem says that, given any consistent, computable set of axioms, there's a true statement about the integers that can never be proved from those axioms.

Upon reading something like this I immediately have questions like: if this is so, then how do we know that this statement about the integers is true at all? What does it mean for something to be true within a set of axioms when you can't prove it? Why don't we say that the truth of this statement, within those axioms, is undetermined? If we, on the outside, know that it's true, why can't we forcefully plug that truth back into the theory?

OK, I know that last one, you can do it but then you can also do an incompleteness proof for the new theory. But still, if the "problem" is only with self-referential statements, why can't we somehow isolate all self-referential statements and have a theory that's complete and consistent except for some caveats, which seems vastly better than just inconsistent, period?

Sorry if that makes no sense, I know this topic is famous for attracting cranky discourse.. It just feels like all the popular explanations stop just short of really grappling with the real weirdness of the theorem.
I'm not sure why, but Youtube has still not recommended any of MrBeast's videos to me. Am I really that far from his target audience?
I get a certicicate error - invalid authority. When I proceed:
FortiGuard Intrusion Prevention - Access Blocked
It does not seem like they need huge numbers of active tunnels per gateway.

And JIT just as in "just in time" configuration of Wire guard. Once the configuration has been done, their stack stays out of it.
Launching a brand new rocket every time is like manually deploying a cross-team app to production bugfree without any testing except unit tests. The only way you can have success is by building up organizational experience and discipline. I think this is why legacy companies like Boeing are hitting generational turbulence and why startups like this one are prone to disruption by staffing retention.

More and more "flight tested" rockets are seeming like they should be the standard if not requirement for human space flight.
Location: Dhaka, Bangladesh
Remote: Yes
Willing to relocate: Yes
Technologies: Golang, PHP, JavaScript, Java, Python, Kubernetes, Docker, Linux, Ansible, Laravel, AWS, GCP
Résumé/CV: https://www.iampavel.dev
Email: contact@iampavel.dev
Thank you, sir! :)
+5, Inspiring

Are there any platforms from the 21st century which support metamoderation?
It should say "Pol Pot caused more harm."

What do you think it should say?
And this is why bitcoin is a worthless pyramid scheme. People have kind of stopped arguing it has any value now but back when they used to pretend it was a currency they acted like it’s something people would use.

Who would ever use a currency that can just be stolen like this? No way of getting anything back. No security. Slower than a bank transfer now.
Same here regarding Insomnia: all my requests have disappeared. I was searching for an alternative, and this is a godsend :) somehow I missed it when searching for alternatives.
I guess I should have asked about anyone else :) I know why you would - you're planning to sell services around Bluesky [0], and thus need Bluesky itself to be working.

But if it's already working (because you're running an aggregator), there doesn't seem much reason for anyone else to run one? In other words, isn't there a significant risk that there will be fewer aggregators than there are search engines, i.e. just a single one?

[0] https://bsky.social/about/blog/7-05-2023-business-plan
The blogger keeps saying "Fork", but I can't find anything from the actual developer that says that. Instead, they keep saying it's a new project and that it "understands the nginx configuration language".

So I think it's pretty clear that it's not a fork.

To add to the confusion, it seems like they copied the site with all the bug reports as-is, which obviously would only apply to a fork, not to a project that hasn't even got any code yet.
Same here - I had a web-based system that let you do coloring pages, paint-by-number, cross-stitch patterns, etc... and it all worked in the web session. While adding an AI element does give improvements over my results. I'm not sure those improvements are worth being prompted for my email, waiting even longer for results, the results not being 100% true to the original content, and not having those results just show on-screen.
How the biggest plane would supersize wind energy
nothing prevents you from running bgp over wireguard for route exchange. and there are many quality bgp daemons available*

(* for linux and bsd)
Java gives enough concurrency guarantees in the face of data races to maintain the integrity of the runtime and memory safety.
Acid lowers pH.
Quite recently I have come to a machine scheduled to do video transcoding, with a notification "We have updated your operating system" and Handbrake being closed.
I've used bitcoin in the past and never saw the reason for mixing. I don't really care if people track down my purchases. Anonymity is not why I use bitcoin.
Controlling the car’s speed is the driver’s primary job. One pedal or two you need to use your right foot to maintain the speed you want.

Coasting with no acceleration or deceleration except that provided by rolling resistance and the road gradient is so unlikely to be the exact acceleration you actually want - there’s no particular value in privileging ‘zero motor power’ as needing to be an easy state to achieve.
I need to moderate the moderators.

Not in a 'I can ban these moderators from moderating my instance' way. I need a metamoderatorion mechanism. I need to see how good moderators are to establish trust and when a moderator is taken over by a hostile actor I need to see its score tank.

Do you have something like this on the roadmap?
It's not that it would be impossible to educate people on the fact that chatbot answers can't be taken for gospel; it's that doing so would be against the interests of the chatbot providers, and so they prefer to quietly keep people under the illusion that everything a chatbot says is true while damage-controlling the most egregious cases. Surely this attitude won't hold long-term.
As the late Martin Gardiner opined:

"Every few decades an unknown author brings out a book of such depth, clarity, range, wit, beauty and originality that it is recognised at once as a major literary event. This is such a work."

Nevertheless, Infinity and the Mind: The Science and Philosophy of the Infinite by Rudy Rucker is, in my opinion, a better choice for the mathematically inclined layman interested in Goedel's discoveries and plenty of related mathematics. Rucker's book even includes an account of his (somewhat over-enfusive) meeting with the great man.
If you drive a car, you are already using F1 technology
That quote does not come from the Quran (I am no fan of Muslims or Islam).
Security isn't something you have or not. There's nuances. CalyxOS makes a few trade-offs which I'm happy to accept in order to be able to use several banking apps, Google pay, wallet etc.
https://wapo.st/3VdJMGM
well at least I fit my resume to match the 'job description' because at the end of the day it's all hallucinations and 'real' software engineers that has core computer science skills can literally do anything
That is an interesting thing you are raising here. I think right now the point of the paid plan is the scheduled queries, which are the more compute expensive, that's why the pricing like this.

Now, I do believe that I may just increase the free allowance, and maybe if I see people that want to power use normal queries and have maybe a few scheduled ones have an mid tier plan (or even on demand) that allows more queries and a few schedules.

And eventually move the PRO to be a really PRO plan.
Why should that be prevented exactly? Why shouldn’t users be able to download apps directly from companies if they want to? Isn’t the whole point of the EU legislation to make all this possible?
Show HN: I made a iOS Boilerplate to create AI Wrappers fast
Hey HN!

I'm an indie iOS developer. After releasing 6 apps on the App Store (3 GPT Wrappers) I was doing the same repetitive things all time when I started a new project.

I gathered and organized all in a boilerplate including an iOS project and a simple backend with OpenAI endpoints to make the requests securely and don't expose your API key.

It is my first time doing web development, I really enjoyed it.

Any feedback is welcome ;)
> I've seen JSON Web Tokens used a lot in iOS apps over the last few years (cross platform products, so it makes sense to do whatever the web thing is), but I've never been clear how this isn't just reinventing the wheel over a normal cookie and HTTPS.

Why are you opposing JWTs and cookies/HTTPS? It’s common to set JWTs as cookies on HTTP(S). The benefit (and disadvantage!) of JWTs is that they contain the full state, so you don’t need a database to maintain it with a session identifier.
Could you reach out to taras@sheetsql.io with a screenshot or something, so I could have a look at what could be going on?
Although GP's comment feels like needless semantic nickpicking, what you've said isn't true: "Censorship can be conducted by governments, private institutions, and other controlling bodies." https://en.wikipedia.org/wiki/Censorship Essentially, any organisation can have a "censor".
VERY stable genius. Well, YMMV —- I mean YYYY*

Yer Yardage Yay Yaws
Why not Matrix?
>However, it also highlights the difficulty of ensuring accuracy and neutrality in AI-generated content, especially across diverse global contexts.

For how many subjects does "accuracy and neutrality" even exist, let alone be a reasonable goal?

I'm not sure it's intentional, but your comment reads as, "Our politicians have learned misinformation is bad for politics and want it out of the process!" That's a pretty generous interpretation: these politicians have and are continuing to intentionally use misinformation as a weapon in our elections. They don't want it gone, they want it skewed to their side.
Looks like it takes considerable "artistic license" to deviate from the photos. Every person getting turned into a stereotypical "caucasian" type is the most noticeable (and most problematic), but also the spotted cat in one of the pictures gets a "stereotypical" tabby coat. Also, it likes to insert a horizon, even if the original image doesn't have one, and sometimes it completely changes what's in the background. But I assume this is because of the images in the training set - I guess in coloring books most people have light-colored hair (which can then be colored brown, black, red... whatever) and the model then associates that with stereotypical blondes?

There are several modes (https://portraitart.app/portrait-art) - some of them are better at keeping people looking like they originally look, the "coloring page" mode seems to be the most "heavy-handed"...

It also doesn't like freckles: https://portraitart.app/static/gallery/portrait6_original_10... -> https://portraitart.app/static/gallery/portrait6_pencilsketc...

After some further browsing, the "caricature" mode seems to be the strangest - caricatures are supposed to take the characteristic traits of a person and exaggerate them in a humorous way, while these images sometimes lack even the slightest resemblance to the original. For example, this mixed race couple https://portraitart.app/static/gallery/couple1_original_1024... is not only turned into two brunettes https://portraitart.app/static/gallery/couple1_caricature_10..., but they also have a different pose, different hairstyle and wear completely different clothes...
> You're not really offloading any work to moderation

I think everyone at some stage has been burnt by top-down moderation (e.g., overzealous mods, brigading, account suspensions, subreddit shutdowns, etc.) and generally everyone finds it lacking because what's sensitive to one person, might be interesting to another. Community driven moderation liberalizes this model and allows people to live in whatever bubble they want to (or none at all). This kind of nit-picky moderation can be offloaded in this way, but it doesn't obviate top-down moderation completely (e.g., illegal content, incitement to violence, disinformation, etc.) Though a scoring system could be used for useful labellers, and global labels could be automated according to consensus (e.g., many high-rated labellers signalling disinformation on particular posts)
Interview of Robert Garner, Lead Designer of Sparc
You could do this in Common Lisp with global variables. They are not garbage collected. You'd have to decide how manual you want this to be. The ultimate manual setup would be something like

(defvar *heap* (make-array 1024 :element-type '(unsigned-byte 8)))

which is just a 1k bag of bytes. Then write some functions to allocate from it, keep track of it, etc. A typical Common Lisp implementation will make a "specialized array" when it does this - that is, the array is not filled with a bunch of pointers to individually-allocated bytes.

There are other ways you could do it - for example (I don't know if this would be efficient):

(defvar *heap* (make-array 0 :element-type '(vector (unsigned-byte 8))
:adjustable t :fill-pointer t))
(defun malloc (bytes)
(let ((result (make-array bytes :element-type '(unsigned-byte 8))))
(vector-push-extend result *heap*)
result))

and there are ways you can write a FREE function to release these allocations or mark them for re-use.

These methods would not really release memory back to the OS. However, C malloc and free typically do not really free memory back to the OS either. You can easily do something in Common Lisp that's on equal footing with C in that regard.

Edi Weitz in "Common Lisp Recipes" points out that when you're doing something like this you're "pooling" memory, and in effect you're replacing automatic memory management with your own hand-rolled memory manager, and chances are it's not going to be as good as an automatic memory manager. But certainly it's doable.
Agreed. It'd be interesting to have Brian Kernighan (C/unix) moderate a panel discussion with Frank Soltis (OS/400) and Michael Stonebraker.

(If OpenAI Sora could create a compelling video of that, I would declare GenAI solved!)

(Was their ever a technical architect associated with Microsoft's Cairo/Longhorn/Avalon/WinFS SQL server filesystem that never made it past MSDN previews? Might want that person on the panel too...)
I've been using only Linux (Manjaro) for the last six years, and although there's been marked improvement it's still in many ways buggier and clunkier for everyday use than even Windows.
The first time I (gen z) had a run in with low-level tech was getting a Pi Pico and an ESP32 to talk to each other over the serial protocol. It's probably the only time I've had to get that down and dirty with a protocol. Writing messaging bots for modern apps are definitely fairly easy but it's unlikely you'd ever get that deep into the protocols of it all (probably something like json/graphql over http(s)).
This table is not computable. If you had this table, you could solve the halting problem by simply looking up whether the program produced an output.
Because it’s a fork those issues were in fact issues with freenginx IMO.
The way I avoid leaking my passwords
Oh, that's actually cool and thanks for the reference.

It's using a temporary cache that re-uses the latest data from the sheet (checking if it was updated) so that's why the subsequent queries should be much faster than the initial one.

Now about the headers, it's indeed an issue that I need to figure out, as there are some sheets that have weird structures and it would be nice to find an easy UXsy way to preview the sheet data and say "select from this range" or "these are the headers".
When Science Went Global
If the discussion requires that I find his explanation convincing rather than being able to think that it's not sufficient, then yeah, I guess there's nowhere else for it to go.
Show HN: Why everyone talks about building a personal brand, but nobody does
I built a tool to get people from 0-1.
Interview: Linus Torvalds (1999)
How the federal government can help on housing
Only hyper-scale companies like ATT could build the fibre; scrappy startups like Google and Amazon ate their lunch.
As I replied to @hashhar, the header thing it's indeed an issue that I need to figure out, as there are some sheets that have weird structures and it would be nice to find an easy UXsy way to preview the sheet data and say "select from this range" or "these are the headers".
>afaiu simulations of physical systems get away with double precision, if one is careful.

Doesn't this depend very much on the physical system in question. I could imagine that simulating chaotic systems needs a lot of precision.

Simulation of n-body problems and others are mentioned [1].

[1] https://www-zeuthen.desy.de/acat05/talks/de_Dinechin.Florent...
Al Mashaaer Al Mugaddassah Metro Line
https://archive.ph/8KaKX
Note tho, that vertically merged cells I think should not be an issue probably, but would need to QA jaja
Of course. But they could just raise that fee.
For you yes - you're interested in research and have an offer from a top university - take it.
Filtration is a very good idea. HEPA filtration for residential use is dumb.

A HEPA filter must remove at least 99.97% of aerosols 0.3μm in diameter. A filter which removed 99% and blows air 1% faster will remove just as much, or one which removes 50% and blows air twice as fast.

For recirculating air, all of those accomplish the same thing. Some of those have much higher noise, running costs, and general upkeep than others.

HEPA makes 100% sense for something where 100% of air passes through it. If you want an exhaust on a facility which handles biohazards, a vacuum cleaner kicking up dust, etc., sealed HEPA 100% is the way to go.

That's not what happens in a residential building, though. For that application, it's just bad engineering.
After facing a barrage of threats, doxxing, and other unhinged behavior over the past few weeks I’ve come to the conclusion that
these subversive mentally ill people don’t deserve the freedom of speech, they deserve to be committed. Why on earth are we
giving our enemies the freedom of speech and a platform they can use to destroy us with? It’s foolishness. At a minimum these
people are being expelled from Gab for good.

(clears throat)

"I disapprove of what you say, but I will defend to the death your right to say it."

"the only cure for bad speech is more speech."

"sunlight is the best disinfectant."

It's a shame Gab no longer believes in freedom of speech and has given itself over to the woke mind virus and embraced fascism and censorship. One has to wonder what uncomfortable truths his ideological enemies are revealing that the platform is so afraid of? Maybe he should practice some inner reflection and empathy and take the time to engage with the other side and try to understand why they feel their legitimate concerns. Perhaps engage them in vigorous public debate, so that the marketplace of ideas can decide.

After all, it's only words. Words can't do real damage. Just grow a thicker skin.
It's certainly very surprising. Either bullshit or a significant discovery.
> I actually don't understand why I am seeing arguments like this all the time.

Have a look at:

https://github.com/nginx/nginx/blob/master/src/http/modules/...

It's got the whole checklist: nginx idiosyncratic module system, inline parsing, custom utf conversion, buffer preallocation and adjustments, linked lists, comments about side effects of custom allocator, and probably other things.

It's not easy to deal with source like that and any serious improvement to that area would effectively be a rewrite anyway.

Since anything doing work in nginx is a module anyway, it wouldn't even have to be a full rewrite in one go.
>This is bad in all cases, but certainly misinformation in the democratic process is up there with the worst.

So many commenters saying, "misinformation is bad, it needs to go!"

Some of the greatest threats we've seen in the past few years have been from politicians claiming things were misinformation that were not. How do you propose we deal with that?
This might be a controversial opinion, but with the current Russian invasion of Ukraine and tensions between East/West, forking a project like Nginx to be maintained by a Russian company, by a person living in Russia, raises additional questions, especially considering how security critical nginx is when it comes to accessing all traffic of services. I'm thinking here as well about the case of Pavel Durov and his struggles with Russian government.

From the post it seems their intention are good, and towards better secured software, and against business interfering with security. But the part where they say "I no longer able to control which changes are made in nginx within F5" might be a good thing. Should a single person have that much control over a critical piece of infrastructure?
Are you readi to tackle your next home improvement project? Look no further than Home Depot! With a wide selekshun of quality products and expert advice from our knowledgeable staff, we have everything you need to make your dream home a realitee. Whether you're updating your kitchen, sprucing up your garden, or building a new dek, Home Depot has the tools, materials, and inspiration to bring your vison to lief. Visit us today and let us help you create the home of your dreams. Home Depot - more saving, more doing.