skysight-inc/HackerNews huggingface dataset:
Yeah, I've been playing with it all day, and this thread was is only place i heard about an extension- it sounds like its if you want to make it the default on chrome when you type search terms into the navigation bar

It's also pretty telling that all of these complaints are coming based on what appears to be a workaround for Google's attempt to lock you into their search when you use their browser.
Wonder If another whistleblower would have been nealy as successful blowing the whistle on Ford or GM.
I remember some saying like “the last 10% of a project takes the same amount of time as the first 90%” and I think that is very true.

I like to have a set of specifications or goals for my project before I start or else I tend to keep adding features and it never gets finished.
If they published the extension source that might be more reasonable. I assume the extension is so a lot of heavy lifting on hitting individual apps/ API's happens locally to alleviate costs or rate limiting
Recommendations for intro to Formal Methods course?
For a couple of years now, I've been noticing places where I think my team could benefit from some reasonable/pragmatic application of "Formal Methods" of software design, and have been wanting to act as an advocate for that. My job gives me a budget to spend on continued education / professional development, and I think getting a foundational understanding of Formal Methods could be useful (at least so I can explore how much / which methods would be useful to us).

Does anyone have any recommendations for foundational / overview type courses on FMSD? Interested in free courses, of course, but also looking for something to spend my employers money on, so paid courses are welcome. Thank you!
Just wondering, why did you choose a name that cannot be used as a verb and is hard to pronounce unambiguously?
Show HN: Easy RSS to Email Service
Hi HN, I've been reading RSS feeds via email for years now but wasn't happy with the hosted services available and found most of the self-hosted options to be too hard to configure (I didn't want to edit a config file or run a command to change my feeds). I created FeedMail to fulfill my needs and decided to make it available to everyone.

Key features:

- Multiple email addresses.

- Very simple templates, preserve as much source formatting as possible.

- No limits on number of feeds subscribed to.

- No ads. Our revenue model is very clear.

FeedMail is a consumer-focused service, there are many publisher-focused RSS-to-Email services for marketing campaign but the incentives are different so I am staying away from that use case.
> We can't apply 1:1 laws to crypto precisely because of this.

Why do you think the rule against wash trading is there?

Because people systematically manipulated markets with it.

> I can write a piece of code in a few minutes for all the collection I own, does not make it wash trading.

Your argument is, "I can do this really fast, therefore it's not criminal"?
I have been watching https://app.electricitymap.org/zone/DE?wind=true&solar=false for past 2 days...
Winds weak, yet even when electricity was expensive yesterday around 6PM, Germany was pushing to France, mostly coal generated electricity...
Someone cares to explain?
Thank you! It's really nice that someone sees this. I appreciate it.
There are plenty of financing options( with pretty competitive interests) that will help you amortize your upfront costs over project lifetime if your credit is good ( at this kind range any startup gets access to this fairly easily), So both options can be monthly recurring if need be.
> Outsourcing

This isn't outsourcing, this is hiring to work for the company's own teams based in the US.

> offshoring

This isn't offshoring in traditional terms, the projects stay in the US and are managed from there, with team members from all over the place.
So, you've published your first game. What's your goal? Is it to make money from this game or do you just want people to play it? Are you going to make a second game? If so, will the goal be any different?
Yeah, but that's a bit like trickle down economics. It's literal trickling, it's not a deluge.

In these cases the top jobs will still tend to stay in the home country. So the most successful of these companies will be able to hire more top level folks and most of these will be in the home country.
Kimbal Musk (Elon's brother) already did before the tweet.

https://www.sec.gov/Archives/edgar/data/1318605/000149473121...
Especially when it is not an arcane reason at all.

There was a time when it was considered ok to have the salted and MD5-hashed password available to all users.

Then people learned to bruteforce the password and so the hash itself was moved to shadow file but passwd was left because a lot of platform software and scripts depended on it.

This may shock people nowadays but back then this was fine. I remember having to explain to the users (and sometimes loosing) the need to have a password at all.
A better (unintentional) pun would be:

Any investment that you were gassed about a few months ago would be doing well.
Same happens here. Normal search works fine though (using top nav bar)
Hey.
Yea. We struggle with the extension -> navbar search requirement also.

We have found that if you're not the default engine that is easily accessible from the Navbar, you will not be able to break the Google monopoly.

We also found that many people will just do a quick search for "asd" or "weather" and then leave because those searches aren't really differentiated (and just can't really be).

Our extension is 33kB and has no other features. It's easy to see the source so you can see that it does nothing interesting or sketchy. It changes the setting. You can change that setting manually and get the same effect and usage after. But most users don't know how to change a setting and you got some large 2tr$ monopoly that doesn't want you to change...
Just make sure to do something about NOx emissions, the cause of the downfall of Diesel in many countries. As long as you burn just about any fuel - hydrocarbon or otherwise - using air you'll end up with NOx as a combustion by-product. Filtering out nitrogen from air is possible - zeolites are used for this purpose in oxygen concentrators - but hard to do at a high enough capacity to satisfy the needs of even modest-sized ICEs so a post-combustion NOx capture/conversion step will be needed regardless of the provenance of the fuel [1].

[1] http://www.meca.org/technology/technology-details?id=5&name=...
> You can pay publishers directly already by buying subscriptions

But that's not how most of us access news. We look at sources like Twitter, Hacker News, Facebook, Google News for links to articles.

Subscribing to a single website doesn't work in this model.
Im pretty sure they evaluate the structural soundness of buildings.
many nuclear reactors in a lot of countries also have very low yields compared to modern reactors. (for instance, most nuclear reactors in the netherlands have been disbanded because they provided little power)
> Is your essay from GPT-3?

No need to be insulting.
And the best part is that it supports conditional logic with goto's! [success=3] mean's jump three rules ahead. Which means you can't really modify this file without considering the whole thing.

This led Ubuntu to create /usr/share/pam-configs which have files like

Name: SSS authentication
Default: yes
Priority: 128

Auth-Type: Primary
Auth:
[success=end default=ignore] pam_sss.so use_first_pass
Auth-Initial:
[success=end default=ignore] pam_sss.so forward_pass
Account-Type: Additional
Account:
sufficient pam_localuser.so
[default=bad success=ok user_unknown=ignore] pam_sss.so
Session-Type: Additional
Session-Interactive-Only: yes
Session:
optional pam_sss.so
Password-Type: Primary
Password:
sufficient pam_sss.so use_authtok
Password-Initial:
sufficient pam_sss.so

to try and make something declarative. RHEL/CentOS went the authconfig route but both ended up saying to never ever touch anything in /etc/pam.d
Yea, we'll definitely support more platforms, including mobile soon. It's on the roadmap :)
We export plenty of things. We import tomatoes out of season from south america and sell them american milk.
"... I am strongly convinced that the current society-wide policy of treating university education as expensive vocational training is a horrible and costly mistake whose main function for the overwhelming majority of students right now is to saddle people with debt."

