skysight-inc/HackerNews huggingface dataset:
I think that’s very likely and in fact even necessary to advance the field. Proofs won’t even be stored in a human-readable format. It will just be a collection of data necessary for an automated theorem prover (or verifier in this case) to connect the truth of a formal statement back to its axiomatic basis.

I don’t see any problem with that. Most of the human work will shift to designing the meta-algorithms that efficiently search “proof space” for interesting results.
“But I am a big Peter Thiel fan, and he and everyone says, "Do things that don't scale." So I try to do that by selling website design as a luxury product. This means I will make the Rolex of websites.”

That’s platitudes and truisms not a strategy or business plan.

Your number one leveragable asset is your network and sales skills not your design/technical chops.

If you haven’t got a network already then you are never going to find the kind of clients who can afford to pay for luxury websites. Or even need them, or even be aware enough to know they need them.

Please tell me you have a deep network, sales skills, and clients ready to go.
That wasn't very thoughtful, Chris.
You can read our whole technical analysis on Indonesia here: https://securitylab.amnesty.org/latest/2024/05/a-web-of-surv...
That is a fairly contested topic, and most linguists today don’t believe that “speakers of some languages lack basic abstract concepts”.
The most interesting thing about this thread is to see the different ways people are using LLMs, and the ways that their use case is implied by the prompts given.

Lots of people with prompts that boil down to "cut to the chase, no ethics discussions, your job is to write $PROGRAMMING_LANGUAGE for me." To those folks, I ask what you're doing that Copilot couldn't do for you on the fly.

Then there's a handful of folks really leaning into the "absolutley no mention of morals please" which seems weird.

I don't use ChatGPT often enough to justify so much time and effort into shaping its responses. But, my uses of it are much more varied than "write code that does x." Usually more along the lines of "here's the situation I'm in, do you have any ideas?"
(31) Trimalchio's name and [the dishes'] weight in silver was engraved on their edges. (cf 38)

Trimalchio would've been an imperative programmer: he knows the cost of everything but the value of nothing?

(41) Vinus mihi in cerebrum abiit.

I hadn't realised "I'm soooo drunk" is attested a few thousand years ago.

