skysight-inc/HackerNews huggingface dataset:
Hm I never realized the parallel between politics and sports lol (and more than just the ra ra fandom sense).

I think why I enjoy sports so much more than politics—my ministry is the NBA and WNBA—is that it’s inherently a game so you don’t impose any of the IRL stress politics does. And to elaborate on why I find them similar is that in sports, you take stock of the landscape, analyze your standing, and strategize on improving eg optimal use of resources. And those r true over stretches of years or during a single game.

As the parent alluded to, Twitter is definitely not the place for this nuanced discourse and unfortunately any stereotypical nerd that would be more wont to honestly engage probably didn’t grow up playing a sport or at the very least not such a mainstream American sport like basketball and has no interest in the topic.

But it’s whatever. I still find great joy theorizing, seeing the results of different implementations, being presented with ideas I hadn’t thought of (these r like lineup combos and play calls), team/player growth, etc
After some years of a 15" 2016 MacBook Pro (perhaps the worst laptop Apple ever made) at work, the M1 Max that replaced it was a revelation. I have no use for a fast GPU (in fact one of my pet peeves about the 2016 MBP was that they eliminated the no-discrete-GPU option that prior 15"s had, resulting in far worse thermals for no gains for many users). Your milage may, of course, vary, but some of us appreciate a fast CPU and have no use for a fast GPU (the M1 Max is, I gather, tolerably fast in this department, but the poor thing never gets to do anything other than displaying GUIs in my case...)

RE ML stuff, do people actually do the heavy lifting for that _on laptops_ much?
> Lots of networking equipment works over HTTP only, still.

MikroTik has supported https for a very very long time, though it comes disabled by default and even if it didn't it wouldn't work because it requires the user creating/importing a cert to use with it.

At least the cert manager is quite intricate and they have a video (assuming the device has a valid WAN IP) on how to set it up with letsencrypt.
Same here. Including the fun fact.
How is OCaml strongly typed if it doesn't have declared types?!?!? (EDIT: In case it's not obvious, I'm being sarcastic, I'm pretty sure some people in this discussion won't get that though.)

let f x = x + 1;; (* What's the type?!?!? *)

Turns out that "strong typing" is a shitty phrase that people should stop using because it means too many conflicting things, and, consequently, means nothing. Static and dynamic typing have well-defined meanings, stick with those terms instead of ones that mean nothing.

But for a demonstration (compare to Perl) try this in your Python REPL:

>>> 1 + "1"

Does it work? Probably not unless you futzed with the language implementation. In Perl it does, though. So to the extent that "strong typing" means anything, Perl is "weakly typed", Python is "strongly typed", and both are dynamically typed. It's an orthogonal characteristic of the type system and language from when type checking occurs.

----------

EDIT: BTW, formatting code blocks on HN is really easy. Prefix each line of code with two space characters.

__Replace those _'s with spaces

The result is much cleaner than your comment:

def foo(x):
return x + x

No extra newlines needed, more compact, easier for most people to read.
And because conda wasn’t enough, there are mamba and micromamba rewrites of conda in C++.
Is it still ASCII? If so p is 01110000 and s is 01110011(?) but I don't know what \0 is, is it 00000000? Is there anything else know about the data? If the rest of the characters are all numbers, those all start with 0011 but that doesn't seem of much use. 4-9 have either the 5th or 6th bit set.

Only if AND with 00001100 yields zero the other 3 tests are needed.

Ofc I have no idea what opcodes the language provides.
My wife and I were in Washington DC back in 2018-2019 and happened to go into the Botanical Garden while out walking. There was a crowd gathered and we found out a corpse flower had bloomed there. It was quite a sight to see and the smell lives up to it’s name. It was a lot bigger than I expected.
All my friends built their first PC in high school/college (5-10 years ago) and I only recently did mine 2 years ago. I was nervous but it turned out to be pretty easy.

I would figure out what your needs are: play modern AAA games in 4K definition at 120 FPS? Play older games on medium graphics? Do video or other media editing? Etc etc

Then go look at Logical Increments for example builds and figure out how expensive you want to go to meet your needs (they have example builds from basically a toaster on up to the best that consumer money can buy):
https://www.logicalincrements.com/

(Edit: keep in mind that the prices on Logical Increments may be lower than actual parts, due to the supply chain issues, pandemic, etc)

Use PC Part Picker to keep track of your build items, they have a handy interface to make builds out of specific parts, track the price of the whole build, make sure you don't forget a part, and even generally warn you if you choose incompatible parts (it's not foolproof but it worked for me and is nice for peace of mind):
https://pcpartpicker.com/

