skysight-inc/HackerNews huggingface dataset:
This is a pro-drug, the valeroyl indole amide rapidly gets hydrolyzed to LSD in the body. Same thing applies for ALD-52,1P,1B,1cP-LSD. This also means that at some point, these will be made illegal or will fall under blanket "analog" legislation.
Anyone care to comment on 'Why Python'?

Javascript is quite commonly established as a good UI language these days, and I assume that anyone who can write Py can write Js.

Is there something particularly useful about Py, i.e. perhaps researchers who know Py may not want to bother to switch? Or that it integrates better with some things? Or that it's used widely at a company and investing in a second language is a big deal?
> It's strange ...

Not strange at all. They're "job" is to funnel as much money to investors as possible. They can all get away with being awful because there's only 3 of them left.

Yay capitalism?
Actually, the boss understood the script well enough to make some changes and fixes, but he didn't work on it full time. The script was mostly in maintenance mode.
Top secret financial information
It's not ridiculous at all.

> They stop using it if the results are poor.

These are not laws of nature. There are so many reasons why most people would still use $X even if the performance of $X was underwhelming.
What's the non-misunderstood interpretation, because I also don't get it? If it's about Studio Liverpool, that's also wrong since Studio Liverpool was just a rename of the original developer Psygnosis after it got integrated deeper into Sony.
This is yet another example of a random commenter on HN parroting "GPDR bad" nonsense while being intentionally obtuse.

Laws are often written with "common sense" in mind. HN commentators prefer to eschew common sense to try and excuse bad actors, bad behaviour, bad UX, bad anything.
Perhaps. There was some indication that the wiring in our house caused some trouble for our previous VDSL.

But even if it had worked at advertised speeds, 5G would have given me roughly double the speed. As it was, 5G gave us about 50x better and stable connection. Only fiber directly to our house could top that, but unfortunately that's not available here yet. Plus costly.
Ever since I got the new MacBook Pro, I've wanted a monitor that would be its screen but 27" of it, in 5K resolution. But apparently I'm asking for something impossible. Or maybe Apple announces a "Studio Display XDR" next year? Who knows.
Ask HN: Why are Discord servers called “servers”? Is it due to the architecture?
I wonder if each server is an actual server from a tech standpoint. If not, isn't it a daunting name for new users? Before I became a user, for a long time I thought Discord was an open source protocol where everybody can start their own server by setting up and hosting the server which stores all the chat histories, which is too formidable to venture into.
There are quite a number of vectors that are activated similarly regardless of large swaths of the implementation.

For example: if you're hosting a self made shopping cart versus an open source/commercial product, there's probably a higher risk of being vulnerable to SQL injections. It's conceivable that open source and commercial offerings have been beaten on more and as a result hardened against more attack vectors.

Of course to your point, it means that you're not vulnerable to a zero day that impacts many deployments. I imagine the shops that made their own logging library were quite pleased with themselves when the log4j vulnerabilities came out.

My point being that it's not a simple calculus, and it's really hard to evaluate the relative risks of one versus the other. It's probably best to look at the cost of implementing and maintaining security through obscurity and using that as a litmus test for if it's reasonable or not.

Running something on a non-standard port has a very different cost than making your own operating system.
none, it's a leak
> Mach looking a little more like an Unreal/Unity/Godot

Right now, Mach is probably something more like Bevy, Magnum.Graphics or BGFX. ie: a _framework_.

But your post alludes that that is not the goal. That Mach seeks to build asset importing, animation tools, navigation system, etc? ie: A FULL GAME ENGINE!?
I did start to read it last night, and finished today.

My understanding is that regular MLTT already can do all the bold things Set theory does, and HFTT (and other developments) aims to make "Proof Checker" better realized (no more "setoid hell").

Ultimately what us CS people care about is a unity of theory and practice. What drew us to computers int the first place was trying to make explicit and tangible ideas that previously were only laboriously communicated from one generation of big brains to the next in the ivory tower.

In that regards, I would say don't even look HoTT or fancy theory developments. Look at Lean, written by a non-type-theorist, and mathlib, written by a non-constructivist.

Lean and Mathilb are plainly plowing a head in ways that no set theory based tool has ever achieved, and covering all the set theory bold points in the process.

Perhaps a new more elegant type theory will replace Lean soon, but honestly I am not even worried about that. The important thing is making math much more accessible without loss of rigor with these tools. If better theories can follow rather than lead that methological revolution, that's fine with me,

