skysight-inc/HackerNews huggingface dataset:
Do you have a link? The patent I could find was filed by Ford and expired in 2015: https://patents.google.com/patent/US5824993A/en

Actually that patent looks different to what I'm describing.
I've seen things written in Oracle 20-30 years ago that I've still not seen PostgreSQL or SQL Server do.

An example? A full credit card processor in stored procs. I really mean full, it handled the call outs to financial providers, managed the 2-phase commit, replied to the app, all within a single call (Stripe API is the closest I've seen to this in the 30 years since).

It remains possible to do things that are crazy and powerful, very quickly.

Whether the people here would want to is a different question. But if you are in a large corp and Oracle is available it is easy to do crazy things.

Once these things are done, Oracle is going nowhere. They are now in your system for the life of your product.
Everything I read online? Uh oh. clears browser history
> If anything, climate change is tech driven.

It's sad to see such comments systematically downvoted on HN. I understand most people on here (including me) are paid to believe otherwise but you should really look at the history of tech and energy for the past 200 years or so, and also listen to competent people (i.e. not Musk nor PG) about the energy and geological resources challenges we're facing. Even if you don't care about climate change at all.
To clear up any misconception, out of the box OCaml will behave like OCaml 4 with a single domain and a "domain lock". Programs currently using multiple threads for concurrency will remain single-core for the time being, as they will need to opt-in to parallelism features. In this sense, adding parallelism to OCaml does not break existing programs, but they still might have to be audited for thread-safety depending on how they want to use parallelism. There is no magic.
> The company is apparently registered in the Cayman Islands

If that's true why would they be coy about it?

There are loads of jurisdictions where every single company invoice has to state the company's registration details (registered number and registered address).
It's harder to cut up a dense and mixed use neighborhood because the real estate is worth more and there will be more people and money to vote against it.

Boston tried that. They were able to get the project rolling in the poorer parts of town but when they got to the slightly richer ones moneyed interests rallied the Karens and killed it (racism deserves a little credit too, rich white people hate it when you build a highway between them and poor dark people). That was half a century ago. Eventually they salvaged what they could and put a light rail line in the parts of the project that had already been done but still....
So your primary complaint here is the amount of time it took? Why shouldn't a bike be illegal as it allows you to go places in weeks that used to take years?
Closure ? Why not, never thought it had a big demand for it. I was a perler for a while but demand dried up ;)

As for e-residency, I guess it depends on your situation. As a resident (expat) of a country no sane company would do business with, with no bank transfers possible, setting that up was easy, cheap and saved my business.
I don't want to evade taxes, just be able to do business, and it does serve that purpose beautifully
We are moving the envelope. Journalists doing their job is now "doxxing". This suits the elite who don't want their actions scrutinised.

How many rich and famous have been disgraced in the last 200 years because journalists posted outside their hotel room or followed their car?
As people who don’t do this, I prefer to stay anonymous. Anonymous writing has a long and good history with some bad apples. Don’t throw the baby out with the bathwafrr
> By that logic should we assume that every crypto company who don't do audits that meet your standards is "fucked"?

Yes, this is in fact the rationale approach to financial institutions. It is why solidly-run companies invest in audits: to demonstrate, on a regular basis, that they are solvent and stable (not fucked).
170.65 kPa, or 24.75 psi. I imagine even Flex Tape can't hold that!
Yes, EDB's Advanced Server provides that: https://get.enterprisedb.com/docs/Database_Compatibility_for... (pp. 30 ff.).
This is an affront to property rights. Your neighbors should be free to build damn near whatever they want on their property.
The Pelosi case is under a lot of public scrutiny precisely because it is nonsensical that the husband of the speaker of the house could have someone just waltz into their home and attack him. Unfortunately the narratives around the attack have been censored or tamped down and we may never know what happened.

But there is still an order of magnitude difference between Pelosi and the wealth of someone who can afford to own and fly their own superjet. That you don’t believe better security can be had does not mean it does not exist, it does.

I think you’re revealing your ideological biases. The Twitter files did not just contain information about censorship by the democrats. The Trump White House was also heavily implicated. That is not the partisan issue that you want it to be. Instead, perhaps the liberal ire towards Elon could come from the fact that he is catering towards the right?

As far as public safety goes, it’s ultimately moot. If you choose to own your own plane and fly it using public infrastructure paid for with US tax dollars, you have no expectation of that data being private. Reporting that data is protected by the first amendment, which of course doesn’t apply to posts on Twitter, a private company. Someone who wants privacy should choose to travel via other means, it’s really that simple. Flying via your own private jet is not a constitutionally protected right, it’s a privilege that is subject to the terms and regulations of the United States of America and it’s regulatory bodies. And arguing that we should change the rules for the ultra rich is an absolutely tyrannical prospect, lord knows we do it enough already.
https://archive.ph/Xj3zV
Creating a new technology and using it doesn't require the consensus of an entire society. Changing the law does, and so takes forever by comparison.
What kind of windows support do you use?
My only experience with Oracle was we were using it at a startup at the turn of the century. I got tasked with asking them for a quote. They came back with one but offered pretty strong technical support. My boss, wise in the way of databases indicated that their support would involve using there apis locking us to them as opposed to the odbc drivers that let you switch databases easily. Those odbc drivers weren’t great on Linux at the time.