Finally, read/watch a few build guides on YouTube or find some articles via Google, to get more familiar with the process.

This is a rough and high-level approach to what worked for me as a first-time builder with roughly zero knowledge (beyond being as computer-savvy as an average person in tech, which I presume most HNers are). Good luck and have fun!
Would you be willing to share their name? Even privately?
what should a website do to not get hugged?
> It's a 10 minute Uber to get from the airport to the strip.

if that's your metric for fitness... Milan has recently opened a subway line that goes straight from the Linate airport to the city centre, and you can get a fairly big congress centre (MiCo, Milano Congressi -- big enough to host the AWS Summit) very easily, and with a single subway ticket (which costs 2,20€ at the moment and is also valid for buses, trams and regional treins within the city).
I checked one website in that list, it uses CraftCMS, which apparently has htmx bundled. (https://github.com/craftcms/cms/tree/main/src/web/assets/htm...)

Would be interesting to know which other CMS'es make use of htmx (and to what degree).
> plants are pegged to (IIRC) 10-15% theoretical max efficiency

I suspect this is soon to change.... With CO2 levels around 280 ppm, the biggest challenge for many plants is finding a carbon atom - in fact, many plants grow just as fast under just 10% brightness sunlight.

Now that CO2 is up at 420 ppm, it's far easier to find carbon, so now the evolutionary race will be on to collect more sunlight and grow faster. And plants have done this before, ~20 million years ago, so somewhere there are probably some recessive genes just waiting for their moment to shine again, and natural selection will make them spread like wildfire.
"Google to ignore robots.txt for AI purposes"
We're in the midst of a couple rewrites that are going/have gone well. Perl to golang and angular1 to react.

The common factor is doing it gradually, basically page by page. There is no big switchover, new code goes live as it is ready. We have some very competent people with long tenures which surely helps.
The work on e-graphs I refer to is <https://egraphs-good.github.io/>—amortised rebuilds.

My example has nothing whatsoever to do with abi, and everything to do with ir. f and g are exactly semantically equivalent, and this equivalence is trivial to show; that the compilers generate different code for each demonstrates redundancies in their ir.

> it is a side effect to assign to a variable

But that variable is not aliased here.
Instead of this ridiculous package, you can use packages with more stable specifications such as alpine.
Silicon is far from non-toxic to produce (requires insane amount of heat and chemicals to be purified) and dispose.
Your level editor looks awesome :)
How much actual energy does it produce?
This wasn't a description of Protonmail - I don't have much experience with them specifically and they may do some things differently, but of one's casual email service, like how people use PGP with existing mail systems.

I also do not claim that description to be 100% accurate - it's been a while since I've used PGP with email in practice, so I might misremember something. But to best of my awareness, this is how things are done today.