This is not said often enough and it is a shame.

Universities are not intended to be vocational schools. They're research institutions where the value they generate is the knowledge they discover. The knowledge discovered is often frivilous and arcane with no real use outside of a very specialized subsection of a field of study. However, there's also the knowledge which is 'useless' at the time of its discovery but changes the world later on as its studied further and applications are discovered.

E.g. https://math.berkeley.edu/~gmelvin/math54f12/math110su12_gra...

I don't think there's much more to add than Turchin's ideas of "overproduction of the elites" and it rubs me the wrong way when I hear intelligent people gripe about how university credentials and research have marginal vocational utility. The problem's with a culture that celebrates credentialism and gets people to take on crippling levels of debt to avoid an impovershed future, not scholarship.
PS: You can easily change your settings in Firefox manually also:
https://youdotcom.notion.site/Make-You-com-your-default-sear...
NSFW results seem blocked. Don't have an account, maybe that is a requirement? Either way, bad.
It's not necessarily about clicking the ad, it's also about brand awareness and the subconscious effect of having seen it.

In the back of your head when you see the product the next time, you might think to yourself "I've seen this somewhere before... it's probably reputable." Or when you're in need of something, that brand's product might pop into your head sooner as something to assess.
Context needed.
This is the cost to get the tools and craftsmenship to build it, thats we lost.
This strikes me as pretty optimistic given that exactly this kind of carbon dodge has been going on for years (e.g. Europe and the US importing goods from East Asia and other countries running on dirtier fuels)
> In Austria for example, if you go freelance (self employed) you'll actually end up paying more tax than being a FTE (which has already one of this highest taxes in the EU) while losing all the benefits of being a FTE like PTO, overtime and such.

