skysight-inc/HackerNews huggingface dataset:
It may be because I'm not an expert that I think I understand, but the gist of making a model explainable sounds straightforward from what I've read. You train a model that does who knows what, and then you define a very limited language and use ML to match the first model as well as possible. If the language is simple enough, humans can understand it, and according to what I read, it likely generalizes better than the original model as a bonus. I assume it's harder than it sounds though.

Quote:

"1. There’s a tiny functional language based on a small number of side-effect free combinators

2. For a given task, a program template (which the authors call a sketch), further constrains the set of programs that can be learned for the problem in hand. This also very handily constrains the search space of course, helping to make learning a suitable policy program tractable.

3. To help guide the search within the set of programs conforming to the sketch, a standard reinforcement learning algorithm is used to learn a (black box) policy.

4. The black box policy is used as an oracle (the Neural Policy Oracle), and a neurally directed program search (NDPS) tries to find the sketch-conforming program that behaves as closely to the oracle as possible."

The paper described:

http://proceedings.mlr.press/v80/verma18a/verma18a.pdf

...this seems kind of similar to the recent success in solving mathematical equations using deep learning. The language translation paradigm seems to have a lot more potential than some realized.
Now that you mention it, probably, yes.

Still, $38.5M/year?
> I posted the solution below,

Sorry to be "that guy" but for me the solution is to use DuckDuckGo.

It's not perfect, but neither is trying to play arms race with Google's JavaScript.
I use it all the time for entering IP addresses, numbers in a spreadsheet, and doing quick math in a calculator.

My current keyboard doesn't have one (it shipped faster and that was more important to me at the time), and I really miss it, and I'm thinking of getting a separate 10-key. I thought it wouldn't miss it that much, but I use numbers frequently enough that it's noticeable.

I wish keyboards had removable 10-keys so I could save space on my desk until I need it. Likewise for page-up (etc) and arrow keys.
Many large OBO ontologies use EL++ reasoning (e.g. Elk), performing DL reasoning on smaller chunks (e.g. relations). Having said that newer reasoners like Konklude apparently do well with DL reasoning over combinations of large ontologies.

For "data" / ABoxes we have had a lot of success with the RL subset. We use this a lot https://github.com/balhoff/arachne

But ultimately it depends on what you want to do. In the life sciences subsets of FOL only buy you so much, and some kind of statistical or probabilistic inference is required. Mostly this is combined with logical inference in crude ad-hoc ways...
At this point GOOG is just another legacy company ready to be disrupted
The phrasing I heard in the US is "be careful what you wish for, it might just come true".
I don't get it. They say "Ad" on them don't they?

The picture of the search results doesn't even show any ads in it.
so I told them how to X

No, you didn't.

What you probably meant is "run it from cron, or create an OS service that starts from init.d/systemd/whatever". Which answers the question, but isn't very impressive from a technology stack.
eh I'd say make your life easier and use lambda or fargate.
Affiliate Marketing Using WooCommerce
This amounts to racketeering. Given Google’s power. If you want to find a particular brand name, that brand name has to pay up for the ad space or their competitors will take it, and either way, Google makes money.
Last time I used android there as no option for disabling location tracking as they had removed it a few major versions prior. Instead you had "enabled" and "kind of disabled, but not really" options
Note however that "Windows 10 Pro" is not one of the reduced-crapware editions.
From "intentionally" I would guess a social network DNS blocklist that he self-configured, although it could also be a workplace policy.
You can back them up locally.
Everything that's hard in Rust could be solved by GC.

With Rust, programmers have to spend most of their mental energy worrying about management of memory, which has largely been automated already.

I always go back to this quote from Andrei Alexandrescu (creator of D):