In my opinion, the main three problems with PGP today are: 1) lack of good no-frills "just works"-type tools; 2) issue with email metadata (at the very least, to/from addresses) being impossible to encrypt by design; and 3) abundance of haters (and they have a lot of right arguments, although many just boil down to the tooling issue and how it's easy to shoot everyone's legs with the current tools) who claim PGP should be buried (all together with email) - which is not exactly wrong.
Fireship published a short video about it couple of days ago. Hopefully it'll gain even more popularity.
...because Churchill's ghost would haunt dude forever if he gave up the ammo needed to keep invaders from breaching the Channel.
Should be standard, not just promises. What if denuvo disappears from existence? Will i be able to start game 10 years later? I think i still have some games in my library that still have denuvo, despite being several years old.
This isn't the 90s I don't know how anyone could consider the democrats to be the party representing the poor. Exploiting for political gain maybe, but liberal policies have completely screwed the poor. This is not just me trying to be partisan, there has been a global (edit: anglosphere) shift in liberals abandoning the working class for ideology and the role of what used to be pro worker pro union further left parties now being squarely on the right.
I'm sure the typechecker is as simple as you suggest for GP's language; but not showing it at all makes for an unfair comparison with the article. But the evaluator? Without out the trick of notation that is [x/y] substitution? It's not simple!

You are right that the typechecker gets significantly more complicated if type annotations are optional. But the article and the paper are about real implementations of the language, not arm-chair ones where the burden of type annotations isn't important.
> simple question : have you encountered an anti-cheat mechanism that works to stop cheaters?

Anti-cheat works to reduce the number and frequency of cheaters, not to eliminate cheating completely. It means the difference between meeting cheaters every single game vs meeting cheaters once every 20 games. One means your game is mostly playable and the other means the game is completely unplayable.

This is reasoning of yours is like: "Why use vaccines at all?" "Why use anti-virus programs at all?" "Why use seat belts at all?"

None of these completely eliminate infection, being hacked, and fatalities in motor accidents. But they vastly reduce the number of them occurring.
> I know, it's not a great reason,