This is the case everywhere in Europe. I don't know if it's a literal policy meant to discourage this or it's just that freelancers are easy political targets since they tend to be disorganized/disunited.
1 - During my study, I visited a nuclear plant. They explained to us the plant is designed around 4 quadrants, each one capable of turning on and off independently of each other. So when one needs maintenance, you just put this one offline, and the others keep running. This way the reactor is never totally shut off, as I understand that starting it from scratch is an expensive operation.

2 - For the spent fuel, France has plenty of strategically maintained relationships in what used to be West African colonies with uranium mines. Why do you think we sent the army during the Mali war ? We cultivate those alliances because they bring a lot on the table, from resources to routes and bases. Nuclear is doubly interesting for us, because we can source it even if Russia or China decide to tell us to go to hell. In case of a conflict, this is priceless.

3 - I don't know anything about proliferation, so can't answer this one.

4 - Accident mitigation is the big problem, IMO. I've seen how they operate inside, and let's just say I'm glad the people that designed the thing were very, very, _very_ good at their job. Because the ones maintaining it have a very relaxed attitude. And the plants are pushed to produce way past their initial expected life span. But I insist, I'm amazed at how good engineers of the 70' were. Those plants are old tech, but they are incredible. However, even if the probability of an accident is low (there are triple safety mechanisms everywhere), the severity of a potential accident is such that I consider nuclear disasters a huge risk that we don't take seriously enough. What's more, it nourishes the growing anti-nuclear sentiment, so we should really get our act together.
I don't know the parent or their situation, but if you need similar security I would be very cautious about taking the parent literally. Sorry if I sound like a jerk; it sounds like the parent has taken great risks for the public good, but I don't want people to be hurt:

I'm almost certain that Tor use is easily detected; that is what I've always (100%) read from security experts and it makes sense to me: Traffic patterns, packet fingerprints (encryption implementations, size, etc.), and of course all the traffic is going to and from a Tor node, a list of which is available to every Tor user.

The attacker may not be able to read the contents or metadata, but they will know you are using Tor. Tor users are a very small population; it's a red flag.

The same is true for websites, etc. that you visit: They can easily see that your traffic is coming from a Tor exit node. Also, exit nodes are of course as vulnerable to attack as any other server, and they provide access to the ip addresses you connect with and, when https isn't used or properly implemented, to the contents of the communication.

Tor is not a panacea. Also, don't conflate Tor with Tor Browser, which I've read is possibly the worst security choice among browsers - a huge target without the resources to secure itself.
Probably because they weren't platforms with the sole purpose of being a space for free speech. The problem with these new platforms and sites is that they are generally copies, worse than the originals, of larger platforms that have the only attraction of being free from moderation.

They only see this problem and try to solve it in the worst way. Accepting everything and everyone, offering a confusing experience, financially unattractive and often need to charge dearly for it.
I'm not sure if this is satire/sarcasm. Are you comparing the power to imprison people with targeted advertising?
I avoid Chrome whenever possible. It's a battery and privacy killer. Search field worked fine in Safari.
Room for Disagreement
I think OP means setting up your own DC, for colo most of this is anyway offered by the DC partner, you would only go with something else if there is very good reason not to use what they offer.
Proliferation in the context of nuclear is the risk of terrorists or states intercepting fuel that can be refined to weapon-grade.