The startup ran out of money a couple months later..
BBC is still struggling with the digital switch, says watchdog
You can basically tell which neighborhoods were historically filled with "the wrong kind of people" by comparing the relative quality of Boston's light rail lines...
Considering what they did to LOTR .. lmao, lol.
Will do! Certainly looking forward to it.
I used to have a dual physical SIM iPhone X from China! However, when I sent it in to get (warranty) a local Apple repair shop screwed up and replaced it with a North American model. After much gnashing of teeth with Apple Support, I wound up with a new iPhone 12…but no dual physical SIM.

Now my phone is still confused after restoring from backup and cannot see the eSIM. I’ve been filing feedbacks and radars to no avail. If I was on Android I’d have just rooted it and deleted the offending (mis)configuration file already!
I think you should rather ask GP "How do you know that?". The link to the about page of Lean doesn't back up the claim that you can only write programs that halt.

And indeed, you can write programs that do not halt. You just have to explicitly tell Lean that you want to do that.
From Levine:

"Payment for order flow sort of created the zero-commission retail-brokerage model, but it’s not really necessary anymore. You can run a profitable retail brokerage on net interest margin, without charging for trades at all."

So what everyone should be complaining about is not PFOF, but "net interest margin". In other words everyone should be complaining about the brokers not paying enough interest on the cash balances in the brokerage accounts.
I have complicated feelings about the Bulwer-Lytton fiction contest. On the one hand, from a lighthearted perspective, it's quite funny and I enjoy reading the absurdist entries. On the other hand, I can't help but sense an undercurrent of wannabe-elitism from people who doth protest too much about "It was a dark and stormy night", in the same way that beginner programmers will fixate on minutiae like indentation or naming conventions in an attempt to gain social status among their peers. Like, sure, it's not the most gripping opening sentence in history. But the fact remains that if you took a good author and forced them to use it, they could still write a good book. (That might be an interesting contest in its own right.) Be careful not to get overfixated on the meme.
> it would be a mistake to project one mode of production as being the brand all humans must live with until we go extinct.

Indeed, you should not read it as an imperative. The other commentator was also put on the wrong foot by this.

Maybe I should not have assumed people would know Genesis, https://en.wikipedia.org/wiki/Book_of_Genesis. I should be more explicit: we are not some holy creatures. Don't assume that the few who are gonna reap the rewards will spontaneously share them with others. We are able to let others suffer to gain a personal advantage.
I use Atom daily. There are many times when I need a simple, powerful text editor but not a full blown IDE.

I knew this day was coming but didn’t prepare for it.
Developer Relations Guide to Not Being a Support Engineer
Sorry I wasn't very clear. In a condo, you have shared assets like a roof and stairs and a front door and elevators. If they fail is a huge problem for everyone. In an HoA, you don't really share any VITAL components. You might all contribute to the upkeep of a park or a pool. But if the park or the pool are neglected, you can still live in you're home. You're actual home is self contained and yours alone.
Valve has always done it right IMO. CSGO is the same, you can start a server yourself or you can play on official servers.

Valve has always been community centered and it really shows in how all their development tools are pretty much available such as mapping tools, server tools etc.

With CSGO most of the matchmaking isn't even done in official servers, but with third party organizations like Faceit. If you want to be a professional CSGO player then you can't even rely on official servers. Nobody can go pro by playing official only when it comes to CSGO, you literally have to use third party services and their community servers.
9 in 10 companies will require employees to work from office in 2023
I can't usually answer these questions accurately with any confidence. Color is just something I don't care about much or remember that vividly. I have no idea which caused the other (I'd be surprised if they weren't correlated). I have preferences, but if something is the "wrong" color I usually don't mind too much as long as it serves its purpose.
7M men aged 25-54 in the USA are not working
This article sounds very desperate.
With a constructive logic like the one with Coq, you can use functions as proofs of theorems. Briefly, a function is a constructive proof that you can construct an object of the output type from objects of the input type. This means that you can see types as theorems and functions as proofs of those theorems. But in order to be able to prove useful theorem, you want to enforce that every function does really return an output in all situation.
I am getting a 500 status code.
The original poster was using "truth searching" euphemistically. In other words, it was a more polite way of saying that many, or even nearly all, comments on such matters on HN are misguided.
This is crazy. I've been there a few times as the hotel is a popular spot for conferences (likely in part because of the attraction of the aquarium - I wonder if it will continue to be so popular a venue now). The aquarium was absolutely huge, I can't imagine what it must have been like seeing it burst.

