skysight-inc/HackerNews huggingface dataset:
By default, opam installs everything into the current "switch". Typically you have switch one per compiler, but you can create one per project. You can also create a "local" switch directly inside your project directory: https://opam.ocaml.org/blog/opam-local-switches/

Another option is to use the duniverse tool (https://github.com/ocamllabs/duniverse). That downloads all dependencies to the project directory, and then builds them all together as one giant project. That makes it very easy to make changes across multiple libraries at once, while keeping fast incremental builds.

And a final option is to build projects with Docker, which allows you to have separate versions of non-OCaml packages too.
Just wondering, by Apple Keyboard, is that the same as old Scissors Keyboard ? And by Magic Keyboard, you are referring to the new Keyboard on MacBook Pro 16"?
> One downside of ddg is that they do a worse job at filtering our conspiracy theories

I'd argue that's not particularly a bad thing as it means there's less censorship going on.

Even if most conspiracy theories are completely bonkers
> Don’t expose the proxy to the world or attackers will be able to interact with your home devices

Or use it to get stuff on the internet that they don't want to get directly themselves. Once upon a time I accidentally enabled open proxying on the web server on my Linux box. This was before smart phones and tablets and such, when my Linux box was the only network client I had, and so I didn't have a NAT router. Just modem straight to Linux box.

One day I checked my Apache logs to see if my extremely low traffic web site had any visitors.

First impression: "What the hell is all this traffic? This is orders of magnitude more than I should have!".

Second impression: "Why the hell is someone trying to get horse_fucking.mov from my server?".

Third impression: "That didn't give a 404. Why is my server actually providing horse_fucking.mov?".

(No, the orders of magnitude extra traffic were not all people getting horse_fucking.mov. There was a whole plethora of bestiality titles, plus a lot of other porn that you would not want to fetch directly from your own IP address either out of embarrassment if you got caught or because it was almost certainly illegal).
Well the idea is the same, but since a Latin letter only has 2 or 3 strokes, rather than 10, it’s a completely different story.
And now they don't find it, because of bubbling and removal of "non authoritative sources" - whatever the fuck they decide those are this week.
Presumably DDG either pays MS for the search feed or has some sort of ad sharing agreement. So MS makes money either way and is banking on DDG cutting more into Google than Bing market share. Strategically I suspect MS cares more about Google not having a search monopoly than the money Bing makes them.
Great summary! Let me add that the Lightning Network is also related.
See also:
Qwant.com
Startpage.com
Searx
Neocities is a great place to at least start if you want a static site. You can just create an account and get to making HTML/CSS or just deploy static generated pages to it. It also supports custom domains.

If you want something more advanced, you can easily pivot from it to some other hosting.

https://neocities.org/
The interesting thing also was that most of these play styles were forced to work together also. E.g. you couldn't be a fighter without blacksmiths to make armor and weapons, and you couldn't be a blacksmith without miners who were gathering ore. Because leveling up in one skill caused your other skills to atrophy at a high level, it prevented players from being able to become isolated from each other.
Ok, thanks, I misunderstood you. It was absolutely not intentional.

That said wouldn't it be risky to bring someone you hardly know on as cofounder?

Does anyone here have good experience with that?
If you consider it moral to block first party ads on Google, most adblockers should prevent ads from being loaded. Are you using one?
> Add to the list in as many different mind spaces as possible

Thanks for this suggestion. I've mostly been trying to think of names while sitting in front of my computer.
Maybe. There can be a problem with the size of that premium.

Suppose end consumers think fixing this is worth $50 but not worth $100. If the outfit selling a "SmartTV" gets $80 lifetime value from the "SmartTV" features like forced advertising and margins are slim you probably find you can't offer this "dumb TV" for $50 extra without losing money, and you have no customers and go out of business.

On the other hand, it could go pretty well. We know advertisers see people who buy premium products (which such a "dumb TV" would be since it costs extra) as more valuable in a lot of categories, so maybe you charge $50 extra for the dumb TV and - as it takes off - that undercuts the advertising income of the existing products, so they have to raise prices to remain profitable and that actually improves your affordability compared to the market. Or else they make advertising even more intrusive and pervasive to keep the revenue up, and it makes your $50 premium appear a bargain by comparison for those sick of advertising.
I don't recall if Mario was the first, but it certainly was my intro to Tesla music.

I still go back and watch it about once a year. The only maker in my high school was way into Tesla coils, and I have been Team Tesla (Tesla vs Edison) from the first short form biography of Tesla that I read.

One of Tesla's craziest inventions, to my mind, was discovering that, given the right conditions, a human can survive both high voltage and high current. He developed circuits to increase the frequency of the electricity (I believe a version of that strategy is applied here?), and if the frequency is ridiculously high then the skin effect puts the electricity into your epidermis only. Wikipedia says that 1GHz in copper is 2μm https://en.wikipedia.org/wiki/Skin_effect. I sincerely hope nobody has measured this in human tissue.

Reportedly, it makes you tingly.

This invention is bittersweet to me, because I feel this also marks the beginning of Tesla's transition into canonical Mad Scientist. He figured it was therapeutic and exposed himself to these fields routinely.
What do you mean by content farm?

I'd argue the opposite about using managed hosting -- a self-hosted WordPress site is more likely to outlast one on managed WordPress hosting for the sole reason of cost. Managed hosting is significantly more expensive, and justifying that ongoing cost may cause the owner of the site to discontinue it sooner than they would otherwise.
I feel like you could ask similar "why" questions about everything design-related. "Why is no one asking why good-looking, modern designs are necessary?"

Many people interpret quality of design as an indicator of content or product quality.

To address your particular question, depth creates a more realistic and visually interesting representation of information on a screen. It can also serve to indicate the priority of information on a page. If depth draws your eye to or away from a particular element, it can help to achieve the designer's goals.
> To make the same product in 1997 would be difficult if not impossible without very deep pockets.

And likely 10-100x the quality and reliability, and without needing to sell every bit of your personal information. Has anyone stopped to ask, maybe we just don't need all of this software?
The standard text on the matter is "Rocket Propulsion Elements", by George Sutton. Another recommended reference is "Design of Liquid Propellant Rocket Engines" by Dieter K.Huzel and David H.Huang.
Tracker/analytics data won't be correct for Firefox or people using privacy-centric browsers as they inherently block that. I think it'd be hard to get a real number without polling a lot of people.

A lot of people assume Chrome has the monopoly based on looking at false analytics.
OK - thanks for clarifying! I was wondering if there was some objection beyond privacy and control (which are certainly sufficient in-and-of themselves!).

> evil science publishing parasites (you know the names)

Not being part of the scientific community, I don't - but I trust you that they exist!
I believe the controversy is whether an example of this happening in real life has been found. Several possible instances have been pointed at -- e.g. during the Great Famine in Ireland -- but none has yet been fully accepted.
Could you imagine? That would literally look like some kind of high tech war with the gods.
It seems reasonable to me to request that the entire anthology of AC/DC be given the same treatment.
Show HN: A fun chore and routine management app for children
I am not against the need for data privacy, protection, etc., but got this question when looking at this.

How much people got rich from Google - by quickly accessing the relevant blogs, articles or information, finding answers to the questions, code snippets and so on?
No, because,

* You probably got a review on your change before it was submitted, so you weren't the only one to think it was an ok change to make

* If you "revert first, ask questions later", you might also be the first one to fix it

* Hopefully the team recognizes that there are higher-order causes that caused your submit to break things than your own personal skill
Prince Andrew says statements on Jeffrey Epstein were refused by US prosecutors
Lisbon to Rein Back Car Use with 34 Miles of Pop-Up Cycleways by September
Microsoft offers a Bing API [1]. So Microsoft is getting paid by DDG for using Bing. Given Google's domination of the search market, I think it makes sense for Microsoft to sell their search API and let other companies help chip away at Google's user base.

[1] https://azure.microsoft.com/en-us/services/cognitive-service...
I'm just going to say that the (1998) combined with calling the technology "obsolete" makes me a bit sad, since I was still using a dot-matrix printer then as I couldn't afford a new inkjet. I had to wait until morning to print out my papers if I procrastinated too late the night before!
> you might as well be asking why not standardize around Word.

The comment I was replying to specifically called out Google Docs as bad, so that was what I was referring to. I agree that they appear to have mostly-similar features (though, to me as someone who doesn't use either as a Power User, GD seems to be more focused on online collaboration, and MW on local editing, the output of which is then shared)
A secure and private open source alternative to Alexa
Funny you said that, today I noticed DDG seems to have changed some location thing.

At the top bar, it seems to state specifically the UK being the location. Searching for things like amazon seems to also return amazon.co.uk rather than amazon.com.
I've heard Legends of Aria has many things that UO veterans enjoyed about UO. I personally can't tell you how successful it is, given I didn't play UO.

EVE and WoW cater to very different play styles (even and especially between each other), so "better MMO" is a loaded question with a diverse number of answers depending on your intended play style and what about an MMO you are looking for.
Perhaps such platforms aren't necessarily about selling advertising. Gold mine for big data analytics though!
This is fun, thanks for making that! There's a treasure trove of Al Jaffee's work that can be shared with future generations.

Al Jaffee just retired at 99! Here's article on his retirement, which is also linked to from the original site: https://www.washingtonpost.com/arts-entertainment/2020/06/06...
Riddle&Code Is Hiring DevOps Engineer and Front End Developer
I have a hard time sorting through the ml logic vs the game logic, it would really help my learning (and others too) if the game logic was decoupled from the ml logic into 2 separate files.
I’m not sure what you mean. Clearly the current forms of the lowercase letters are correct, what do you mean? Do you simply mean that they _could have_ looked differently? Sure.

I can’t open the link, but yes, stroke order makes a big practical difference for learning, and of course for cursive.
Yes I agree about us having some difficulty in properly communicating what's going on. It was a very dynamic situation. It was just a bunch of passers by jumping in to help in whatever way they were able or thought appropriate at the moment.

I don't know what would have been, so to speak, appropriate and would have been effective. The one thing I knew to try was to do the wheelbarrow and that did nothing at leas in attitude of the pit bull. I was totally focused on my not being excessively injured or letting the other dog be torn apart and didn't organize anyone else's interaction, like "I'll hold the legs and you kick it."

If anything it was the opposite of bystander syndrome where everyone thinks someone else will do whatever is needed. Everyone there was doing whatever they could with the tools and knowledge or lack of knowledge that they had.
> And no, the actual HFT stuff is written in C++

This is how I know you have no idea what you're talking about.

Source: been working on low-latency HFT Java apps for shops like Goldman Sachs, Morgan Stanley, UBS and others for 10+ years.

Not going to reply any more. Not worth it.
Ask HN: What is the smartest career path to take?
I'm mid-twenties working as a Software Engineer. I'm still working at my first job out of college and making just about $80k. Not FAANG salary but supports my cost of living as of right now.

Currently, my job is very easy (mostly spikes and research) and extremely flexible. We basically spend time just researching the latest hypes in the tech industry and seeing if the company can offer products in the space.

As I said, it's easy, but also pointless and kinda boring at times. But I deal with it, nonetheless.

My question is what would the smart thing for me to do next? I'm still in the stage in life where I'm searching for "happiness and fulfillment" and want to try new things but I am also afraid of making dumb career decisions. Just for context, outside of work I mainly focus on my other interests (politics and government, filmmaking and socializing).

Should I:

1. Try to find a higher paying job? Bite the bullet and challenge myself to get a $100k salary job? I guess that if I'm going to be bored at work, I might as well be bored but making more. But I also know this will probably mean I will have to put in more work than I'm accosumted to. Also, I have a great work life balance that I would hate to lose. (I'm stricly 40 hours). But I'm also cautiously thinking how your earning potential lowers as you age.

2. Stay where I'm at and spend that extra time developing in the non-career areas I care about. I.E, getting more involved in my government and filmmaking stuff.

3. Start a business? Something I've spent the last two years researching and wanting to do, but I just don't have any ideas/problems to solve.

4. Something else?

Sorry if this is a dumb question. I wish someone would make a guide for young people titled, "how to suceed at your life."
How does Duck Duck Go make money? I clicked around their site for a while, but didn't find anything.
> The sheet of paper led to the creation of I’ve Got a Fang, a crowd-sourced site where people could contribute authoritative URLs on particular subjects. Weinberg, who lives in Philadelphia, believed the knowledge from people’s heads could be better than Google’s algorithms.

Google initially was bootstrapped by crawling such curated lists. Now that people are relying on search instead of curating their own lists search quality is starting to decline. So I'm going to make a prediction. Federated knowledge bases with curated links are going to make a comeback because only humans can create semantically meaningful content for other humans.
>It is scheduled to be posted Monday morning on “Dash,” Harvard’s preprint server for medical papers.

>On Monday morning the website for "Dash" suffered a temporary outage.

A link is provided, draws a blank page for me:

https://dash.harvard.edu/handle/1/42669767
>Good teams don't blame individuals. You can praise individuals, but you take blame as a team.

I could not agree more with this statement.
This is how you get more "trendy" designs than something timeless when fundamentals are thought through.
That's good to know, thanks. I had a lot of bugs with Ubuntu 20.04 that weren't present in Pop, so I stuck with the latter.

My goal is to reach stability with Slackware (probably when 15.0 is out) or Void (currently buggy on that build). I prefer KDE Plasma to Gnome, but System76's customizations really make it useful for now.
I like DDG as much as the next person, but does anyone else think that Mozilla should offer a privacy-friendly search engine? I know it's a big part of their revenue model, but it seems like a core piece of internet infrastructure that should not be so open to monetization.
You need to put in place processes that scale. Your current support system doesn't seem like it's scaling well (based on what little context you provided us).

Do the ROI calculations and figure out if you need to hire more. If you can't hire more then you can experiment with a distributed rotational responsibility for that task (Increase pay of your team if needed).

You can put guard rails around the unpredictable.
DuckDuckGo pays money to Bing to use their API [1], presumably enough to outweigh any loss of revenue. DDG also uses Bing's ad network, so Bing makes money regardless of what engine a search is made on.

Also, there's speculation that Microsoft is starting to give up on getting wide adoption for Bing among consumers [2], and given Bing's low market share, Microsoft has probably determined that Bing is never going to get widely adopted enough to the point where having a deal with DDG would be a bad idea.

[1] https://help.duckduckgo.com/results/sources/
[2] https://futurism.com/the-byte/microsoft-giving-up-people-usi...
Awesome (on MacOS Chrome)! Really neat what you can do with CSS. And thanks for the shoutout for Al Jaffee!

BTW: Does anyone know if there's an archive of the german mad magazine ? The translation is an experience in itself, and while I found a commercial CD with all the mad archives in English, nothing for German.
my favorite trick regarding the Maillard reaction: use baking soda to speed it up [1]
[1]https://blog.khymos.org/2012/06/04/maximizing-food-flavor-by...
What I mean by pythonic is the "batteries included" paradigma: if you want to — say — quickly script something up that does some time calculations you just go and import datetime. There is no need to research what datetime libraries are ok, download and install dependecies etc. You are able to go and (with the included batteries) solve your problem.

I wish I could just as easily say: ahh this script I made should become a package that I can reuse on my server. But then the server has Python 3.6 while your script has 3.8, so you end up installing another python, painstakingly watch not to install over the old one etc. When installing modules you have to do the same or set up a venv/pipenv.

All along the road there are possible ways to shoot yourself into the leg. Meanwhile in Rust you do a cargo new foobar, work on it, add dependecies to the cargo.toml, copy it to the server, build a binary with cargo build --release and copy the binary into the PATH. You spent zero brainpower on not breaking things and had capacity to think about other stuff.

The closest thing we have in those terms in pythonland is poetry, which is a very good start. But this should be part of the language, not something one has to do extra.
I would add that that, when you don't have a lot of money to work with, operating on a cash basis makes controlling your budget a lot easier.
Names are arbitrary labels. For an internal project, it can be anything - absolutely anything. Your favorite national park, your favorite movie star or cartoon character, your favorite mathematician, something completely random, something vulgar or crude - anything. Just pick a name, and roll with it.

For an external name (company and/or product), names are still arbitrary labels. But you need to avoid trademark violations, and you need something that will attract customers rather than repel them. So avoid the vulgar and the crude. As for actually attracting customers with a name... that's marketing. I can't help you on that.
> And the NHS has been in hot water for handing out sensitive patient data to tech firms before.

Without the perspective of someone who works in the NHS with Palantir's software, it's impossible to say if the NHS and the public got a good deal.
Sounds a bit like the Rope data structure from 1995: https://en.wikipedia.org/wiki/Rope_(data_structure)

Although instead of a list of chunks, a rope is an immutable binary tree of chunks, so more editing operations are efficient, eg insertion or deletion in the middle of the rope.

Abseil library contains an open source C++ implementation of a similar structure called a Cord: https://github.com/abseil/abseil-cpp/blob/master/absl/string...
Commodification
If someone is still reading this:

We're the developers of TheKnob.

Please tell us how would you like us to improve the knob itself?

Would you buy it?

Would you like to see it as a DIY kit or ready-to-use product?

We're using plastic for the bottom frame now, maybe we should consider using aluminum or wood frame?
Bison Trails | https://bisontrails.co | NYC | Full-time | REMOTE (US)

Bison Trails is pioneering blockchain infrastructure, and we are looking for exceptional engineers to join our highly-skilled and passionate team headquartered in New York City, but working all across the country.

We're a Golang/Kubernetes shop with many production k8s clusters across multiple regions and cloud providers. At our company, infrastructure is the product. We're solving a variety of challenging infrastructure problems while staying on the cutting edge of the blockchain space; We're helping new networks launch testnets, engaging their communities, and most of all helping customers easily launch nodes on our supported networks.

We're looking for a variety of roles, including:

* Security Engineer

* Experienced DevOps Engineer

For a comprehensive list of roles and links to apply, see: https://bisontrails.co/about#hiring

Feel free DM or e-mail me directly: rob - at - bisontrails.co
Intriguing. Are these public repos? Care to share some examples?
Stream cipher preserves bit-flips between ciphertext and plaintext, which is useful property for this application.

And many “military/diplomatic” ciphersystems used in second half of 20th century have various interesting properties wrt. error correction or non-propagation. My suspicion is that these properties are built by doing MAC-then-FEC-then-Encrypt and in some cases even by relying on limited error propagation of CBC mode. If you think about it, for these applications reliability is more interesting than strict authentication as the ciphertext of diplomatic “cable” or similar thing is sent through somewhat noisy channels and often was manually handled by fallible human radio operators while active MitM was not exactly feasible attack.
Content farm means that someone takes over the Wordpress installation via a vulnerability that the owner of the installation did not patch. Then they put their own material to extract the google juice for their links until Google catches up and penalizes the domain.
Maybe you tried it before v2? Imho opam now is very usable, lets you be productive for 95% tasks after reading a 5min introduction, and generally gets out of your way.
Correct. The list price for the Bing web search API is $30/10,000 searches. I wouldn't be surprised if DDG was also able to negotiate a volume discount.

In addition, DDG serves ads from the Microsoft ad network, so they will also make money there.

Also, worth noting that Google provides the same type of service through API. I built a search engine [0] where Google web results are one of many sources used.

[0] https://www.runnaroo.com