skysight-inc/HackerNews huggingface dataset:
So not an expert in this area, would love if someone corrects me. My understanding is generally FOL is infeasible. Propositional logic even can be computationaly difficult [1]. My understanding is that most of the semantic web stuff is done using a description logic of some flavor. These will be named based on the properties of the logic. The important thing is that they are generally decidable, and you can use something like MALET or some other solver to infer things from your database or ontology.(You give up some expressivity for decidability) Not sure how much stuff is going on with that these days. Played with a petrology ontology in protegé some back in college, but haven't followed the space. I remember OWL being important, but can't remember why at the moment.

[1] For example if you try to figure out if a formula is satisfiable. You can for sure do this using truth tables. The catch is that you're looking at 2^n complexity where n is the number of propositions in your formula.
I also had something happen with a well-known messaging app. They gave me a take-home assignment that turned out to be pretty non-trivial (16+ hours). They liked it, even had good things to say about it, I had an hour mostly non-technical meeting with a manager(?) there that seemed to go reasonably well, and nope, they weren't interested.

I told people to avoid this place because of how bad of an experience it was.
I can't be sure. When I say 'combine them all offline', I mean using something like [1] which refuses to do anything for me because the Waterfox database version is a rather old Firefox version, and that seems to expect all the db's versions to be up-to-date and equal, which seems pointless. #include <sqlite3.h> was my next step-- only I don't walk very well, so that didn't happen "yet". Or I'm lazy, or distracted, or depressed, or something. When I recently got tired of realizing a thing was on the other machine, I bit the bullet and synced them, if only to see how well that worked.

Anyway, thanks for the guide.

[1] https://github.com/crazy-max/firefox-history-merger
Ronald Reagan was somewhat looked down upon for his acting background when he first ran against Jimmy Carter.

Carter (who I believe to be a good man, but not a great president) presided over a poor economy. Reagan turned it around in his first term using unorthodox methods called "Reaganomics".

Reagan's ideas supercharged the American economy, making him enormously popular. He won re-election with 49 states, missing only the home state of his opponent. (Reagan did not campaign in Minnesota, he said it wouldn't be sporting to do so.)
Is there a simple GC like this one that uses handles instead of C stack scanning to keep track of local references?
At my post office they refer to the coupon crap as ADVO. I put a NO ADVO sticker in my box. Anything that doesn't have my address on it goes into the community outgoing mail slot. It gets better for a while then someone goes on vacation or quits and we go through it again.
I'm puzzled. When did handwa ING a problem, propose to abolish the existing solution and blindly hope that the market will solve it became "thinking like a problem solver".
No way man.

Being terminated by phone or in person is respectful compared to email. Being rejected by phone for something that for most times is going to not be successful, that's just twisting the knife.

At the moment I don't know how to respond to call requests when it's not successful. I fear that saying: "Hey if this is a rejection, I would prefer to just get an email. I understand."
The Fed's didn't wipeout equity shareholders during the financial crisis because big investors were leveraged. The whole point of the bailout was to prevent losses on leveraged assets from rippling through the financial system and collapsing the whole thing.
When does it stop being called a "democracy"?
Where are you in the US? If you're near the valley, you might try posting this on blind https://www.teamblind.com/
Personally I would not put effort into switching just to avoid robocalls. Especially because I'm still paying off a phone.
Pardon the delay in replying, I didn't see this until now.

> Your question was answered in the comment underneath it -- the answer is taken from the article in the discussion:

> https://news.ycombinator.com/item?id=21709446

Well, shit. This is kind one of those timing error, at the time I wrote that the thread was quite young, so I presumed my more substantive complaint (which is immediately under my comment) would have been seen. That'll teach me for being trite, hopefully.