A disharmonic personality. Reading any amount of Rust code evokes the
joke "friends don't let friends skip leg day" and the comic imagery of
men with hulky torsos resting on skinny legs. Rust puts safe, precise
memory management front and center of everything. Unfortunately,
that's seldom the problem domain, which means a large fraction of the
thinking and coding are dedicated to essentially a clerical job (which
GC languages actually automate out of sight). Safe, deterministic
memory reclamation is a hard problem, but is not the only problem or
even the most important problem in a program. Therefore Rust ends up
expending a disproportionately large language design real estate on
this one matter. It will be interesting to see how Rust starts bulking
up other aspects of the language; the only solution is to grow the
language, but then the question remains whether abstraction can help
the pesky necessity to deal with resources at all levels.

RAII and borrow checking is a crutch. You just limited the set of programs you can write to those that can be written in the block-lifetime-scoped manner, which is smaller than the set of good programs (see: pretty much any graph-heavy data structures). The limitations of this programming model show up everywhere, like in the way closures have to be implemented.

There will be more innovation in GC that will make manual memory management even more useless. In a lot of cases the JVM does a better job of freeing memory than a programmer. I don't want to spend my time programming worrying about the same thing (memory) that K&R did in the 70s. I don't want to bet against innovation and technology.
Self-Driving Cars: Disengagement Is Not the Best Way to Measure Readiness
Zero days are plentiful. But there are only a handful that you could buy today which could potentially give you access to a CEO's phone. The only other option is to build your own team to find a zero day for you, which is not cheap or quick.
I guess it depends on where when and where you ride the bus, but every time I get on a bus in San Francisco its overflowing with people to the point that they have difficulty closing the doors.
I'm glad you now agree that one can indeed have information about whether something is possible.
WhatsApp is storing unencrypted backup data on Google Drive
Yes, that was the first thing I had to do when starting a project. Create a file called pi.php that ran that very function and scan pages of configuration looking for a specific key. I would have to do this not once but many times, whenever I thought I was losing my sanity because some random extension wasn't available or the configuration enabled something unpredictable that I only found out about at runtime (e.g. magic quotes was a perfect example).
> Apple has a balance to strike between the issues of encryption, privacy, and law enforcement [...]

No, they do not. If Apple wants a reputation for privacy and respecting its customers, then it has to put them first. Don't apologize for them making this user-hostile choice.

We could be merely a generation away from the hell hole that is social credit. We can't afford to keep ceding ground on privacy. We have to engender a sense of importance and urgency.

I'll be very mad at the rest of you lot that choose convenience over privacy, rights, and autonomy if 2030 sees our freedoms and liberties eroded further.

Our collective choices matter, and that's why I'm calling you out.
Perfect example of how "do one thing and do it well" is a lie.
Just as FYI - Roam is built in Clojure/Clojurescript and we're hiring
Isn't the reason we are freed from barter in daily life is because the government is intimately involved in the financial/banking system, and regulates it and issues money and so on? Maybe we continue to struggle with the internet because it started out unregulated and has never really transcended that because people insist on thinking freedom is best for commerce without appreciating the nuances.
No need to explicitly set FS! Just use:

echo test,123 | awk -F, '{print $1}'
I wonder what size the supply is. How many could you buy immediately or over time?
Is it just me, or does it not even have Wuhan?
They say it's not a concept car; their intent is to put it in production. They need to get some approvals and exemptions first.

Edit: More details in this video from The Verge: https://www.youtube.com/watch?v=X3E7p4S_1m4
"I wish keyboards had removable 10-keys so I could save space on my desk until I need it."

The Microsoft Sculpt Ergonomic Wireless comes with a separate number pad, which you can place wherever you like.
Interesting project. And it's great to learn about your company. My project, Amezmo [0] is providing a similar service, but focused exclusively on php hosting along with continious deployments and managed databases. We bundle deployment and hosting. I've been working on this since 2018.

[0] https://www.amezmo.com
Rust's cargo CLI includes subcommands for testing and benchmarking.
This is so thorough and so rad...thanks for sharing. Had no idea about those masked reddit feeds...hilarious!
Thought about this too...the whole headphones in class thing is confusing haha
Well,