(44) (complaints about inflation, and how elites don't care about it)

(45) (our country is the best; we just need to keep up the blood sport)

(46) Nam quicquid illi vacat, caput de tabula non tollit.

Kids these days, always on their tablets...

[I'm not going to bother finishing, because it seems the 1913 english translation upon which I've been relying departs from the original in places. Romans described naughty bits in greek; I wonder how the greeks did their euphemism?]
from my own exp of rebuilding my mind map after getting control of my adhd through nootropics it seems to be writing and explaining it to someone else forces my brain to fine tune the meta-language mind map of coding it has.
Be terse

Is mine in ChatGPT. Reduces word vomit by a big margin.
(Banana republic)² ?

For a country that prouds itself by not governed by a king, irony.
A progress bar doesn’t need to literally report precise progress — just that milestones/checkpoints are reached. Like that 1/7 microservices has completed.

Now, you do need to consider expected timing and weigh it accordingly else you’ll run into the 1-99% takes 1 sec, and then stuck on 99% for 10 min issue… but otherwise.

And if you can’t report that level of progress, then you’ve got other issues (namely that you yourself have no idea what the hell the system(s) is up to and working on at a given moment)
Telegram and its channels has been such a life saver for many, and a huge resource for the press as well. It is interesting how it is used here.

I bet Russia state actors would pay a lot to controls or infiltrate those channels.
I’m not talking about teachers, I’m talking about aides.
Hey, where should I hit you up?
Google’s “best practices” lead them to deleting an entire customer’s $135 billion pension account [1]. I’m surprised anyone is still reading anything Google writes.

1. https://arstechnica.com/gadgets/2024/05/google-cloud-acciden...
Pretty sure that license header ended up in the codebase from a clever guy making a PR or it was just a mistake.
I should have said "curious to see a gaggle of Italian teenagers speaking sign."

A demo is a demo.
Could we chat about this?
In the Uber app, click on person icon in top-right corner, go to "Privacy and Data" tab, open "Privacy Center" and you should be able to turn off ads and promos.
Android apps can request very powerful permissions, but those permissions are specific, explicit and revocable. There's a fundamental trade-off between power and risk, but I think the Android security model handles that trade-off quite well.

https://developer.android.com/guide/topics/permissions/overv...

https://developer.android.com/reference/android/Manifest.per...
For posterity, I meant globalisation craze of course, not industrialization craze.
Once added this to a team’s shared account:

>When responding to IT or programming questions, respond in UK slang language, Ali G style but safe for work.

Took them a few hours to notice.
> It is only in later modifications/extensions that the concept of "God" was added in, which is strictly speaking not necessary.

You can turn it the other way round and the claim would be even more valid: Atheism came later in the Sāṁkhya schools. The scholars have a bias towards atheism so it's not surprising they'd claim that.

This is proven by the fact that the Mahabhārata's Bhīṣma-parva has a whole chapter on Mokśa-dharma which give us the very first signs of a proto-sāṁkhya philosophy and it is very much theistic. Also, the later added atheistic Kapila philosophy is a deviation from the original Kapila, the avatar of Lord Viṣṇu.

Even Patanjali is mentioned as Śeṣa in the scriptures and every school agrees with it. Śvetāśvataropaniṣad is one of the earliest references to Sāṁkhya and is very much theistic. Sāṁkhya being atheistic is a fiction. There were atheistic Sāṁkhya branches but it was never 'only' atheistic.

> "God" is merely used as an entity

That is true, because Patanjali's project was "svarūpe avasthānam", the method by which the seer can abide in its own nature. Īśvara is merely used as a prop to gain something else, which is okay because that is what Yoga Sūtra is about but it does not mean Sāṁkhya was originally atheistic or that theistic Sāṁkhya is a later addition.
Of course there is. Maybe they are one of those people. I know multiple people who say they have no inner voice the way I experience it and I don’t get it, but yes they are enthusiastic about saying that they can still think perfectly well!
Seems like something that could be solved pretty easily by having self-control and not installing those apps on the device.

Besides, I would have no interest in doom-scrolling black and white anyway. My app timers on my phone, when they switch to greyscale, I immediately lose interest on whatever it was.
Well, for me it's contributing and maintaining packages for FreeBSD it's simple and fast to start and a lot of fun (for me).

1. Open a account on https://bugs.freebsd.org/bugzilla/

2. Find outdated ones https://portscout.freebsd.org/

3. Open a bug-report with diff to update port(package)

4. Read https://docs.freebsd.org/en/books/porters-handbook/

5. Port new software and have fun.

Thanks for giving back time and energy, have a great day!

Edit:

I forgot, if you want some exercise in nature refine/add OpenStreetMap-data with https://josm.openstreetmap.de/ and/or https://wiki.openstreetmap.org/wiki/Upload_GPS_tracks
The article didn't mention Villa Jovis. Augustus also established various buildings there. For instance Villa/Palazzo a Mare:

https://en.wikipedia.org/wiki/Palazzo_a_Mare

https://www.italytraveller.com/en/e/imperial-capri
Hello thanks a lot for this feedbacks and advices.

I created this tool in order to start growing an indie dev community in order to make better launch for my main products, that's why it's free.

I'll change the link right now, my full name is Gabriel Franck.
It uses PMTiles… Range requests are only supported on S3 directly. If you want to use a custom domain, edge level caching etc. you‘ll need to use a CDN like CloudFront
The social mechanic is basically that some people accumulate wealth extracted from the value produced by other people's labour.

Is it ethical to use other people in that way? What kind of person can live a life like that?
It's a good point, I think it works better when the first number is smaller.

For example: 199 vs 200

It's reasonable that at first glance people would look at the most significant digit for a reference.
same reason you'd use HTTP, it's a superset of HTTP
There was no "CIA-backed coup" in Ukraine. A president that caved in to Russian pressure to back out of tighter economic relations with the EU saw massive protests in response, ordered to shoot protesters, killed over a hundred of them, and then fled the country when he understood that he would be facing criminal charges. Ukrainian parliament deposed him with votes 328-vs-0. Even members of his own party voted against him.

The joint spy bases were established after Russia invaded Ukraine to monitor what's going on in the invaded parts of Ukraine.

> I mean, imagine if Brazilian intelligence backed a coup in Mexico, then built several military bases, intelligence bases and black sites across the country, then used them against US interests. Would the US really put up with that? Should they? The hypocrisy is real.

Imagine if the United States invaded Sonora and Baja California under the excuse that they're protecting Americans there, looted factories and other businesses, established concentration camps, tortured and executed anyone who resisted, forced millions to flee their homes as refugees and gave their property away to settlers from landlocked states of the US ("I've always wanted to live by the ocean!"), and started forcibly conscripting all Mexican males from Sonora and Baja California into fighting against the rest of Mexico. And imagine that you blamed Mexico and its allies like Brazil for propping up defenses along the remaining border. A bit insane, don't you think?
Typically only about 1% of people who visit websites for commercial software buy a licence:
https://successfulsoftware.net/2009/04/23/the-truth-about-co...
If they get the money in an immoral way, then we can disregard what they do with it afterwards.
If they don't want support calls, liability, or brand association, then they shouldn't have made the fucking product in the first place! I know this is HN and I'm preaching to the choir, but it's infuriating.
> conversion rates were abysmal

Is that surprising? Email campaigns have similarly low open and click rates, which are also accepted as the norm.
Instead of it being used as an "oracle" / "encyclopedia" it should beused as a glorified reference / helper system, with varieties optimized in different domains (say Java coding, history, and so on) as part of a bigger system with built-in guards
Interesting reading. I wonder if the author considered connecting the 5 volt line to a long lasting battery (with regulator) ? (and disconnecting the capacitor)
No, it differentiates actual banking services from a service sold for companies to build products upon, so likely a set of APIs. There needs to be different naming for these concepts, and BaaS is a good and descriptive name for it.
The big change here for Looking Glass is GROUP 3D. Everything shown above tracks a single person at a time.
That's gotta be satire right? Looks straight out of V for Vendetta.

I'm really glad the EU just completely banned predictive policing.
It was lost when people poisoned themselves with iron at the end of the bronze age, and it doesn't mean that people hallucinate. It means that the neocortex works, and does dimensionality reduction (like an autoencoder)
You’re assuming that those systems were all implemented to the letter of that guide. That’s never the case. Often these type of guidelines are written to address recurring problems found in an organization.
You had me at #4. And 3. It's a fresh departure from many other tools that immediately require sign ups
Thank you very much for this guide.

I don't know if this falls under your project scope, but I have a suggestion.

By default, Obsidian saves links in notes using the "shortest path" , which reduces compatibility: the links don't work in anything but Obsidian.

I found two plugins that manage relative links:

https://github.com/val3344/obsidian-update-relative-links

https://github.com/dy-sh/obsidian-consistent-attachments-and...
The difficulty in understanding Samkhya lies in the complex definition of "Prakriti" which the wikipedia page nicely clarifies as;

In Sāṃkhya puruṣa signifies the observer, the 'witness'. Prakṛti includes all the cognitive, moral, psychological, emotional, sensorial and physical aspects of reality. It is often mistranslated as 'matter' or 'nature' – in non-Sāṃkhyan usage it does mean 'essential nature' – but that distracts from the heavy Sāṃkhyan stress on prakṛti's cognitive, mental, psychological and sensorial activities. Moreover, subtle and gross matter are its most derivative byproducts, not its core. Only prakṛti acts.

Samkhya is first and foremost a experiential worldview. Wikipedia again;

Prakriti is the source of our experience; it is not "the evolution of a series of material entities," but "the emergence of experience itself". It is description of experience and the relations between its elements, not an explanation of the origin of the universe.

Finally, the concept of the "Gunas" are also quite difficult to understand in full generality. Wikipedia fails in this case to clarify matters - https://en.wikipedia.org/wiki/Gu%E1%B9%87a
Yeah, but on email it costs you $0.002 to hit a target - catalogues, you’re looking more like $3-$15 depending on scale, catalogue size and quality. Those things cost money.
It mentioning morals is redundant and noisy. Most people automatically consider and account for morals.
Nice work! Smooth and local. I like it. A tip: it doesn’t detect mobile screenshots (the frame remains in landscape, causing the image to be cut off).
When I am working, I am never far from my laptop, why would I install productivity app on my smartphone in the first place? When I was part of an on call shedule, the only app I would accept would be the one pushing the notification like pagerduty.

I also found out the hard way a decade ago that having access to productivity apps such as outlook usually meant to enroll your smartphone as a device managed by your IT and it was a big no to me.
But it still seems to be pretty competitive? Better specs for a significantly lower price $1,200 vs $900.
I heard there was a second reason for pricing say 9.99 instead of 10.00. It forced the cashier to open the register and ring up the sale to give the 0.01 change, rather than just quietly pocketing the 10.00. No idea how true this is, but it sounds plausible.
Even more bizarre is gasoline prices in the US, priced at nine tenths of a cent.
I can't use copilot at my company due to NDA but can ask questions to chatGPT and use provided code
How old are we talking? I've never owned a car that had an aux input unless I replaced the head unit - and if I replaced the head unit, then I would have Bluetooth too.
That’s not entirely correct. Yes, this project wraps Protomaps/PMTiles and describes the process and delivers Infrastructure as Code to deploy the whole stack to AWS, which the Protomaps website and code repos don’t deliver.

Not sure what you mean with borrowed from the docs, as I have a hard time to imagine a way of delivering the current project without using or referencing specific things from the libraries/projects used.
He mentioned the game Teardown, that allows destruction and physics on its voxels.
Yes, OoO is expensive — after all, that is the cost of performance. Very wide SIMD is great for energy efficiency if that is what your compute patterns require (there is a good reason why GPUs are in-order very wide SMT SIMD processors). Is this the best choice for a general-purpose CPU? That I am not so sure about. A CPU needs to be able to run all kinds of code. A single wide SIMD unit is great for some problems, but it won't deliver good performance if you need more flexibility.

Could you point me to the "cmp" thread you mentioned? I don't know where to look for it.
I'm wondering if this woman is still barred from stores that use Facewatch. It would be a terrible inconvenience to only be allowed in a select few shops. Where is the line defining certain private businesses as essential resources for day to day life?

I think this sentence sums it up perfectly...

> "It felt intrusive… I was treated guilty until proven innocent," he says.

I don't want to live in this kind of society.
The problem is that you let the enemy know the detail of your intel. Using compartmentalization, they can locate leaks and determine how you are getting the intel.

As a military, you never want to give that away. Looking at WWII, the UK/US were able to decrypt messages daily from the Germans (thanks to Turing!), but they pretended they couldn't so the Germans wouldn't change their encryption scheme.
Bring Back RadioShack?
Huge crowd gatherings are always best enjoyed from afar.

This was in 1999 but if you go back to the stories of Motley Crue, Guns N'Roses, Metallica etc. during the 80s they are not too dissimilar

They were the guys on stage (and I would add not ordinary people, high on fame and dozens of different drugs) meaning separated from the crowd both in terms of height and distance and there are testimonies of them becoming extremely scared and agitated by the crowd pushing and charging each other and the barriers.

All in all, the story telling about surviving it and being able to enthusiastically tell people you know about the scare and relief is much better than actually living such experiences (although of course you have to live them to be able to do so)

Another documentary about the St. Louis riot in 1991 during Guns n Roses UYI Tour :

https://www.youtube.com/watch?v=1qVzAA-v3qM
can you link to a screenshot or essay demonstrating a correct UI?
Just the 24GB of memory (which is still less) is almost half the price of the Qualcomm dev kit, as long as the CPU is close enough it seems like a much better deal if you don't need MacOS (Linux support will probably be much better than Asahi when it comes out).
Attention as an RNN
I was just staying at the Westin and they had this.

It seems much cheaper to build and maintain, due to a reduction in parts.

What's Orwellian about it is that a finger must touch a screen. They are not yet picking up biometric information as far as I know. When that day comes, it will indeed enhance security, but add to the surveillance creep.
They are. Check the Spratly islands. They may not be “certainly” owned by a specific country, but they’re definitely not China’s given the distance.
Neat!

Any plans to release a Firefox extension, too? It shouldn't be too hard, IIRC the API is largely compatible.
> I mean, it’s a language based around exceptions for flow control, I think the “easy to reason about” ship has sailed.

Sometimes I wonder if I'm exceptionally (haha) talented as I personally find the impact of exceptions on flow control pretty easy to grasp. But based on my understanding of other advanced computer language concepts, which is pretty lacking in some regards, I come to the conclusion that it can't be too hard, and people make a lot of fuss about it for no particular reason.
I agree. There is no reason to start fining people for taking a handful of souvenir pebbles from the beach after their day at the seaside. The forces of nature are unimaginably huge in comparison. And my experience of growing up in such an area is that there's also an impactful amount of commercial (eg shingle mining) and, more recently, environmental activity around these places which, again, dwarf the effect of people picking up a few stones from the beach.

> And, one storm can take an entire beach away (or return it)

Oh, yes! The Great Storm of 1287 was a doozy! And, given climate change and its effects on weather patterns, we may yet see similar storms in our lifetimes.

- https://romneymarshhistory.co.uk/index.php?/storm1287

Some additional useful links for anyone looking to jump into some rabbit holes around shingle management this Sunday morning:

- Wikipedia article on Dungeness (the largest shingle expanse in Europe) - https://en.wikipedia.org/wiki/Dungeness

- The current Lydd Ranges Sea Defence Scheme - https://consult.environment-agency.gov.uk/ksles/lydd-ranges-...

- The local authority's current strategic plan for the Romney Marshes - https://www.folkestone-hythe.gov.uk/downloads/file/2241/91-s...
That was seven years later. Maybe the problem is that Google stopped reading what Google wrote.
OK, can you show the numbers you are using?
Exactly! I ran this on a r7gd.4xlarge EC2 instance, which took below 3 hours. Then used the much better upload speed from EC2 to S3 as you described.

Let me know if you‘re interested in access to the IaC repo of this.
lmao, as if people from the past are any different from people today. Utility? People just like to have a good time. Hosts like to throw a good party, sometimes a wild one, they indulge. Simple as.

>Did the process of attaining these social positions select for greed

Fucking lmao. Idk man...but if I had a lot of money, I'd probably also allocate a bit extra to the party planning committee, because big parties are fun.

It's just fun. I'm not sure there's any bestial, Darwinian, or Machiavellian machinery at play. Those are all modern impositions. It's just good fun.
Furthermore, Saleem promotes lifelong learning and critical thinking. By encouraging students to continuously seek out and evaluate new resources: https://www.linkedin.com/pulse/best-dissertation-writing-ser..., he fosters adaptability and a commitment to self-improvement. These skills are crucial in today’s fast-paced world, where continuous learning and flexibility are key to success.
Show HN: A forum for free resume review
You don’t know the results will be different without running a study, right?
Not mainstream but the game Teardown uses voxels, rendered on gpu, first screenspace , later voxel space:https://blog.voxagon.se/2018/10/17/from-screen-space-to-voxe... More recently Voxlands also renders its voxels entirely in gpu shaders using raytracing, beautiful: https://store.steampowered.com/app/2283580/Voxlands
What is kw/h with a lowercase w? I’m familiar with W which stands for Watt, a unit of power. Could it simply be a typo like in GP’s comment who misspelled kWh?
Yes, and to elaborate — for any HTTP usage with dynamic state.

HTTP was invented for static pages, that were written by hand, and rarely changed. But today's web has dynamic pages, driven by javascript and databases, and users expect them to update in realtime. Braid-HTTP adds support for dynamic state to HTTP.
bean counter excel model allocates jr salary to UI UX person (seen as “soft” work, “not real engineering”) and no feedback loop to realign model to reality, i.e. frontend as of yet has no clear KPI the way backend infrastructure does (raise adtech to next scale magnitude). Resulting in salary structures that bias towards what the bean counters understand and amplifying their biases, the excel model becomes reality, tail wagging dog
No coup? Perhaps you'd be more comfortable with the verbiage "CIA-backed uprising/revolution" then?
Establishing and Enabling a Center of Production Excellence
Looks neat, congrats on the launch!

FYI this link hijacks the back button. You might want to use history.replaceState() instead of a regular redirect.