Sadly I never availed of the elevator ride through the aquarium.
Mechanical Ink Podcast
Because they’re offering you “free” trades and making their money from their cut of that price advantage rather than charging you $5?

I don’t use Robinhood, but I don’t see anything wrong with that pricing model. Prohibiting it would be equivalent to banning no-fee trades for small time retail investors. It would be like banning ad-supported business models. Well, on second thought…
Back when I did hourly reporting I used http://timingapp.com/. It tracks what applications and windows are open and then you connect those to tasks/projects/etc later, which was a must for me since I always forgot both to do time reporting and what I had been working on.
Exactly.
db2set DB2_COMPATIBILITY_VECTOR=ORA
gives you Oracle compatibility. You can even get MySQL compatibility and I have actually used that once in the past.
If you're in the eu, us... just setup your business there, off course.
It's not a tax evasion thing. But if your residency is an issue, the program provides you with a safe heaven to do business. You still have to pay taxes of course, including income taxes in your country of residence
even earlier, 5:30-5:45 actually reported by guests, 5:43 fire alarm after broken front glass

preliminary cause - material fatigue
Usually it’s either because your company has built a practice around it, more commonly you need Oracle Financials, etc.

Once you have the Oracle infrastructure for Financials, PeopleSoft, etc, the question is does it make sense to stand up services around the Oracle portion. The cost of the people to run Postgres or MS SQL server may be more than the marginal add of Oracle.
Your are confusing 'legal ownership of assets' with control, influence and power.

It's difficult because the former perspective is more formal than the later, but really, it's not at all.

In 1900 if your home was burning down, the firemen would only come if you paid a specific firehouse for insurance. If they were fighting a different fire, or if you didn't pay - then your place burns down. Even if all the firefighters are doing nothing. And your house will probably cause a bunch of other fires, creating viral destruction.

Obviously this is completely stupid. So we socialized it, and even with 'government inefficiencies' it still has better outcomes than the former scenario.

TikTok is a 'private company' until we decide it's not.

There are externalizes in everything.

If you want multi-generational asset permanence, you can stick to property ownership.
Exploding gift sends Polish police chief to hospital after Ukraine visit
I don't know much about that space, but there is probably something written in language better than php. Good luck finding it
Indeed. Detroit isn't looking too good these days. Heavy industry did pretty badly in the 1970's and 1980's.

Most people appear to complain about high housing costs in SF, but that's a consequence of many factors. Filling-in the bay wouldn't impact house prices by much.

Post-war urban development is widely criticized for destroying the character and liveability of cities.
Probably because it doesn't maintain long term cohesion. Transformer models are great at producing things that look right over short distances, but as the output length increases it often becomes contradictory or nonsensical.

To get good output on larger scales we're going to need a model that is hierarchical with longer term self attention.
I agree, but each migration has a small risk of introducing bugs. Sometimes subtle bugs. Who is going to be blamed?
1 - I wonder what OS do you use.

2 - Have you actually tried Linux?
What's the difference between Electron apps that are "noticeably built with Electron" and ones that aren't?
Generalizations like this miss the important successes along the way. In the early 90s San Francisco permitted a particular form of loft development that created a large number of housing units before it was shut down. Then when Jerry Brown was mayor of Oakland his promise to build ten thousand new housing units was so successful that there was a period when the price of low end housing got pushed down if only briefly. When Mountain View started to grow robustly the commercial corridor was upzoned for larger buildings and adjacent parking garages were built. There are various other successes and each demonstrates a way out of the current extreme shortage of housing.
Could body heat be transferred from the ears or nose to the gold layer to heat it?
Some how it made Wesley Willis sound even better.
In what context do you have terabyte-sized text files?
> While the Atom project ultimately failed, it did give us Electron

That’s not the positive thing that you think it is.
Show HN: Reliability-as-Code Platform (Aperture)
It sounds like the pause/unpause might be the way to fix this properly, since trying to be heuristically smarter sounds like a recipe for never-ending corner case bugs like the OP’s issue.

The patch for pausing and unpausing seems quite reasonable, except that it does require driver support (unsurprising - you’re literally reallocating the resources used by the driver!). I suppose if you had at least a few movable devices then you should be ok in the event of a hotplug event, so you’d have to hope that enough drivers bother to support the feature.

I wonder what is necessary to get people to care about the patch enough to fix it up and mainline it? I suppose the problem it fixes is still niche enough that not so many people are clamoring for the fix.
Yeah my comment is unclear. I mean they can't be presently fucked. They may become fucked in the future, if it turns out they were engaging in fraud. But for that to happen, some kind of evidence should be provided, and none has shown up yet.
This confused me at least: do people keep cash in their brokerage accounts? Is this an American thing (limey Brit here).