> To protect the data that is not covered by end-to-end encryption, Telegram uses a distributed infrastructure. Cloud chat data is stored in multiple data centers around the globe that are controlled by different legal entities spread across different jurisdictions. The relevant decryption keys are split into parts and are never kept in the same place as the data they protect. As a result, several court orders from different jurisdictions are required to force us to give up any data.

https://telegram.org/faq#q-do-you-process-data-requests

If we register Telegram, Telegram has our master key. I am not sure they are really that secure. Yes, it makes politically hard to disclose any data, but it does not mean impossible.
I enjoy this sort of craftsmanship in software.

It's also a very practical way of assuring wide adoption.

A weird side-effect is that it makes mediocre software just that much more annoying and easy to bail on.
Interesting.

Although as someone who has been a part of a few volunteer moderation efforts. I've found that moderators don't always act in the best interests of the community (even when they think they are doing so) and sometimes become greatly detached from the non moderating community.

It's a sad truth that those who REALLY want to moderate, are often pretty bad at it.

A moderator council could be it's own field of landmines.
As an additional plus, you can apple-click "builtin" functions from inside of VSCode and drill into core libs for debugging purposes (adding breakpoints, log statements, etc). I've done this on a number of occasions to quickly get the result from an external HTTP request, etc. Go truly feels like a hacker's language that lets you get under the hood really easily when necessary.
Came here to suggest Streaks, I've been using it for a few months now. My favorite features are:

- Streaks that track Apple Health data. Really nice job with the integration. I use this for tracking daily calorie, macronutrient, and workout goals.

- "X times per week" streaks. I take rest days from working out, so it's nice to have an abstraction that doesn't treat them as failures or breaking the streak.

I guess I should go give you guys a good app store review now. Thanks for making this!
I love that there are people whose hobby is preserving things. SNES was an important part of so many 80s and 90s kids’ childhoods! But how many of them have digital logic experience, especially at the reverse engineering level? And actually want to do it outside of compensated labor?
with that model it’s harder to have exploits

The PHP community's track record on security is abysmal compared to all those other environments that don't throw away the world.
Thanks all! Didn’t know about vaporsynth.
Are you implying this replaces mass transit? I don't understand how that makes any sense. Why didn't cars replace mass transit? Why hasn't Uber killed mass transit?
So it’s difficult to get data off of your device - even though you can get pictures and video off of your device like any camera and most other documents are stored in their own folders on iCloud - that you can get to either using the iCloud Drive app for Macs or Windows or by logging into iCloud.com.
I do the same thing when looking for product reviews or useful discussion- generally put "xxxx forum" or "xxxx reddit" etc.
This isn't new technology. SiBeam came out of Berkeley Wireless Research Center in the mid-2000s. They had mmWave phased arrays from the start (60 GHz is pretty much useless without a phased array, or a large dish antenna if you're outdoors), but in 15 years, they never managed to find a compelling consumer use case.

I think at that point, the burden is on the company to prove its value.
I did a little testing, and found that Google Images still uses the old UI with these user agent strings.

I also found another, even simpler mobile UI available with this user agent string, though results seem to be sent through a mobile-formatting proxy operated by Google:

Mozilla/5.0 (PlayBook; U; RIM Tablet OS 2.1.0; en-US) AppleWebKit/536.2+ (KHTML, like Gecko) Version/7.2.1.0 Safari/536.2+
>drop the faux-contrarian cynicism.

contrarian cynicism is all i do. there is nothing false about it, i assure you.
Or you can specifically turn off iCloud for iMessages in settings....
I'd say that it largely depends on what you consider table stakes for "desktop" these days. OpenBSD has a surprisingly credible and coherent desktop story as far as it goes, though at this point you'll probably be disappointed if you expect anything resembling cutting-edge GPU or Wi-Fi support (they're not sitting still on those fronts, it's just a lot of work to keep up). Gaming in general will be a challenge outside of emulators and other open-source runtimes (ScummVM, fnaify, LWJGL, Ren'Py, etc.).
> You just limited the set of programs you can write to those that can be written in the block-lifetime-scoped manner, which is smaller than the set of good programs (see: pretty much any graph-heavy data structures).

Given that most of my Rust programs have involved graph-heavy data structures, I'd like to see you explain why it's impossible for me to have written what I have written.
http://stackkup.com
Maybe. But the more well-off people crawl into cocooned experiences, the less they care about public infrastructure. Look, for example, at how suburbs not only often lack public transit themselves, but work to fight regional transit.
I appreciate that argument and in some/many situations it is likely true, but in others it is not.

What matters isn't people per square foot, it's throughput. And the larger the vehicle, the more likely:

a) people are to want to stop at each stop,