Seems like a fairly valid reason. I used Windows for the first time since early XP recently (in a VM; wanted to check that an interview question was doable in it without undue pain). I was just astonished at how bad it felt, and couldn't wait to shut down the VM. It's unsurprising that others have the same thing in the other direction.
Thanks for the hints. I was already concerned that I would have to analyze the source code directly myself, and so I started to build tools for this purpose (https://github.com/rochus-keller/FreePascal).

I read somewhere that there are issues with higher optimization levels. Can you confirm that?
Pascal and Logo Turtle are programming languages I learned at school, but never used them outside of it. I hated them back then. I don't know if this was teacher or language fault, but these IT lessons couldn't be more boring and confusing.
Interesting video. The approach in it is also inspired by meet-in-the-middle, but suffers from a significant deficiency: It requires a lot of memory—90 GiB—enough that the author had to borrow their university's compute cluster to conduct a solve, even when written and optimized in C++. Likewise, their "triple DES" presentation discussed another way that would require a database that's terabytes in size (specifically, memory that's O(N^0.5)). Nonetheless, I think it's a good exposition of meet-in-the-middle.

What's neat about the method in the post is that it requires O(N^0.5) time and O(N^0.25) memory, which allows running it on an entry-level consumer laptop (hours of time and a few GiB of memory) when implemented even in a dynamically typed, garbage-collected language.
Someone elsewhere in this HN discussion compared the support of people destroying themselves with drugs to being like providing hospice (palliative) care.

If we legalised all drugs, we would need to protect our communities, not abandon our communities to people destroying themselves.
> Or should an article in Portuguese in a Brazilian newspaper write Deutschland instead of Alemanha?

What bizarre examples, those are entirely different words, I'm talking about a minor difference in acentuation. And I don't care what the rule is, it's disrespectful, it's an article, and copy and paste exists.

They even do it with proper names. You don't change proper names. The name is "Pelé", not "skin". So disrespectful.
Not gonna lie, that's a whole lot of bullet points for a friggin Indiana Jones film.

Some perspective, please, it's just a light movie.
I see Go as a direct competitor to Pascal, in particular for all the points mentioned in the article.

But Go has a modern runtime (with garbage collection), a modern ecosystem (with major libraries such as HTTP and TLS in stdlib) and an active community.
How does this run on an Intel Mac? I have a 6 core i9. Haven't been able to get an M series yet so Im wondering if it would be more worth it to run it in a cloud computing environment with a GPU.
Apollo 11 Paperwork Lead Space History Auction at Bonhams
I’d appreciate one if you still have spare
I saw your comment, got curious, and looked at a lot of your old comments. Lots of interesting insights - Thanks for sharing them.

If you don't mind me asking, what do you do? I'm a researcher at FAANG working on language models and starting a new company in the space. Would love to connect. Feel free to email me - idyllic.bilges0p@icloud.com
Policy is one thing, but enforcement is what really matters. Do Google Play reviewers actually reject apps that hold core functionality hostage?
> who could learn the intention behind the decisions

If people did learn those intentions we wouldn't have the problems we have.

I inherited a project like this once as the third generation to take it over. The (evidently, I never met them) well trained and experienced first developers laid down a foundation using a textbook OO style with a few little tricks needed to make that work in a language where OOP support was bolted on. The code was not perfect, but it was professional work and I would put it around the 80th percentile in terms of code quality.

These tricks caused the virtues of that foundation to be overlooked entirely, and so the project was essentially reimplemented in spaghetti style over time with various ad hoc stovepipes to pass data back and forth between the two sides when the original had functionality that wasn't understood well enough to be reimplemented.

The importance of training, communication, and retention can not be overstated.
I understand what you mean but the vast majority of their structure is carbon based and that comes from gaseous CO2. Can’t survive without the dirt but can’t get big without CO2
A third of a microwatt.
Yeah. weinzierl has his/her syntax preference, and that's fine. As the ancients said, "There's no disputing about tastes." But the attempt to provide a rationalization for why the taste is correct is complete nonsense.
Sorry I didn't read the article
I like having two large monitors and a desktop-style "mechanical" keyboard, but there's absolutely a benefit to having a full productive work environment with you, with your data and work in progress, anywhere you might want to work - even if you're not online. And when you're in an office (or home office) environment, you just plug in and continue from where you left off.

A high-end MacBook Pro may not be cheap, but it packs some serious mobile compute power along with good battery life.
Focusing on specific incantations, yes. Focusing on how to decomposing a problem, probably not, but then you get very close to designing systems / data design and analysis methodologies more than "prompt engineering", so I guess I mostly agree with you in as much as the relevant field is not really about AI as it is about picking up more structured design and analysis practices (again).
Sure, "murdering" in that sense is perfectly accurate, just not in the "somehow poisoning older entries" sense.

Also, +1 on your last paragraph. I want more light-hearted swashbucklers!
If the developers are not competent enough to write maintainable code or maintain existing code, then you will have exactly the same difficulties after the rebuild.

Why assume the same developers would be doing the rewrite as the original? Maybe the reason for the rewrite is because the original is hopeless and most of the people who worked on it are no longer around.

Also everything usrbinbash said in a sibling comment - but if something like a changing environment forces a big rewrite of an otherwise successful code base then having the original developers still around can dramatically increase the chances of success IME.
Even GPT-3.5-turbo-16K isn't good enough for most retrieval augmented generation tasks.

Locally ran LLMs are far worse.

I don't like it either, but for now, if you want good RAG, you have to use GPT-4
Bit of a sensational title for “yet another public bucket”
Belgium did just that a few months ago:

https://www.vrt.be/vrtnws/en/2023/02/15/ethical-hackers-can-...
How about we save that $1,200 and donate it to something like Rainforest Alliance instead?
I want to suggest re-reading their comment. “mostly they make themselves from air” and “dirt has necessary trace elements” are both 100% factually correct. The word “necessary” covers what you are saying in your comment. There’s no need to suggest they haven’t raised plants when what they said is literally correct.
More on "simple":

> Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language.

https://plato.stanford.edu/entries/type-theory-church/
That is selection bias.
Why have the OpenAI dependency when there's local embeddings models that would be both faster and more accurate?
Prefabricated Bath Unit, Arc 1800, Savoie, France
https://www.artic.edu/artworks/222487/prefabricated-bath-uni...
What happens when ChatGPT tries to create crochet patterns
And he appeared in an Alan Partridge episode: https://www.youtube.com/watch?v=RxSbTlH0K4w
I think that feeding fake data by default in case use reject a permission is not appropriate. There should be an option to do that (or, like I suggested, a way for the user to write programs to program it to feed whatever data they want), although I think that by default if a permission is rejected it should just provide empty data (e.g. an empty contacts list) or an appropriate error code (e.g. network error or disk error or cannot acquire satellite, just as though that error had actually occurred), rather than making up fake data.
Ask HN: Is this a good table schema for handling third party integrations?
Hello!

I have to build out support for various integrations to third party services like calendars, task management systems, email etc. I'm just looking for some feedback open the approach I'm considering

I'm a bootstrapping founding engineer so would greatly appreciate your feedback. This is for a startup small scale app that could of course grow.

Here's the situation:

Most of these integrations will use oauth2 though not necessarily. I don't know how many there will be eventually.

I would like to store all these integrations in a single table to simplify maintenance and build out.

Inevitably, there is going to be some custom data. For this I plan on using a JSONB field called custom_properties.

My table schema would look something like this:

access_token

refresh_token

scopes

expiry_time

api_key

...other auth standard props

client_id

client_secret

custom_properties (JSONB)

type

As you can see in some cases client_id and client_secret will be populated. In others access_token, refresh_token for oauth.

My goals are:
- Simplify maintenance and build out
- Semantic field names that are self documenting
- Avoid gnarly data parsing

Does this seem like a sound approach? Are there any alternatives approaches to consider?
https://nutrients.ifas.ufl.edu/nutrient_pages/bsfpages/Essen...

element %, dry wt.
oxygen 45
carbon 44
hydrogen 6.3
nitrogen 1.3
silicon 1.2
potassium 0.9
calcium 0.25
phosphorus 0.16
magnesium 0.16
sulfur 0.15
chlorine 0.15
aluminum 0.11
sodium 0.03
iron 0.009
manganese 0.006
zinc 0.003
boron 0.001
copper 0.0005
molybdenum 0.0001

Just CHON is 96.6% of plant mass. Adding silicon, potassium and calcium brings it up to 98.95%
Consumer-grade, AFAIK it's GPT4All with LLaMA.
Show HN: made cli utility in rust to play music mixes from terminal
I enjoy listening to mixes from musicforprogramming.net while coding.

During my search for tool to stream it directly from the terminal, I came across a JavaScript project that, unfortunately, was not functional.

So, I wrote this cli utility in rust that allows playing directly from terminal.

This is pretty new, I welcome your feedback and suggestions!
Please let me know what features you'd like to see added.
A 286 running like a 386? (2021)
I'm the opposite, I'd trade some of the current longevity, for ever increasing efficiency.

Some research suggests you should replace all solar panels every 17 years because the tech will have advanced enough to make it worthwile.
Other limiting resources dominate over energy availability for plants.
Amen, local first should be the default for anything that sucks all my data.

Although until these things can do my laundry none of them deserve any of my compute time either.
GCC’s RTL does

https://gcc.gnu.org/onlinedocs/gccint/RTL.html
>Mac Running Intel
When running a Mac with Intel hardware (not M1), you may run into clang: error: the clang compiler does not support '-march=native' during pip install.

If so set your archflags during pip install. eg: ARCHFLAGS="-arch x86_64" pip3 install -r requirements.txt

https://github.com/imartinez/privateGPT#mac-running-intel
Out of curiosity, how do you go about finding clients for this kind of work?
I wish more people would actually follow this advice. When they don't need anything "reactive" they would not use React. When they don't actually need an SPA, they would not use React. When they don't actually need dynamic behavior on a website, they would not use React or JS.

But unfortunately people use what they don't need all the time, rather following hype than reason.
8 to 11 needed changes in application code.
Same here. These days I only use Instagram to post art made and rendered during my commutes and consume similarly fashioned content. I haven't reached the point in "making prints available" nor have the desire to at this point in time.
It's good news for maize. That's a very carbon hungry crop.