I transfer cash in once I've decided to trade and the brokerage usually holds it for a max of a day or two until the trade actually executes (say I am buying an index fund where orders today are executed tomorrow). The only time there has been cash for longer than that was when I know I needed it (a week or two before buying my first place) so I didn't want to risk a stock market crash etc.
I agree that there is some hypocrisy on both sides.
William Gibson’s novel Neuromancer is coming to Apple TV
I had a similar problem on Windows where it suddenly refused to work with any of my USB C ports. Linux could still detect them however. I did manage to get it working by doing a BIOs update on my motherboard since I noticed that the BIOs update notes mentioned "Improved USB compatibility". The weird thing is it worked in the past but I guess some Windows update changed something somewhere.

I think all OSs can experience these kinds of weird problems from time to time.
I respect your experience and opinion, but you’re missing the point here.

VSCode delivered a fantastic user experience. It reached a product market fit other editors could only dream of (let alone any editor based on browser tech). This, must have required engineering smarts and very thoughtful collaboration between product and engineering.

Hard engineering = delivering the best possible outcome within tight constraints/requirements. I’m sure the VSCode team was trying to hit a very specific number in responsiveness, startup time and memory usage.

Yes, compilers fall in that category as well as modern chip manufacturing (single digit nanometer fab FTW!). Those folks are the unsung heroes. However, we cannot discredit the fantastic product experience of VSCode. It was not possible without some innovation, clever engineering and a well thought out architecture. (I am sure they learned from Atom’s failings)

Update:
> The VSCode team didn't have to make Electron. They got to use it, though. Along with the various lessons learned by the Atom project.

Yes! They are progressively a huge leap forward, built on the contributions of others before them. Now the VSCode framework has spawned a new generator of tools (such as Obsidian).
> Atom was built by incredibly smart people, who had full control over the platform and several years of head start, and they were still out-engineered by the VSCode team at every turn.

The VSCode team didn't have to make Electron. They got to use it, though. Along with the various lessons learned by the Atom project.
Fair enough. Your market is probably people who have a lot of solo pictures of themselves, so I’m probably not representative.

I’ve got lots of pictures of me with other people; find a way to accept those and I’d be in business.
It is lacking, but I haven't found practical ways to review it. I tried the github extension in VS code but the experience was even worse for me.

Could you share details about how do you do it? I'm very interested!
Skilled tech workers snapped up despite downturn
(I am not associated with Timing, just a happy user)

I tried a few time tracking apps, and none come close to Timing. It's easy to use, gets regular updates, it's easy to setup projects and define rules (such that you don't have to track by hand). Has a handy integration with calendar, you can directly book meetings.
Binance Stablecoin Issuer Paxos Say Customers Redeemed $3B in Seven Hours
Usually my go-to for "Linux problems" is "tear down the VM and start a new one", but a few days ago my Manjaro rig at home lost power, and bluetooth wouldn't work upon restart. I wracked my brain, pored through forum threads, man pages, and LFS, but nothing really helped. It looked like several different problems at once, but none of the individual fixes worked, or only worked for minutes at a time. I stepped away from the problem for a while, as one does, while I mused about the way troubleshooting works, and how my early life with Windows and now modern containerization has predisposed me to certain types of solu-- wait, I've got it! rmmod the bluetooth modules, modprobe 'em back in. Everything worked flawlessly. I'm not sure what I learned.

*sigh*
Very sad. I'll continue to use it. I can't abide how vscode is run as a project by Microsoft.
How am I supposed to know which one is going to wiggle next?
I seem to recall Dell saying that you should never store a suspended laptop in a laptop bag, because there are situations where it might wake up and overheat.
It's very post-modern. You start with the ending, and then the rest of the book is how everything that happened led to her untimely demise.
You can create scenic pictures of couple, pets, etc
Personally, I prefer CoffeeScript. The code gets more concise, it stimulates a coding style that's more objective and less "enterprisy" than TypeScript with all the excessive OO stuff. A simpler and more concise language attracts more contributors overtime.

However, TypeScript has clearly won and static typing can help a lot with autocomplete stuff, so there is no point fighting back.
How many songs did you use for the training data?
yes they better lawyer up in Germany, correct
There are now many reports about material fatigue as the primary cause, but I am not so sure. Another article [0] mentioned that the building is currently analyzed by engineers because the firemen found cracks in floors and walls - they are, however, not sure if these cracks were caused by the water, or if they were already there before.

In the latter case, something could be wrong with the building's foundations. I am no expert, but if such a massive aquarium is only slightly tilted to one side, I would expect the forces acting on the glass to be ill-distributed. Material fatigue would then only be a secondary cause.

[0] https://www.faz.net/aktuell/gesellschaft/ungluecke/aquarium-...