skysight-inc/HackerNews huggingface dataset:
The voice chat is available 24/7 but members of offices that have someone to onboard are usually participating, which helps. If a new team member works office hours in California, someone from CA will usually be there, or someone from adjacent time zones. If someone new from Germany is there, usually someone senior from that same office will participate as well.

Most activity in the voice chat takes place on workdays, but we don't treat the channel very formally. Sometimes some people are just hanging out and others are working. I used to join it when I was gaming a lot in the past to just chat/help out. Sometimes people would play multiplayer games there after work and still answer questions for those in other time zones. There doesn't need to be a rigid structure for this, just a friendly culture and a voice chat channel.
> An HOA is like socialism.

I have no idea what an HOA has to do at all with socialism, apart from the fact both involve groups of people.

Aside from that, an HOA functions as well as it is run. It sounds like the folks running yours aren't all the invested in it or don't have the same priorities as you. The solution is, as you stated, being the one to try and make the change by joining the HOA leadership.

In my case, I don't have that issue, and the HOA is a few years past 30 running now. I suppose I'm lucky that there's enough homeowners in the neighborhood who are both will and able to run things to an acceptable standard.
demucs (from facebook research) for splitting audio track.
What’s AGI, and Why Are AI Experts Skeptical?
Plenty of companies offering this in Poland. I want to say I was paying this way at least 10 years ago? https://tpay.com is one recent example.
> I cannot imagine how this scenario could work with git though.

exactly the same as with SVN ? The one feature I could see it lacking is ability to lock file in SVN but otherwise "single master repo" work on SVN and Git is very similar
Do you have a source for the claim that companies that treat workers badly are able to extract more productivity from them? Or is it just that companies that are enjoyable places to work don't need to pay as much to retain workers? Or you mean that "worker oriented" companies don't prioritise productivity at worker's expense? Maybe I misunderstood your point there.
Edit: you also have to take into account shareholders sucking the value out of companies, generally companies pay as little as they can get away with rather than the opposite
Sorry, I initially wrote 'interfaces as in OOP' to distinguish them from module interfaces, but had 'ad-hoc polymorphism' in mind. 'interfaces' is much too overloaded of a term.
The US was born out of escaping what Europe was and then eclipsed it in a mere 300 years because Europe is stagnant and spends more time passing laws protecting “culture” than developing the future. What political similarity are you referring to?

What has Europe created in the last 30 years during the Internet age and arguably the greatest period of technological advancement? Not much at all compared to the US. For every company of note, the US has a match, plus 50x more with the best in AI, self-driving, space, consumer, cloud, silicon, and so much more.
I don't think this list is fair at all.

> No standard and easy way of implementing interfaces

Firstly another commenter has mentioned [1] modules as interfaces. There is also the object system [2] which I've seen used to great effect in similar scenarios.

Typeclasses and modular implicits are fantastic - being a heavy user of Scala and Rust; but I've always found that they tend to be best when used as an alternative to macros, for derivation purposes.

The interface and code split in OCaml is also really nice for value types and comes with no limitations; for years, we had issues in Scala because of the host platform, and in Rust exposing functions for your newtype can be oddly boilerplate heavy.

> Bad standard library

The OCaml standard library is (infamously) anemic and obviously is not as fully-featured as something like Java or Python, but since alternative libraries tend to be compatible with the bundled StdLib (both use the same `option` and `list` type), it means that having libraries dependent on different ones is not a huge issue. Learning resources, can be confusing though.

I'm not sure why it's a problem certain data structures are mutable and some are persistent; the documentation is usually fairly clear and you usually have a performance characteristic in mind when selecting your data structure.

Universal equality and hashes are indeed a little annoying (here an `Eq` typeclass would be great!) but I do understand the original decision to have them inside. At the very least, it's not pointer based equality and since records and most types don't have subtypes, you don't run into as many issues. You can of course use the equality methods on the modules themselves and since `Hashtbl` and co have functors, you aren't penalized for it.