As to Category Theory and essential guidance, I have a simple test :). As mathlib (or its sucesssors) matures, let us see how many proofs are refactored to use category theory! I don't want to poo-poo the deeper connections between type theory and cateogory theory, but merely using lots of category theory "library code" in a type theoretic proof assistant not itself designed with explicit reference to category theory is good enough a success story for me.

In conclusion:

- Risk Assessment: depends how many "large cardinal" type things we want (unlike the 1970s category theorists I personally don't really care)

- Regular type theory: *check*
- HoTT: *check*
- Set theory: *check*, bonus points for more exotic large cardinals

- Generous Arena, Shared Standard, Meta-
mathematical Corral

- Regular type theory: *check*
- Set theory: *check*
- HoTT: WIP because culture shock of weird equality

- Proof Checker:

- Set theory: *FAIL*
- Regular type theory: *partial support*, full if we discard all constructive side goals (Lean)
- HoTT: *check*! (Very recent cubical results

- Essential guidance:

- Category theory does best, but can use as "library" rather than "language". good enough for now.
This is peak HN
> "...detailing how a North Carolina man named Scott Kessler had recorded a 5:08..."

Not to brag, but I did the Kessler run in only 12 parsecs.
I avoid using Google Domains as registrar or DNS server. Because if their weird bot locks my Google account, I lose access to my domain and there's no customer service to help.
> There still isn't a standard for what 5G is. Unlike 2G, 3G, and 4G LTE, which all have very specific technological definitions

In common usage, these "generations" always match a change in the low-level protocol used by the radios. For 1G it was analog, for 2G it was GSM, for 3G it was W-CDMA, for 4G it was LTE, and for 5G it's NR. So distinguishing between 4G and 5G is simple: if you're using LTE, it's 4G; if you're using NR, it's 5G.
Paper can also easily last centuries. I have some century old paper in my house, just sitting on the bookshelf. There are archives with examples that are upwards of a thousand years old. If we include parchments, we have surviving documents predating the pyramids.
> For me 5G has been absolutely wonderful. It made my connection at home about 2x faster than whatever we have at the city office. And about 50x faster than what I had at home before. Also much more stable latencies.

But why are you using 5G at home in the first place? Where are you that 5G actually outperforms your wired connection (accessed through WiFi)?
I think the assumption is that the user, outside the jail, is already trusted. (You're running this on your personal laptop, etc.) Therefore it "doesn't matter" if they can abuse firejail to get root, they already have that ability. (Not an endorsement.)
I'm always dubious when PR men try to make their contribution the key factor. They are after all PR men, and this guy was apparently one of the best in the business.
I have the same sentiment of 5G working better for tethering+zoom calls as https://www.tbray.org/ongoing/When/202x/2022/03/26/-big/cons... - it's noticeable as with my current provider/place I currently have to position my phone in the right area of the house to get 5G.

I'm not on ultrawideband 5G or anything, but it's worth noting that I hardly did video calls before the pandemic and was fairly 5G skeptical before. I later realized video call's value not for dayjob work but for fictive kinship interest groups and study groups going past 'doing conversation' or 'feel-good conversation' but more into support and 'depth conversation'.

I could get by on doing this with a wired internet connection or by doing zoom on the phone (where I think cellular bandwidth QoS prioritization comes into play and Zoom will still work over LTE), but staving off yet another thing to pay for has been nice.
Most are comical enough to almost warrant being auto-flagged for unsubstantive, but some of them are spot on replies to examples of pedantry and an out of touch unsocialized audience within some really fascinating threads, I think this is a cool use of algolia
> EG: A group tired of being banned by google.

Huh? I don't understand what this means.
You asked how bash is performant. I responded with reasons its performance is good in many applications. Here”s one more: bash starts up faster than other interpreters (e.g., Python), and startup time can often be a significant factor in overall performance.
I'm actually starting to think that absolutely all communication by elected and public officials should be made automatically public and should not be hidden for any reasons.
How does anti trust action solve this? Forcing to divest cloud and Gmail will not make competition have an easier job with their search engines.

Google search itself is irreducible, at least in any productive way.
Well done, this is great. I’ve already sent my wife a link to it. We are mostly through the original magic treehouse series and we need a new book series to read to our 4 year old. Amazon search is a wasteland for this sort of thing.

Let’s talk SEO. You need pages like this:

books-for-6-year-olds

books-for-7-year-olds

Etc

We have a site crontab.guru and you would not believe the traffic we get on our “every n minutes” pages. Long tail!

One more.. in your book pages I would change /series/ to /review/
I may end up going through planned parenthood if that improves things. I really, really hate speculums up my cooch and have no predispositions to any issues in that area and there's absolutely no reason for me to be required to have a yearly exam to get my BC.
Maybe a search engine for niches, where the mid-sized contributors to those niches may even pay something to support the search engine? And new people contributing sites to those niches could pay some small fee to be listed (maybe under certain conditions or after 1 year free) and would be "elected" into the search results by a random selection of others in the niche? Where the interests of the group are aligned because they all want more people to use the search engine to find them, so they are incentivized to grow the amount of quality content available.
It works…for some definition of “works”. It’s been applied to all kinds of problems—including graphs (Node2Vec) and many other cases where the input isn’t “words”—to the point that I’d consider it a weak baseline for any embedding task. In my experience it is unreasonably effective for simple problems (make a binary classifier for tweets), but the effectiveness drops quickly as the problem gets more complicated.

In your proposed use case I would bet that you will “see” the kind of similarity you’re looking for based on vector similarity, but I also expect it to largely be an illusion due to confirmation bias. It will be much harder to make that similarity actionable to solve the actual business use case. (Like 30% of the time it’ll work like magic; 60% of the time it’ll be “meh”; 10% of the time it’ll be hilariously wrong.)
False. Although this is good, comments that start with a single sentence “False.” and go downhill from there are my peak HN.
If you're interested in AI art, I've made a few more things built out of a series of generated images around a theme.

https://moultano.wordpress.com/2021/08/23/doorways/

https://moultano.wordpress.com/2021/07/20/tour-of-the-sacred...
Fun stuff, but my shortened link didn't work. Maybe system is under load.

Here's another gem by the author: https://existentialcrisis.sh
Interesting angle.

One question arises for me: if no computer IN the universe can calculate this, how are these rules being applied?

I mean, something must be enforcing, there's no "magic" voodoo in the Universe, that's for sure.

So how can these rules keep being enforced, so that the outcomes follow the "predicted" path, if the universe can't possibly be able to "calculate" everything?
>>In an economy that defines itself by a high degree of the division of labor, where people no longer gather their own food and are dependent on the cooperation of other people, being excluded from the division of labor is the same as ending their ability to participate in society.

No one has the power to exclude you from the market and the benefits of division of labor.. You would only be excluded if what you provide is of such little apparent value, that no one wants to trade what they have for what you provide. That is not coercion. People have a right to not associate with you, even if that choice means you starve to death. You do not own other people.

>>I would count this as coercion because people who own money can refuse to spend it indefinitely.

People can barter. People can create their own money. When the state, under anti-libertarian principles, intervenes, and prohibits voluntary exchanges involving certain kinds of money then yes, these problems can theoretically emerge. This is why libertarian philosophy is so adament about not using the state's apparatus of violence (the courts, police and prisons which compel compliance with state orders) to restrict people from engaging in voluntary interactions with other consenting adults.
> Here you have 7 different frequencies used in different groups of cells.

You should only need 4 different frequencies: https://en.wikipedia.org/wiki/Four_color_theorem

For hexagons you can get by with 3, https://en.wikipedia.org/wiki/Hexagonal_tiling#Uniform_color...
google competitors already exist they're just not obvious - When you want to find a place to stay you dont search google you go to airbnb.com when you want to buy random stuff you go to amazon, even coming to hackernews is a competitor. You are seeking something and find it. I do get your point tho about a direct competitor, at the end of the day - all the innovation around search is happening in that we are unbundling the search engine and turning each category/search result asset into a monetizable marketplace. My .02
None of those sizes are considered secure these days. AES-128 is the strongest of the bunch, though much more vulnerable to multi-channel attack[0] than AES-256 (and OTR would be a definite place to use that if you have a number of people). It's at the lowest end of suggested symmetric key in the approved NIST document[1] right now. Diffie-Hellman key exchange with 1536 bits is considered to be within nation-state reach, providing only 89 bits of actual security[2]. SHA-1 has been considered insecure since 2005[3], with chosen-prefix attacks now considered practical; if, somehow, the bitcoin network was retargeted to SHA-1 chosen-prefix attacks it would be capable of generating 32 such per second.

0: https://crypto.stackexchange.com/questions/75880/what-is-a-m...

1: https://csrc.nist.gov/publications/detail/sp/800-57-part-1/r...

2: https://weberblog.net/site-to-site-vpns-with-diffie-hellman-...

3: https://sha-mbles.github.io/
Artificial Intelligence and the Manufacturing of Reality (2020)
Well, that's almost entirely due to Verizon's C-Band being pretty empty right now (5G phones are only a couple years old) and it being 2-5x the frequency and bandwidth of the bands they put 4g on. If they had put 4g on C-band, you'd probably be seeing the exact same performance.

So, I guess what I'm saying is, if by "5g", you mean "the giant new swaths of high-frequency spectrum that carriers are building out", then 5g is amazing. Otherwise, it's nothing to even bother noticing, as a consumer.
I tried one time, they wrote me they where going to send me my data, but never did (!)

I gave up

I'll try again now :)
TikTok didn't work for me because of the young dancing girls. Yes, I clicked "like" on some of them, because they ARE cute and put in the effort. Doesn't mean I want to see young dancing girls all the time. TikTok showed me stuff and since I liked it, I clicked like. So TikTok shows me more of the same stuff, and not the other stuff which I might also like.

So I guess you have to be super disciplined to get a nice TikTok feed? Or just try it long enough? Or it only works for women, because they may click less on young dancing girls?
Sanders is far more left than any government in Europe. His reforms include giving 20% of every public/large company to workers, make 45% of company boards elected by workers, the government will instruct large companies what their long term plans must be and they are legally bound to follow those rather than the owners wishes, companies restructuring their organizations must give even more ownership to the workers who were laid off during the restructure etc.

Those things are much more radical than anything you see in Europe, he isn't left-liberal, he is about as far left you can go without being outright communist. Note that I myself support left-wing liberalism very much, I want public healthcare, strong separation between religion and state, free speech etc, that isn't what makes Sanders far left, it is all the other things he also wants to do.

Everything I mentioned here is all on his homepage: https://berniesanders.com/issues/corporate-accountability-an...
Raytio[1] forms are defined as json schema[1] and can be chained together[2] to create a very flexible workflow[3]. Although our focus is on users creating a reusable profile[4] it may fit your needs[5]. We do have an option to self-host in AWS for enterprise customers. Our documentation needs work so contact me directly if you want to discuss further - email in profile.

1. https://www.rayt.io
2. https://api-docs.rayt.io/#operation/addSchema
3. https://docs.rayt.io/docs/identityproof/data-receiver/create...
4. https://docs.rayt.io/docs/tutorials/how-it-works-business
5. https://docs.rayt.io/docs/features/form-features
An Interview with Zach Wade Betz
Thanks! I appreciate that feedback.

I do want to work on improving the "Tutorials" section to make it apply to more installation methods (i.e. running in Docker requires additional setup to use the admin API, running as a service means you may need to turn off the service before playing with the tutorial, etc)

"Caddy for X users" pages are complicated to get right IMO, and I'm not sure it's worth the effort - those are also general purpose servers, and can be used an infinite amount of different ways. Comparing them is difficult and I'd argue that it's not that useful. Take for example https://statamic.com/vs/wordpress to get a sense of what I mean.

> I think you possibly overestimate how many people have time to learn about the JSON syntax or API configuration

I definitely don't; I spend a lot of my time improving and polishing the Caddyfile adapter since it's definitely the easiest way to use Caddy. The tutorials do put too strong a focus on JSON in my opinion (Matt wrote them). But on the other hand I think it's pretty important to understand that the Caddyfile _is_ an adapter to JSON and not the native config language. It's key to knowing how to debug and inspect how Caddy actually runs.

> how many people want Caddy outside of a package manager installation

I'm not sure I understand this point though, what are you trying to say here? You can definitely just download the caddy binary and run it wherever, you don't need to use a package manager. I'm not sure what this is trying to point to.
Right, what I was missing was why how far the source of the light is effects how much the noise matters, but the inverse square photon concentration explains that.
The key (vulgo button) is not missing, merely the legend (vulgo labelling). In X, you can either press AltGr + i or Compose, -, >.
Yeah, in the continuum of texts on category theory, Riehl’s book is somewhere on the advanced side…
Not really - just mostly Asian, so perhaps to you they look younger than they are.
I'm a little surprised that that's the most useful and constructive thing you can say about the article.
Seconding the tab idea. I need to know in which tab I am. Sometimes I have the five tabs of the same page (hello hn), look up, and I don't know which tab I am. I end up closing the tab with Ctrl+W when I'm done and learn where I was.

Thanks for the extension suggestion I may give it a try.
Agreed. We have a limited backend that appears to be expanding at a snails pace.

There's a stretch of driving I've regularly done which goes through an unpopulated stretch of the US. I've watched the tech tick up from 2g, 3g, 4g, LTE, and now 5g. Yet the download speed remains at sub 1Mbps speeds.

My assumption is they are still running the same copper/fiber that was buried to the tower 20 years ago while updating the receivers.
> Our endurance at running is pretty good too, we can chase any prey until it is too tired to escape.

That is not correct; endurance hunting is about walking, not running.