b) multiple people are to get on and off at each stop,

c) the less likely it is to be full, and

d) the more awkward and slow it is in maneuvering on streets.

A/B/D all delay every other passenger, and make 3 mile trips take half an hour through a city.

Cruise Origin isn't the only autonomous bus. The great thing about autonomy is that it allows us more degrees of freedom to optimize transportation needs including offering a variety of shapes and sizes and densities, while removing the labor cost and the physical space cost of a driver.

You can just as easily design an autonomous bus to have density to match a larger bus while retaining the footprint of smaller vehicles, which improves all of the above issues with larger busses.
Why Google Thinks We Need to Regulate AI
> "Just to understand this better is it that Apple is misleading or the public is uninformed?"

That's a false dichotomy. I'd say both are true. Both are usually true.
but it's the truth and if you're seriously unaware of it you have a big problem; DDG, Brave Inc and some other companies have been doing this on a regular basis for a long time. You guys should start charging them and at least make some money off allowing these organized shilling parties.
People always say "why, why not micropayments"? Micropayments require even smaller transaction fees. Really small transaction fees require centralized regulation and economies of scale, i.e. government control and monopoly. You can't have your freedom and your frictionless markets both. The more anarchy, the more expensive buying and selling is, and the more business models and options for wealth creation simply can't work.
Dear OP: here's some career advice: you're not thinking right or doing right if you can't figure this out for yourself. Just like I've said on reddit's lpt form reality is you gotta figure it out for yourself and stop shopping your life around on the internet
OpenBSD:

SIZE RES

47M 41MB Xorg

2324K 9328K cwm
> Internet Archive is having a Dweb meetup tonight FYI if you're in SF

I'm not even being flippant here, this is an earnest piece of feedback.

Please don't call yourselves `dwebs`. That's just asking for people to not take you seriously.
It already is in the market, just that it is not usually sold as a standalone product like Leap Motion. Through wall imaging using WiFi imaging is old news. Also, for gesture detection specifically, radar chips are often preferred over hacking WiFi firmware/additional signal processing.
good spot, i miscalculated.
Why should public transit have to pay for itself? The downstream economic benefits of mass transit are enormous. Expecting transit to break even is a recipe for poor service
No, the content on wikiHow does not deliver. It promises to help you learn how to do something, and I have never successfully used a wikiHow article to learn how to do anything. The content is so low-quality as to be useless.

And "it's a wiki" isn't a defense. What is my motivation to improve it? Nobody trusts wikiHow anyways, so contributing would just be creating more content that nobody should trust.
I can't see how anyone who can touch type would want to use this
I use DDG as much as I can but when I need to find something very specific, or find a solution to a bug Ive encountered, it takes 2x as long on DDG vs Google
There is absolutely no information about this on the site.
I agree. The moment I saw this was the moment I configured my browser to use DuckDuckGo instead of Google. Good riddance.
Have you found many billion-dollar ideas by following this ad-testing methodology?
Unfortunately, for large files perl is significantly faster than awk. I was working on some very large files doing some splitting, and perl was over an order of magnitude faster.
Millennials’ share of the U.S. housing market: Small and shrinking
It's an advantage and stateless is great for scaling[1]. Loading configuration is a pathetically small sliver of your execution time budget.

[1] https://12factor.net/processes
This is probably the last thing to knock Cruise on. They've hired a lot, a lot, a lot of good people on the security front
> Why can't we just invest in buses?