Strings are a problem-ish (what older language doesn't have string issues ha!), but there is utf-8 support now with [3].

> but just two years ago it was common to use Makefiles to build OCaml projects

It is true that OCaml has a unix-y flavour, but honestly I don't really understand the snipe at make. Sure there are alternatives, but make is bundled on most distros, has a quick startup time and a lot of people are familiar with it.

More of the community is moving towards dune as well, which is pretty good; the docs could do with better indexing but there are some features such as promotion which are really nice.

> was no standard way of doing compile-time metaprogramming

I haven't used ppx much so I can't really comment here.

Finally they've missed the biggest reasons to /use/ OCaml.

[1] https://news.ycombinator.com/user?id=4ad
[2] https://ocaml.org/docs/objects
[3] https://v2.ocaml.org/api/Stdlib.String.html#utf_8
> Can Chat GPT run? Is it legally possible?

No, computer software, rocks, old shoes, and other things that aren’t people cannot run for the Presidency.
I can't wait for no organization to be contactable anymore. Give it a year or two and every form of communication will be handled by a ChatGPT bot.
Is there a paper on that? The talk was ten years ago, so I assume the idea would have appeared in print by now, if the idea actually worked.

I looked under his name on arxiv and didn't find anything on this topic.
IANAL but they already won, the appeals court ruled that the lower court didn't make any glaring errors in reaching this judgement.
Redmine is amazing! Way underrated. https://www.redmine.org/
"the language invits you to do"? What does that mean? If it's the right thing to do it shouldn't be in invitation surely, but a syntax requirement?
She was at the Computer History Museum 50th anniversary of Smalltalk event.

https://www.youtube.com/watch?v=loEREmEPEOY
Not really! Often you get a complex solution and both the real and imaginary components are valid.
I've been running IPv6 since roughly 2007, starting with SiXXS tunnels, then HE.net tunnels, then moving to native. In that time, all problems "due to IPv6" were fixable. Turning off IPv6 was never the actual answer.
This is one question I keep hoping to find people who have good answers for it but all answers I found so far have been disappointing.
Show HN: Peer Review Beta – A universal preprint+ platform
Hey HN,

I've been working on Peer Review for the past year. It's still in early beta (pre-0.1) but I'm looking for some early adopters to start putting it through its paces and help highlight areas I should focus on.

Peer Review is an idea I've had for years. You're probably well aware of the problems involved in academic, scientific, and scholarly publishing - HN certainly discusses them enough. Peer Review is my attempt to solve them (or a subset of them).

Peer Review combines features of Github and StackExchange to allow scholarly review to be crowd sourced to a trusted pool of peers. It does this by tying reputation to a hierarchical field tagging system. Reputation gained in children is also gained in the parents. Authors tag their papers with any fields they feel are relevant.

This means authors can tag their papers with fields higher up the hierarchy to cast a wider review net, or go lower down the hierarchy to cast a narrower one. It also enables cross-discipline review and collaboration very easily - authors simply tag their papers with the fields of both disciplines.

The review interface combines aspects of Github PRs and Google docs.

Review is split into two phases: pre-publish "review" focused on giving authors constructive critical feedback to help the improve their work and post-publish "refereeing" which looks more like traditional peer review and is the primary mechanism through which new authors gain reputation.

The whole site is built around the idea that scholars are working to collectively build the body of human knowledge and make it the best they can.

You can see the production site here: https://peer-review.io

You're welcome to explore the staging site and treat it as a sandbox, if you'd like: https://staging.peer-review.io

It's open source: https://github.com/danielbingham/peerreview

I'm doing all the development in the open as much as possible. If it gains traction, the plan is to form a non-profit around it and explore whether a web platform can be governed democratically as a multi-stakeholder cooperative and if we can solve some of the issues around large centralized platforms through that governance approach.
You’re right about cross product vs outer product. (I do not know how I got that one wrong…)
I've read the whole article twice now and, at the end of the day, it doesn't seem to actually explain anything at all.

It explains how standard (complex) quantum theory comes up with the right answers, but how you can also just rewrite the equations as a less-elegant "real" quantum theory that involes no complex numbers, that also comes up with the right answers.

Which makes perfect sense, of course, because all of the rules of complex math are written in terms of real numbers at the end of the day. When CPU's are calculating math operations, it's not like any complex/imaginary bits or bytes are involved.

But then the article describes an experimental setup where the results are somehow only consistent with standard/complex QM, and are inconsistent with real QM.

But it totally neglects to say how or why. The entire premise behind real QM is that the complex stuff can just be rewritten as real. But this article seems to provide zero explanation, analogy, or intuition whatsoever as to why there's a case where this would ever not be possible. At no point does the article define what it even means to not be reducible to real math.

So I can't tell what any of this is supposed to mean at all?
I've been working on an essay about this topic!

In short, my advice is to "make incompressible memories". Your brain collapses similar experiences into each other. Frequently change everything about your life.

I tend to group major life changes around (1) family/work, (2) yearly themes, and (3) "characters". Every year or two I get a radically new haircut and wardrobe and immerse myself into an imaginary role. My last phase was "mullet man" and now I'm a "europop DJ" haha
> Finally they've missed the biggest reasons to /use/ OCaml.

You missed writing what they are :P
You, the creator, have the original (like a raw cr2) image, so you have proof of evidence that is was created by you, by that camera. Plus sensors have quirks that already uniquely identifies cameras...
> It appears that even big companies make suboptimal market decisions on quite a frequent basis.

This topic is covered with a focus on renewable (but applicable otherwise) in [1, pdf]. By accounting for cost of capital, volatility of the commodity, expected sale price, shutdown and startup costs, and a couple other variables, you can optimize the decision on how to act as a producer.

Having previously been responsible for forecasting natural gas consumption at one of the largest aluminum plants in the world, I can confirm inflexibility is a big component. Shutting one section of a plant down for a day is disruptive enough for planned maintenance. You need a really big incentive to shut it down on short notice, and you'll feel the effects your days to weeks in the future. Ideally you've sold product to book every machine pretty evenly and you're "sweating the assets", working them hard.

[1] An Exit and Entry Study of Renewable Power Producers: A Real Options Approach (PDF)

https://dr.lib.iastate.edu/bitstreams/7607fc3a-9acd-40a9-946...
If there are more questions on how to use the tool. I have put together a guide that will show how to make use of the most important simulation feature.

https://pinklion.xyz/blog/a-guide-to-pinklions-scenario-simu...
That’s an advertisement
You had me questioning whether I was misremembering and I couldn’t corroborate this on the web, but luckily I took a screenshot I think the first time I got this notification back in February because I couldn’t believe it either and Photos has full text search now.

Below is the text from that screenshot:

“Loud Environment
Sound levels hit 95 decibels. Just 10 minutes at this level can cause temporary hearing loss. This measurement takes into account the sound reduction from wearing your AirPods.”
For me the litmus test is if it has a fully-featured listview or treeview, so you can do something like a file browser, a library app, or other kinds of data-heavy apps. Also important is that keyboard and mouse work as expected (tabbing, shift-selection, etc).

Bonus if it supports the current "native" OS paradigms. E.g. on Mac: transparent sidebar, integrated titlebar, on Windows: MS office 2022 style simplified toolbar/ribbon, and WinUI styling. Note that even the official modern APIs themselves (SwiftUI and WinUI) don't do everything that first party apps can do.

Gtk doesn't look native anywhere but at least it has a very complete widget set and has been around for a while.
Loved this book.

When I first started programing, I was convinced that text applications weren't real programs, and the visual aspect of the book pulled me in to be a life-time programmer :)
You can make it do automatic rebase on pull to make it look more like SVN single history.

We do that on our CI repo because of many tiny changes of unrelated parts that otherwise just made almost every second commit into a merge
Sorry, I'm not reading 1100 words of privacy policy to get a chance to read whatever that is.
I abide by this rule here: https://www.nohello.com/ Older than the hills, but some people still need to be shown.

I personally don't care much when people do this to me, tho. I just use Slack asynchronously, so I will take up to 30 minutes to answer the first hello, and then 30 minutes to answer the question. ¯\_(ツ)_/¯
Shameless plug, but if anyone here enjoys Notion but finds it a bit overwhelming for managing their life, we designed Supernotes[1] to be a bit more settled / less trying to be "the everything app". We just released a new version yesterday that includes some fun features like "view depth" which might appeal to HNers. It's also markdown based, so less lock-in to a proprietary JSON format than Notion (though still not OSS – recommend Logseq if that's what you're looking for).

[1] https://supernotes.app/changelog/
No, why would I do that? What practical purpose does it serve? I can walk on leaves as easily as I can walk on gravel so who cares?
A cool and normal approach to all things in life.
https://news.ycombinator.com/from?site=jacobin.com

https://news.ycombinator.com/from?site=redsails.org

Contrast to this shadowbanned domain

https://news.ycombinator.com/from?site=mises.org
For those in the Cambridge area (or who have Zoom!), there will be a CSAR talk on Monday evening about the CASSIOPeiA Solar Power Satellite:

https://www.csar.org.uk/lectures/2022-2023/20230501/
It is not a clear marker for what its worth. The man didn't even want to buy it at that price and was forced to. The same man recently stated that the service is worth $20b.
My state requires 6 years of on-the-job employment before you can get a journeyman's license. Or 4 years of employment with an apprenticeship program.
Yeah auto format solves a lot of the syntax problems. Dangling else for instance is not at all ambiguous when you have automatic indentation.
Search is fine, I use it every day. This is exactly what I'm talking about: the most vocal users are the ones who are the most upset. People who are fine with it say nothing. If you only listen to the people who are talking, you'll get a very distorted picture of how your customer base feels.
You need to be root or have CAP_SYS_CHROOT to use the chroot system call. You can however create a new user and mount namespace on distros that allow unprivileged namespaces (Ubuntu) and then chroot away. The challenge could have been solved that way depending on the kernel used and if the binary was a suid reading a flag file.

But the way the challenge was designed, it's more about just changing argv[0] rather than the actual executable path.
MediaTek is not Chinese. You might be thinking of HiSilicon.
If it's highly biased indeed, in combinaison of a condition it's useful.

I was referring of indexing the column without distinction, the last time I checked (years ago) Postgres didn't do any statistical distribution so the query planner was always discarding the index anyway.
Yea, i just don't want to be forced to. Ie to me storing them in another folder, a network filesystem, some SSH filesystem, a dumb KV store like S3, etc are all viable storage locations to it.

So that's what i'm writing because i'm just picky, i guess heh.
I just wish obsidian was better at lists, especially on the mobile client. It's really painful moving things around tab levels, reordering items, etc. I can't even manage a grocery list without it devolving into complete chaos and broken markdown. There are extensions that help but extensions on mobile are really bad (just an enormous toolbar to scroll through, no real UI... the whole mobile app feels designed to be used with a keyboard which defeats the point of mobile).
They decided to drop debates too. Makes sense, there's no point to that.
Perhaps they only send this data once?
You will be surprised to learn that there were programmers who did not make the buffers large enough.
Ok, so Sam Altman disagreed with AI doomers, great, but the point is still generally valid, for a couple of reasons:

1. What about Elon Musk and hundreds of other AI investors? It's in their interest to overhype AI, while temporarily slowing down competition by spreading singularity fears.

2. OpenAI released the GPT4 report where they claim better performance of their model than it's in reality [1].

[1] https://twitter.com/cHHillee/status/1635790330854526981
Pretty embarrassing to admit that the only way Europe can compete is if the US didn’t exist. That’s the whole point, Europe is a hostile place for innovation. Even China found its place in the global market and it was dirt poor just 50 years ago.
Clearly you’ve worked at a few startups.
Evaluating ChatGPT's Information Extraction Capabilities: An Assessment
The toilet is actually a very good example that illustrates the importance of easily cleanable surfaces. It doesn't matter if you poop on it every day as long as it can be doused in bleach from time to time! Can't say the same for a MacBook Pro. (By the way, one usually poops in the toilet bowl, not on the toilet seat...)

We won't get cleaner buses by magically wishing all the passengers to have better hygiene. The answer is to cover all internal surfaces with non-porous, corrosion-resistant, easily cleanable materials and to eliminate nooks and crannies where dirt can accumulate. Ideally, you should be able to hose down all the seats of a bus after a day's service.
Is ReasonML dead? Their last blog post is from August 2018... https://reasonml.github.io/blog/
Okay, so it's not a typical tutorial. You have to golf and hack it. I'll give it a go again. Thank you for your explanation. :)
And over here in the Midwest, among all my friends and collogues who are software developers, I don't know a single one that was laid off.