Anyways, here is that comment (and I imagine you won't like my pedantry, but I did note it as such, and I'm not forcing anyone to answer - if they'd like to allow ambiguity/uncertainty to remain, be my guest):

---------------

https://news.ycombinator.com/item?id=21708936

> As noted in TFA, they looked at 17 forecasts from 14 models

Pardon a little pedantry:

>> The researchers compared annual average surface temperatures across the globe to the surface temperatures predicted in 17 forecasts. Those predictions were drawn from 14 separate computer models released between 1970 and 2001. In some cases, the studies and their computer codes were so old that the team had to extract data published in papers, using special software to gauge the exact numbers represented by points on a printed graph.

They compared annual average surface temperatures across the globe to 17 forecasts, from 14 separate models.

But....how many models did they look at, before choosing those particular 14 models?

TFA doesn't say.

Articles written in this style provide rich fodder for conspiracy theorists, particularly because there is no shortage of examples in the past where authoritative, trustworthy organizations have gotten caught in lies. Rare is the climate change article I've read that can't easily have similar holes poked in it.

What's the real truth here? Based on the literal content of this article, no one knows. It is speculation vs speculation.

---------------

> Then, incredibly, the paper author chimed in with this offer:

> https://news.ycombinator.com/item?id=21709010

> And you couldn't respond constructively. If he didn't include a model, point it out.

An obvious lack of thoroughness and reasonableness on my part - it would have been wiser to restate my above question in it's entirety rather than expecting him ti find it. So I'll take the reputation hit on that one.

But then on the other hand, I did email one of the authors directly (after looking through the github repo to see if my questions were answered there), with a much more detailed question, in polite terms, and with mention of the possibility that this sort of ambiguity is open to exploitation by propagandists, but didn't hear back, so far anyways.

UPDATE:

To the author's credit, they did address a question posed to them here: https://news.ycombinator.com/item?id=21709249

Also, his reply to another comment is suggestive that all available models (that fit his criteria) were in fact used: https://news.ycombinator.com/item?id=21708782

I get a fairly trustworthy feel from him after reading those, although I still prefer that these things were written using more defensive wording.
Thank you for this. I never thought a javascript compiler could help me improve my Chinese reading skills.
It's time to turn your online efforts into a REAL online income
It looks like Firefox has been doing it since 2010[1]. I wonder how long Chrome has been doing it, since launch, 2008? Here's a Chrome bug discussing it[2].

[1] https://web.archive.org/web/20151229082536/http://blog.bonar...

[2] https://bugs.chromium.org/p/chromium/issues/detail?id=500239
The only flagged comment of yours that I could find is this one: https://news.ycombinator.com/item?id=21787628

It may have been flagged for its unfriendly tone - sounds almost like you want to pick a fight with the person you replied to.

Here's a relevant section of the HN Guidelines (see link at bottom of page):

> Be kind. Don't be snarky. Comments should get more thoughtful and substantive, not less, as a topic gets more divisive. Have curious conversation; don't cross-examine.

I wouldn't have flagged it myself (my threshold for flagging is a little bit higher), but I understand why someone would have.

Also, please re-read the post you just wrote. Accusing the entire community of being childish and ignorant while complaining about being flagged for a violation of the guidelines isn't going to get you any sympathy (and is going to get you flagged).
You might keep the content format mighty simple, but keep in mind that the hosting and delivery mechanism consisting of http/html are extremely demanding. In particular, your website's availability is fundamentally limited by the uptime of your host machine (which you are only leasing) and its HTTP server and network. If you forget to renew the lease on your host machine, or there is some mishap by the service provider, your website will vanish without a trace -- even if it happened to have a high rate of visitors.
Classic Shell, but Windows 10 updates sort of broke it
When the question is asked "why are you doing this" and the answer is, "because it's our policy," what that means is, "we are doing this thing because it's the thing we do."

I think people who give that answer honestly believe it's a valid answer possibly because they're thinking of the rationale behind the policy rather than the literal meaning of what they're saying. But when I've heard it, it's felt like an insult to my intelligence, like it's some stupid word game to dodge my question.
I'd been wanting to make a little website from scratch to teach myself about raw components of the web. I wanted more than static HTML, so I figured I'd throw in some php as well.

As for the domain name? ...this was a result of a fun train of thought. I was thinking about the slashdot name, and how is was chosen because of how it sounds when said out-loud (ach tee tee pee colon slash slash slash dot dot com), so I went looking around to see if any other fun "dot" domains were open.

The first one I found was dotbun.com.

I just had to come up with something to put on it...

Since 'bun' is often used to refer to especially cute rabbits, I decided to grab some rabbit images and show them randomly.

Over the past day, I added a static link creator and refresh button, and most recently added embedded mp4/webms.

---
The implementation:

I grabbed images and videos from reddit.com/r/rabbits, and ran them through a shell script that gave them short, sequential names and produced webp copies using cwebp.

I then use php to select a random file.

If its a still image (png/jpg) it produces html that will attempt to show a webp picture, with a fallback to the original format. I also made the static links the original format, to make them more accessible to hotlinking and sharing.

If its a gif, it displays it without fallback (since webp doesn't handle moving images).

If the random file is a video, it instead generates a <video> tag that is set to maximum size without affecting aspect ratio, centered in the screen. I use the tag <video autoplay loop> for gif-like behavior.

---
Performance/Modernity:

The server backend is nginx, with a letsencrypt HTTPS cert.

I used media selectors to make the website somewhat responsive. If your horizontal size is below a given limit, the static link and refresh buttons are enlarged and moved from the corners to the top and bottom of the page.

By opportunistically using webp, and relying on php pre-processing with NO javascript, I got a 100 on both desktop and mobile according to google's pageSpeed insights: https://developers.google.com/speed/pagespeed/insights/?url=...

---
To-dos:

* CDN. This is a big one, as this thing is running on a VPS, which may not handle high traffic terribly well (Let me know if you see timeouts or other server problems). I will probably put this behind cloudflare free tier.

* About page. Basically this post's content, formatted nicely. I expect to have something done over this weekend.

* Upload. Allow people to submit photos. This may be a bit much for my scope, however, so this is not a hard goal.

* Analytics. I want to use matomo, as my goal is to have as close to zero 3rd-party requests as possible without compromising on a modern design, and the "on-prem" option should work.
I get it. Why not set up another GitLab project just for that? Call it "scrapbook" or whatever, and pop the ideas into its Issues? Free of the serious process? Maybe your own project?
I've been working as a programmer for 29 years now, and almost since the beginning there has been a story ciruculating about how new technology ('4GLs', then 'Rules Engines' and now 'AI') would put programmers out of business.

It's never happened, of course. But if AI does ramp up and take over a bunch of programming space, it may drive IT jobs ever lower on the social/pay scale, perhaps even elevating manual labor.
Here comes the guy everyone was expecting.
If they keep phones up, you want to get a dial up ISP with a modem. Preferably on a land line. If they're pulling down phonelines too, you may be able to do satellite internet, if that's available. Tends to be spendy though.
Museums Throw Open the Storage Rooms, Letting in the Public
1. You don’t have to pay Google :-)
2. Google packages the on-device navigation and places experience for ridesharing, while this repo is focused on the location tracking aspect and how that experience is managed in the cloud.
I have settings-adjusted Google account solely to buy games for the kids (family library).

Email with Migadu and self-hosted beyond that.

Calendar and contacts with EteSync.

Search with DuckDuckGo.

Browsing with FireFox. I keep Chromium around to overcome the odd poorly-written web site.

Documents moved to LibreOffice.

Maps via Google Maps, but of minimal importance.

Chromecast on its own firewalled SSID and VLAN for streaming Netflix to a TV.

Voice assistants via Amazon Echos.

https://takeout.google.com/ was useful for extracting data.

Unfortunately wife and kids use GMail, Contacts and Calendar.
EFF is incorrect that there are "basic guidelines" for authentication
to websites that are integrated with physical-security systems, in
which "locking the account until the owner can be contacted" is
reasonable. The legitimate owner of a Ring device may have a specific
need to access Live View within seconds of providing the correct
authentication data. (For most other categories of web sites,
temporarily disrupting legitimate logons is often acceptable.) A
sample attack scenario is:

1. The threat actor knows the device's physical location, and has
software to perform a brute-force attack on the account of the device
owner.

2. The device owner happens to be, for whatever reason, signed out of
the Ring app.

3. A 14 year old child of the device owner is home alone.

4. The threat actor launches the brute-force attack and then attempts
to visit the home.

5. The child sends a text to ask the parent to immediately interrogate
the visitor over Live View.

6. The parent cannot immediately logon.

7. In most cases, the family is less safe than if "locking the account
until the owner can be contacted" doesn't ever happen.
Farnazdadsetan
I mistyped. I meant, no one who isn’t living there can’t open that mailbox. And it’s a federal crime also to open mail not addressed to you.
The Boehm GC seems to do both internally.
Cool, thanks! I'll be keeping an eye on it. I thought Sikuli had some real potential for this that seemed unrealized. Good luck!
Keeping sufficient hot standby submarine capacity live and in contract is very costly in $/month.
Are you guys planning "private communities" usecases ?

When I last evaluated Riot, it was vehemently public...so Slack/Mattermost like usecases were very hard to do.

Ideally a private community should be possible, where users invited to that community have access to all channels. however within the community, I should have private channels restricted to only few invited users.

I was told that the only possible way to do this was make all channels of a community private ..and when adding a new user, you should explicitly invite to every single one of the channels. This is not viable for an org.

I really hope this has changed.
Good call. I also added a comment explaining some stuff.
Yeah, this is how could be done with this, but also show why is a poor abstraction.

If enums were abled to be extended:

match e: SearchOptionBeta {
SearchOptionBeta:: Left, Rigth, Full
}
Any plans on adding family support? It would be cool if you could put in our whole family's needs and it generate a meal plan for everyone.
The alternative to self-similarity at different scales has already been tested and more or less rejected: it's DSLs of the kind Lisp and Smalltalk let you create. The idea being that you build a high level language out of abstractions and it levers up the language.

The problem is that a custom language so built is harder for newcomers to the project to get to grips with. If it's a super common problem, and the solution gets popular, it might work out - see e.g. Rails with its DSLs for migrations, routes, etc. But that's a small fraction of problems. Hired developers don't really want to learn you custom thing, too, as it reduces their market value.
Will Open-Source Processors Cause a Verification Shift
We have 1000x speed machines to handle that. Notepad is perfectly responsive. but most apps do crazy side gunk interfering with typing.
Think of how tos as recipes for different scenarios
Partially my answer depends on how much money you are working with and I assuming you are US based. If you are venture backed then the cost factor can be a little easier since you'd have the money to set it up properly, but you have to seriously consider if spending money on this is the best use of funds (and it may be given the time/cost/skill tradeoff).

If you are bootstrapped and still small just don't hire internationally, hell try not to hire FTE's outside your own state until you have the revenue to really support it. In the US if you employ a person that is in another state you are on the hook for paying not just federal but also that states income taxes (and potentially multi-state taxes), plus registering in the employee's state so you can report workers comp, insurance etc etc. This is not horrible but it is administratively more time, but at least inside the US any accountant can do it pretty cheap and plenty of payroll services can do it automatically for you so it is more or less just writing a check (after you have all the documents taken care of).

My 2 cents, having done this quite a bit, and currently with a team in 3 timezones and 2 Countries (so not that bad right now). While I will hire basically anyone that is qualified regardless of location, I am careful when just starting out to keep people in timezones close to mine (+/-3-5 hrs) and I do not "hire" them as employees if they are international at all. I will employ them using contract based means which still has some reporting and extra record keeping but is much more simple than "employing" them (also stock becomes an issue if you are trying to use it as incentive etc).

If you employ someone across international lines you may actually owe US taxes for that person, you may under the laws of that persons Country be obligated to pay taxes or fees in their home Country and may also be required to register as a foreign corporation and prove you have the resources to operate there (even if you are just employing someone) etc. It all depends on the Country, of course. There are a lot of startups that do not get legal & tax advice and just add people without registering and reporting things properly. If you never get too big the chances of being caught are probably pretty low, but it is a real risk. The IRS (& homeland security) has reporting requirements if you are sending money overseas regardless of employment status, especially once it crosses a certain threshold. So you have to be careful to properly report it and keep records etc.

I don't have any issues hiring someone in another Country, currently my team is split between the US and India (employees not contractors), and we have everything setup properly in both Countries. It wasn't inexpensive and it takes a small bit of extra administrative tasks every month or so to make sure things stay compliant. It isn't that hard once it is setup, just takes some money & time to do up front and can take some calendar time depending on the other Country (2-3 months isn't unheard of in many Countries).
As far as I can tell it doesn’t support insertion operations. That’s a massive drawback vs both cuckoo and bloom filters.