Some reactors don't have this risk, but I'm not read on it.
Helping Creators Understand Web3
> Just how much more productive

It's naive to measure productivity in editor startup times when developer satisfaction is way more important.

Clearly this developer values shaving time off editor start time. Seems like it's a mistake to conclude they are concerned about recouping the milliseconds.
I tried it on Chrome and it blocked me. But worked fine on Firefox.
> we'll never sell your data or follow you around the web and we'll never offer privacy-invading targeted ads.

What about non-privacy-invading targeted ads? I'm sure google and facebook would both say that they don't "sell your data or... offer privacy-invading targeted ads" so It seems like a pretty weak promise.
GPT3 Love Poems
I'm a poet and I got early access to OpenAI's GPT3 Text generator. I fed the model a few of my poems, and asked it to write some poems addressed to "My Beau" Do you feel the love?

flowers on the roof of your mouth
roses grow there now, don’t brush them away
we have no need for words tonight, instead I will cut out my tongue
I'm jealous of your breathless lungs; they are more fluent than mine. You kiss me like a phantom , I can see myself through your eyes. This dark room is a country we can’t leave.

His skull is a birdcage of bones and skin. I'm not saying he’s ugly, I mean his skeleton has good bone structure, good brow lines—so much so that it looks like an aviary for his mind to nest in.

in winter when it rains after sunset I think about you,
in spring when it's sunny at night I think about you,
are there even stars out right now?
in summer when it's warm at noon I think about you,
do trees shiver around me or am I still hot from yesterday?

the city is full of men who look like you
and I don’t know how to tell them apart from you
except by the sound your bike makes when it locks
because that is a noise that only belongs to you
and I can hear it from anywhere in the building,
even while lying in bed
pretending not to have heard anything

I want to be a bike messenger in the ‘90s and you are my boss, an investment banker, with a heart of gold. You look like Tom Cruise in Interview With A Vampire. We meet on Tinder and fall madly into love at first sight but then realize we live too far away from each other

sunlight breaks in the afternoon, I soak up your energy for an article on how to be a productive writer, I spend my days in front of screens looking for productiveness looking for inspiration. Instead, I found you. You are not just outside my window but inside me.
That was like the whole point of IE5, it just never really caught on: https://en.wikipedia.org/wiki/HTML_Application
So they paid $5.8 million per engineer…nice.
Even in my highly technical field we still define acronyms when they first appear in a manuscript, since while everyone works in the field maybe not everyone works in this specific niche and is familiar with all the jargon. Editors or reviewers will want to see it defined in long form. It's really just lazy writing to not do it.
Mhm...I love games so I'm not sure how to respond lol.

Ok, but maybe I can relate in a way...I love cultivating pot. For real, my other dream is to be a boutique grower one day when regulations aren't so red-tapey. But I really don't care for it. I don't like being sleepy. Just gimme a beer.

Btw, do you have a game engine I can check out?
add &fromSearchBar=false to the end of the search, so the search string looks like this:

https://you.com/search?q=%s&fromSearchBar=false
Congrats on shipping a game. I'm almost 40 and have started so many engines and infrastructure projects that I'm looking forward to retiring early to make games. Carry on!
It wont, US tech companies are making money hand over fist - they want more people to make them more money, they don’t need slower communication for less money.
I believe it is still largely filesystem based, so NoSQL?
I feel like a lot of people who bring up “the concert use case” really need to think about it for more than two seconds.