This seems more like an issue in tech hubs or in primarily software companies.

What does it look like for all the software developers in the IT departments in non-software companies?
It will not be uploaded to Kanaries' server if you are using the open-source version of RATH. The data is stored in the indexedDB in your browser. For the SaaS version of RATH, the data will be stored in AWS S3 in the US.
Well what I'm saying here is that SQL is great and sometimes it's genuinely helpful to have a much faster key-value store in a variety of scenarios.

That's basically all you need.

From there, it's PostgreSQL and Redis specifically because Postgres is the best SQL database and Redis is the best high-performance KV store.
Notes:

- "ChatGPT’s performance in Standard-IE settings is not as good as BERT-based models in most cases. However, ChatGPT achieved excellent accuracy scores in the OpenIE setting, as evaluated by human annotators."

- "ChatGPT could provide high-quality and trustworthy explanations for its predictions. One of the key issues is its tendency towards overconfidence, resulting in low calibration."

- "ChatGPT exhibits a high level of faithfulness to the original text, indicating that its predictions are grounded in the input text."
> It also has the “dangling else” problem:

God I hate this term because it's not even a problem. For a human reader, it's pretty obvious that an "else" should belong to the closest "if"; and it's quite difficult to write a mechanical parser that would match "else" with the furthest "if" instead. So what is, exactly, the problem? That the grammar is technically ambiguous? Who cares? The authors of LR-generators? They don't, they have been resolving shift-reduce conflicts by default in favour of shifting for half a century already.
Same voices are heard whenever there’s a real estate bubble and wanna-be landlords come out with justifications like ‘people will always need a place to live so buying and renting will always work’
> I don't see why someone working for a regular company should have to pay for Medicare and Roads but someone working at a co-op should get these for free.

Mostly to send a message that you shouldn't work at a regular company. Unless it pays so much that you are better off even after tax.

> If folks want to see more co-ops, I would look for ways to make Capital more available.

Capital goes to where one can get return on capital. To get more capital to coops you need to make them competitive first.
The standard legal answer is pages and pages of documentation that discourage suing. This is rarely actually done in practice.

The reality is you keep it quiet and relatively secret, and you kick out people who smell like legal liability. This answer cannot be stated in public.