It’s somewhat disingenuous that they are clearly attempting to position this as being superior to the other data structures, while their’s cannot do one of the core operations.
Hyperfiddle: Make lightweight database applications out of low code DB queries
This is a good start. What would have made this article compelling is a performance vs price comparison. cpu, iops, network, etc. extra credit for sampling a statistically significant number of vms across multiple regions and availability zones per provider.
That assumes there is no systematic bias. Which clearly there is.
Power is involved too. When I first visited a cable landing station I got to learn about the process to de-energize / energize the cable and coordinate with the ship and the remote side. Pretty involved but really neat to see. The stories are interesting too. One cable landing station on a small island the main tech would bring his family in during a typhoon to shelter there for days since it was a fairly protected site that had plenty of fuel for the generators.
Docker Notes
Okay, I got your position. And thanks a lot for your efforts! I will contact you if I have questions/suggestions (I found your email at the end of the doc).
Is it possible to get Chrome to never nag me to create and log into a profile? When I open Chrome right now it asks me to authenticate or "Browse as Guest."

Honestly it's kind of a rhetorical question because by having the nag screen the damage is already done to Google's reputation and it makes me feel really icky. Opting out of the nag screen just hides the grossness, and I would rather be reminded that using Chrome, and by extension all Google products, is just a bad idea.
Personal machine or work machine with antivirus and enterprise spyware?
Of course, you can't know how long the Wayback Machine itself will continue to exist, either.
Well yeah that gives you an OS X app and you get to reimplement it completely from scratch for all the other platforms. So it’s exactly the same problem as objective C (except you can at least compile objective C on other platforms you just don’t get the GUI stuff.)
What senior developers can learn from beginners
Having to pay $15/month ($180/yr!) to be able to search stuff on my own computer for years seems awfully expensive. I'd rather depend on some simple open-source piece of software that I can understand and maintain if necessary.
The thing about (simple, repetitive) manual labor is that you can think about other things while you do it. There's something liberating about working a full day while being able to think about whatever you like.

You can't think about other things while you're programming. Of course, you get paid a lot more and it's easier on your body.
Facebook: https://www.facebook.com/whitehat

Amazon: https://aws.amazon.com/security/vulnerability-reporting/

Netflix: https://help.netflix.com/en/node/6657

Google: https://www.google.com/about/appsecurity/programs-home/

Microsoft: https://www.microsoft.com/en-us/msrc/bounty

More: https://www.ubuntupit.com/best-bug-bounty-programs-on-intern...
Jk rowling accused of being anti transgender for claiming that sex is real
That’s exactly what I’m talking about; you can’t reuse code on OSX and more or less have to start from scratch.