Imagine jumping up and down headbanging to your favorite 2000’s pop-punk song, blasted off tequila and red bull, except you’re in your living room and wearing an expensive but loosely-fitting headset that obstructs your vision. This idea is gonna need a second draft.
How do you change a never ending query?
Retro Bowl went from a simple RPG to a number one sports game
Well, that's fine, but all the issues being reported here are due to Chrome users seeing the same thing - inability to use You.com unless you install an even larger potential privacy killer in the form of an extension. Otherwise it refuses to let you search using the on page bar.
Every delightful, successful developer product is eventually doomed to become JIRA.
What are you trying to point out in the latest version? They are still pretty similar for several years apart.
I wonder if he had the same complaints when Google was using Search to fight SOPA and PIPA? Google's homepage was prominently warning these regulations could affect your usage of the internet, enlisting millions of users to help defeat these (IMHO, onerous) bills.
I'm earning 6 figures in central Europe working remotely for the Americans. Local corporations can't match that let alone beat it. I'm cheaper than U.S. resources, yet a lot more experienced and productive. I'm happy and the employer is really, really happy. If anything remote work solidified US strong hold on IT talent, not broke it.
If I had the time I would try out the notebook API to make a simple node.js notebook. There's one alternative that works great but is too bloated to my liking:

https://marketplace.visualstudio.com/items?itemName=donjayam...
I didn't say otherwise, I'm saying "load on the healthcare system from unvaccinated getting sick" has been a major point people have been using to justify restrictions on the unvaccinated.
Imagine being so bad at your chosen career, a career so in demand that there are serious efforts to expand the talent pool to a wider variety of people, that you are afraid that those efforts will cost you your job.
Used Godot for this game. I started my journey with Unity but my C# is, at the moment, utterly mediocre.

Maintaining this game but also starting on next ideas.

Thank you very much!
I convert all incoming paper (worth saving) to pdf. From 2005-2020 I used a Fujitsu Scansnap; almost 1 year ago it failed (rollers finally turned from resilient silicone rubber(?) into goo, and replacement of these low-cost parts proved impossible). As a stopgap until a current-edition Fujitsu Scansnap went on sale, I started using Genius Scan app on my Android phone, which was quite satisfactory. 6-odd weeks later I bought Fujitsu Scansnap on sale. 2 weeks later I returned the dedicated scanner, as while I valued its sheet-feed capability, the quality of scans from the app was almost as good and I had become annoyed by the physical footprint of the scanner and having to take paper to it, vs scan anywhere (including on the road) with my phone. Compared to 16 years ago when I started "scanning everything", more entities I do business with are providing True PDF statements, etc., which means I do much less scanning of paper docs overall, and the app is quite satisfactory. Paradoxically, the app enables more scanning, of artifacts receipts and menus, that I seldom-to-never scanned prior to 1 year ago.

As far as storage: it all goes on my home (Samba) server with nightly (onsite) backup. Yes, this is a "hoarding" situation; it's easier to keep accumulating than to make (irrevocable?) decisions about what to delete. I know my backup solution is only robust against certain failures, but paring down the huge collection in order to make offline backup feasible means grappling with aging out the appropriate parts of it. This is on my to-do list... Also on my to-do list, once I establish a mission-critical doc-subset, is storing those docs on https://www.fidsafe.com/

edit: re organizing: it's all manual; pdf file(name)s are auto-prefixed with date-of-scan, and I rename to add a content-denoting suffix, plus move into a dir structure (which has evolved a bit). So, not very efficient, but still much better than pre-scanner (papers stuffed in 2 actual filing cabinets).
>This is the case everywhere in Europe.

It definitely isn't. In most of Eastern Europe, freelancers pay peanuts in taxes in order to attract foreign investment. Which is why there tech sectors boomed so much in the last couple of decades to the point devs in Poland or Romania can take home more than their counterparts from richer countries like Austria. Granted, they also get no benefits, but when you take home several times the average national pay, you can actually afford to buy a decent house and maybe fund your own early retirement if you're good at investments.

>I don't know if it's a literal policy meant to discourage this or it's just that freelancers are easy political targets since they tend to be disorganized/disunited.

I think it's a bit of both. Trying to force your local talent who's education was taxpayer funded to only work for and support local business, instead of helping build another nation's champions (remote brain drain). A short sighted move in my opinion which just suppress wages and produces no local champions thanks to shit wages and a lack of opportunities.