True fact: Not everyone who needs a bus is able to get to a bus stop, which is why cities have door-to-door paratransit services. Does it make you feel better if this replaces that instead of replacing buses?
Playwright – Node Library to Automate Chromium, Firefox and WebKit
I don't think it is recognized how much these individual governments make their own decisions.

Saudi Arabia, UAE... many of their own actions in Yemen, Egypt, Lybia have been taken on their own initiative. They don't ask for or require permission and they're not immediately submissive to the US.
I think the OP makes it clear that this nuance is actually quite tricky in a native systems language like Rust.

A good example in C++ would be:

- A function (non capturing/lambda) is created with

auto f = [] { ... };

- A function (capturing/closure) is created with

auto s = "...";
auto f = [&] { s; ... };

In source code both of those look similar and you can even define them with the same type: std::function<void()>

However, the resulting assembly for both couldn't be more different. The Lambda case is as raw as any normal C function type, which the closure case creates a C++ class that closes over the outer method's state. If you're not a seasoned C++ engineer, this nuance will be lost on you.

It's fair to say that everyone should understand Lambda Calculus rules, but that makes the language less accessible to new-comers. In the case for non-systems languages, you can blur the lines with ease, but something Rust and C++ just cannot afford to do. That makes understanding the nuance important to be effective.
Is this the official launch?

Tildes is great, glad it’s getting exposure here. It was interesting watching the community unfold on a subreddit before eventually migrating over to a hosted third party site.
Firefox is a little lacking in that department. Chromium based browsers on the other hand, anytime a search is used on a page, that gets added to the list in your browser's options.

For example, just used HN's search bar, and there it showed up in the options ready to customise keywords to my liking (if I wanted to change it).

Before anybody claims it's an additional step, it's not. DDG requires you to know what the keyword is before you use it, which is the same as having to use the search on the site before. So I guess I agree it's a killer feature if you exclusively use Firefox for the time being.
Parsing Uspto Patents to Create a Free Labeled Dataset for NLP Tasks
One of the devs here - totally true, our help docs and landing page don't really show half of what you can do. Help docs have a lot if you dig around though.

Heres a link

https://roamresearch.com/#/v8/help/page/1wnq-ZAAN

Really appreciate users like pps who do the work of figuring out how to make Roam work for them at this early stage.
Datalog :)
Pretty brazen? Don't forget that the WP reported that US intelligence intercepted comms from Saudi officials discussing a plan ordered by MBS to lure Jamal Khashoggi from his home in Virginia and then subsequently had him cut into pieces in an embassy.

Hacking a phone is small potatoes.
HTTP: //Allpills4u.com/Nutralite-Keto/
NutraLite Keto: So work with olive oil for whenever you require oil for lower heat methods, for salad dressings, as well as for other raw applications. There is a handy metabolic rate calculator included in the program. You end up like Snow White's favorite dwarves are running your life Sneezy weight loss Grumpy Sleepy and Dopey! You need to allow for some tolerance with this type of process. In a very materialistic world, we have gotten used to measuring our wealth in money terms and give very little thought to the very real things that determine how wealthy we are.

http://allpills4u.com/nutralite-keto/
Lessons in Authentic Content from Thunberg, Ted, Sprout, and Basecamp
Oh yeah, you got me, I forgot about that! Heh, well I do still use Google maps & Waze. So there’s that. For what it’s worth I use maps without logging in.
But in the current state of the app sharing a note shares your entire DB, its an awesome tool but I'm unable to find a way to create a secondary DB without creating a new account.
Thanks for the recommendation. I've started reading it and it's a little hard to digest with the way it's written but I'm quite enjoying it :)
Haha, boy, you're giving the flagged commenter a lot of credit with that rephrasing. The original comment was something close to "Good thing we have a fucking idiot to watch our borders."
Deconstructing Content Marketing [Deep Dive]
Yet many HNers did not know about this before today. Even more evidence how misleading Apple has been on this.