skysight-inc/HackerNews huggingface dataset:
Why Marketing Jobs Will Disappear from New York by 2030
> I think part of the negativity you see is network admins working in businesses.

They can block the canary domain[1].

> Of course their argument was parental controls being made ineffective.

DoH is disabled on Windows and macOS if parental controls are enabled[1].

[1] https://support.mozilla.org/en-US/kb/configuring-networks-di...
Just ask them to send you an invoice. I was in a similar bind decades ago. There was Western Union, but too much hassle. "Can you send me bill? Here's my name, address...that way you have a paper trail". At that time, mailing invoices was common. They did, my company paid them too. If I recall, it was for $0.99.
As I mentioned to someone else on this thread expressing a similar experience, if you're not already aware of it you may wish to read about "Non-24-hour sleep–wake disorder": https://en.wikipedia.org/wiki/Non-24-hour_sleep%E2%80%93wake...
TLDR Texas is adding 9GW of solar generation capacity in the next two years.

> Solar currently provides just 2.2% of energy to the Texas power grid. But according to the state grid manager, the Electric Reliability Council of Texas (ERCOT), solar developers are expected to add 3.5GW of capacity from new utility-scale solar projects this year and 5.5GW in 2021 (via the Houston Chronicle). One gigawatt can power around 700,000 homes.

> That includes projects that have signed interconnection agreements with ERCOT, which means they have a high likelihood of completion. ERCOT represents 90% of the state’s electric load.

> Most of the planned solar projects are expected to come online before summer 2021.
Well, technically speaking there's Kotlin support https://play.kotlinlang.org/hands-on/Targeting%20iOS%20and%2...
Are you familiar with Haskell? Or just a programmer in general?

The name doesn't mean nothing. Either you're a Haskeller not familiar with monad transformer idioms, or you're not a Haskeller just shouting your uninformed opinion.

Hoist means something very specific in the monad transformer world, and it really helps explain what this does. And the "StateToStateT" also is pretty literal (and in the types.)

I'd actually argue this name is boring & completely derived from the types.
Implementing smoke testing in production and staging. DIY vs. Ad-Hoc Tool
I Am a Prospector
It goes against my experience as well. Years ago someone on HN equated an ice bath to elephant tranquilizer. So I tried it and can confirm it had a similar effect on me. In addition, I grew up in a cold climate. Being cold and absorbing my reflected body heat under the blankets made it so much easier to sleep. In contrast, hot humid nights were impossible.

Edit: Fixed phone’s stupid autocorrect.
I stopped using Allstate years ago -- I mentioned to my agent (this was back when it was still common to actually go see an agent in person to get insurance) that I had a chip in my windshield from a rock and I had to pay to fix it. He said "No, don't pay for it, just make a claim and we'll pay for it no deductable for glass fix since we want you to have a clear windshield".

So I made the claim. Then made 2 more claims through him that year (major road construction meant lots of debris on the highway I commuted on).

And then I got my premium notice and they increased my premium by 5X (something like $300 every 6 months to $1500) due my claim history -- I had no accidents, just $120 in window repair claims.

I immediately switched insurance companies and never went back. It was a good lesson for me -- don't use insurance if you can avoid it. So now I run $1000 decuctables when I can since I really don't want to make an insurance claim unless it's catastrophic.
> For sufficiently difficult problems it's much easier for humans to reason about complexity in higher-level specifications. Let the computer generate the code!

Yet the humans must still fully consider the higher-level specification. I know that what you describe isn't a compiler per se, but from the perspective of programmer experience it seems analogous. You're not enabling the programmer to "not think", just to think on a more abstracted level. I think the gist of my point still stands; maybe not the final paragraph.
As much as I am in favour of readable code, the point of the article is that you do not need to read the function! There is only one sensible thing that a function of that type can do. The type really is, in this case, the best technical explanation for what the code does. (One might want to add comments that help you understand the meaning but the implementation is really irrelevant.)
Same here, and I have converted into a good addiction. Any sort of break time small or big, which is a recipe for distraction, I subconsciously browse HN. HN is a good addiction and good distraction in my book, though my spouse disagrees only rarely, when compared to alternatives ;-)
He defines it when talking about Magic, where there's the two games. The match "game", once you sit down with your decks and draw 7. And the metagame, where you choose which decks to bring, what sideboard to pick, etc.

If there's a really popular rush deck, do you drop some cards which shut down blue control and put in some anti rush cards?
That will help when you match against the rush deck, but if everyone does it, then when you reach the finals you might be against the control deck.

That's the metagame, at least how it's used in those circles.
This doesn’t make a lot of sense. Songs are copyrighted two ways, performance - the arrangement, composition and lyrical content of the song, and the master - the actual mastered resulting waveform.

Samples are copyright infringement on the master and using for instance the same chorus as someone else in your song falls under performance.

I don’t get how this helps either.
Common Lisp is still the most fun language to use for me. Sadly lacking in all the currently fashionable languages is interactivity.
I live by a "night owl" rhythm, but my feeling is that the real reason behind it is that my sleep cycle has just never been really adjusted to the 24 hours days. For me a perfect day would be somewhere between 28 and 32 hours, and then a good 9h sleep.
Are people that reliant on GitHub to cause such a thing?

All of my code lives on GitHub, my employer's repos are there, everything... Yet I've never been like "shit, GitHub is down, I can't work anymore"

This is the first time in a while where I actually saw they were down while it happened.
Most popular flashcard tools in 2020
You got me curious and I did a little digging. It seems like there are two facilities and it's not clear to me which one actually houses the samples in question.

This facility "Wuhan Jianghan Disease Prevention and Control Center" is actually very close to the market.

There's no street view there - seems probable this is just a normal office (there are restaurants in the same building)

https://www.google.com/maps/search/Wuhan+Jianghan+Disease+Pr...
I've understood transportation costs are less than 5% from the overall production cost/carbon footprint of vegetable production. So it really makes sense to transport veggies and fruits from far away if even minor benefits on other production steps can be achieved.

Similarly also plastic packaging has minor footprint compared to the overall production of the vegetable. So, if the food waste is reduced even a little bit with plastic packaging, it is enviromentally better to wrap the veggies in plastic.
I really don't think this is a good criticism of SwiftUI.

The author is confused about the whole approach to SwiftUI and spends a lot of words complaining about issues arising out of that confusion. E.g., SwiftUI doesn't use Swift's DSL capability to avoid commas. It uses it to have a declarative DSL integrated into Swift programs. You could argue about the entire approach, but instead the author complains about commas and ifs. The things about the ifs and other potential control flow constructs makes it clear that the author doesn't get what a declarative approach really means.

Likewise, the section about "wraps" where the author feels the SwiftUI API is inconsistent because stacks "wrap" and padding "wraps" so they should use the same syntax. But I think that's just a misunderstanding of the author's. "wrapping" isn't a fundamental concept of SwiftUI so there's no particular reason for the API to be organized around it. (I would say stacks arrange a list of views and padding pads a view. Also, bold() operates on Text and returns Text because Text holds styled text and bolded Text is still Text. padding operates on any View and returns some View. The types flow naturally from the problem domain, so that's good.)

Also the conclusion: "The solution…is to be dumb and explicit!"
That's really asking for a completely different framework. It seems a little off to criticism SwiftUI for not being what it was never intended to be.

I think there is good criticism in here, though. SwiftUI introduces a LOT of patterns, concepts, many of which will not already be familiar to many developers. It's concise and reads pretty intuitively, but many developers won't get far before hitting a lot of new stuff... that means steep learning curves and confusion, like the author. I don't know if that makes it bad, but it's certainly anyone consider using it needs to be aware of.
Sure, but "some size limit" can be as big as 500 or 1000 bytes. "Choking up the connection" won't be for very long at all. Even on a 2400 baud modem, you're talking only a few seconds to transmit a kilobyte of password. On modern cell networks or especially broadband connections, you pretty much won't choke the connection at all with a 1000-character password.
Notivize: No-code notification solution for product teams
You may soon discover (depending on your jurisdiction) that topping up is no longer an option, because your actual bank starts treating these transactions as cash advances, 3%-4% fee (and trashing your credit rating too).

Revolut has been completely useless about this, and their chat teams are just there to waste your time.

Multiple currencies and cheap exchange are great when you travel a lot, and virtual credit cards and a nice spending UI are nice to haves. But nothing makes up for being jerked around for hours because their system is broken and they won't fix it.

Also, from an investment pov I think Apple Pay is going to crush them.
I've noticed this to be true for table tennis and other sports too. When I play against a less experienced player, it's quite frustrating to notice that most of the points I score are clear mistakes on their part, rather than any kind of skilled moves on my part.
Sessions Using Golang and Redis
Good point. Sniffing traffic is orders of magnitude more expensive than simply logging DNS queries.
Show HN: Never forget your pills again
Encrypted SNI is a parallel and related effort to that, though.

So hopefully not a cause that's lost forever, but we can improve more in the future.
The problem is that things like issues and PR comments aren’t distributed. Perhaps they should be, but they aren’t now.
Tenerife coronavirus: 1k guests at hotel quarantined
Parent poster self-identifies as a Haskell lover. It doesn't seem like they're assuming anything. They're making an informed observation.
Funny, but personal information is not published at most cases. Non-published information is out of discussion. So you miss the point.
There is far more work involved with creating music than simply creating an unique melody. And yet, maybe, pop music can and should be kept simple — like these generated melodies — to have a broad appeal. It's a shame that artists can be sued for likeness if their work feels original and introduces a new tone and feeling when heard.
Interesting.

It is about 14 km by car between the Market and the Institute of Virology.

What do you think about the Daily Mail article which says that the Wuhan Center for Disease Control and Prevention (WHCDC, not the Institute of Virology, my mistake) is 278 meters away? They state that virus research is being done there. From what I see on the map there are some Union Hospital buildings, but nothing specifically identified as the WHCDC.

Edit: part of the problem seems to be in searching for the exact names of the facilities.
Announcing the GraalVM Project Advisory Board
What are you saying? The function at the top of this blog post does do real things.

This method is real. You can't literally write all your Haskell this way, but I turn my brain off and play type tetris as a nontrivial part of my workflow pretty often. I rarely _only_ do that, but it's nice to not have to exert conscious mental energy and instead use tetris-like muscle/visual memory to make progress towards a goal.
https://www.prweb.com/releases/notivize_closes_500k_in_seed_...
“ They were closer to me than the mentally ill drug addicts or the Romanian gangsters.” - the english criminal doesn't appear to hesitate at throwing racist remarks around does he?
Intel Atom P5900 Series Processors Launched for the 5G Future
Thanks for those examples. The kickstarter app is opensourced and seems to be a good example of the MVVM pattern - https://github.com/kickstarter/ios-oss/tree/master/Kickstart...

Ive been out of the iOS game for about two years and now getting back into it. Have you had luck convincing your organization to use SwiftUI? What have been the painpoints? I am finding that people on my team are pretty traditional, even hesitating to use autolayout, so pushing SwiftUI might be an uphill battle.
The only thing I can recommend that's helped me significantly in a rigorous way is tracking HRV overnight (heart rate variability). This is an objective indirect measure of HPA axis activity (parasympathetic vs sympathetic nervous systems). Having that data to form a feedback loop is priceless in helping you determine what things you're doing in the day that is actually having an effect on your stress levels one way or the other. As I'm sure you can imagine, my best sleep is on nights when my HRV is high. I no longer drink alcohol or work on software after 7PM in general after seeing just how much those activities would wreck my body's ability to sleep well.

I use an Oura ring for this but I bet there are cheaper methods, perhaps with a heart rate chest strap, though there's an additional bonus with the ring in that it tracks sleep phases as well.*

*to some degree of accuracy (~66%?) I use it directionally only since the values have big error bars.
Interesting point that one has to master the game first, before mastering the metagame. I am reminded that Warren Buffet & Bill Gates are reputed to enjoy the game of bridge, which comprises at least three games: the trick-taking game; the bidding game which is about how many tricks one thinks one can win; and the communication game which runs over the bids themselves. One could argue that outa-of-band communication is a third, cheating, game. One might also consider multi-table play to be a metagame, although it is a fairly simple one.
It depends on how the data is being transferred. In general, the answer is yes because you'd be using public IPs.

If you're transferring between EC2 instances in peered VPCs meaning you can still use private IPs, it's more like $20/TB.

https://datapath.io/resources/blog/what-are-aws-data-transfe...
Most Common Lisp is actually compiled, not interpreted.

If one compiles code or loads compiled code to something like SBCL and dumps an image, you can both run it directly from that image AND have still have the development tools included.

Some Common Lisp implementations also have delivery tools which create applications without development tools. Some applications though include the development tools, because they are thought to be extended by the user. For example a CL-based CAD system might exposed Common Lisp as the scripting language for CAD extensions.
What is racist about it? I don't see any racism in that statement.

He was simply stating that he was more comfortable around other white collar criminals.
I can strongly recommend "A Bit of a Stretch" - I read it after reading "The Secret Barrister: Stories of the Law and How It's Broken" which is pretty terrifying.
I think the only reason Brave wasn't immediately laughed out of the room on HN as a browser that literally shows you its own ads is because they brilliantly have their own cryptocoin (BAT) so that anyone who thinks their $10 investment will buy them a lambo one day will come out of the woodwork to mention the browser.

The same thing you saw happen to any other cryptocurrency. It basically kills all earnest conversation.

The Brave thought this was worthwhile makes the whole thing feel scummy to me. But we are way off topic.
This is an extreme example of something I’ve found to be quite common: programming “types first”. For another example, I recently read a tutorial on parsing that started by defining `abstract class AstNode`, followed by multiple concrete derived classes. Only after ~100 lines was there any actual parsing logic.

My approach would be the opposite - start with the logic, using built-in types, and maybe refactor to use custom classes later. Perhaps there are downsides to this approach, but it’s how I think about solving the problem. I’ve found this style of programming is easiest in languages that have powerful, flexible built-in types, which seem to be best provided by dynamically-typed languages.
Water management needs to be weighed against carbon footprint.

It might be better to increase the carbon footprint slightly, reduce carbon footprint elsewhere, so that water can be managed smarter.
Not a bad idea, grouping browsing history by time and topic would be helpful. Seems like a solvable thing.
What are the tools "meant to accomplish" exactly?

I've deployed production code built with the exactly techniques in the article. it's doable and in my experience easy (modulo the large learning curve - pay it once, pay it forever)

The (very simple all things considered!) top-level type signature of `Sem (State s ': r) a -> S.StateT s (Sem r) a` is also something I've used in production (different library of the same sort)
If you push code often and rely on ci and PRs and issues then you are pretty tied. I think a good portion of it is a bit tongue in cheek, but it’s also a good reminder that you can standup and walk around and be alive.
The journals I'm familiar with require both.

The reader pays for access (or more commonly their university/research org/public library/employer pays for it), and often is only available in bundles, such as multiple unrelated journals or forcing a library to maintain print and digital access even if they only want digital access.

The submitter is usually required to pay a submission fee to cover/subsidize the cost of review. Some do allow you to pay a surcharge for open access, and in many cases (at least the grants I was working on) grants and funding cannot be used for these costs.

I am overjoyed to see that it's becoming more common to have fully open access journals, or that the open access fee is reduced. And the endorsement of more open access journals for fields that have historically had a dominant closed access journal (such as the American Astronomical Society and it's introduction of new journals like the Planetary Science Journal).
”after having done a lot of React development recently […] All this prompted me to finally give react-native a try. In under 15 minutes I had a working example“

I agree SwiftUI is poorly documented and (from what others say), probably, not quite production ready, but I also guess that comparison is a bit unfair. Or are react and react-native completely different beasts?
Wait, is waking up at nearly 9am late?

I wake up between 8 and 10 daily (I have very flexible working hours atm)

I optimised my home for a short commute and have never had a job where arriving before 10am was required
I Left San Francisco Tech to Live and Work on a Farm (Part 1)
Sure you can do some work locally but if your CI server can't check out the branch to build it and you can't approve pull requests for merge, then its a bit limiting.
Sure ∑ would pass code review. And in Maple and Mathematica it is code.
Types of Entrepreneurship
That's not what OP is arguing for. Here is the relevant portion that might clear your misconception about this article.

>

I’m not going to say that blindly filling in type holes always works, but I’d say maybe 95% of the time? It’s truly amazing just how far you can get by writing down the right type and making sure you use every variable.

The reason why this works is known as theorems for free, which roughly states that we can infer lots of facts about a type signature (assuming it’s correct.) One of those facts we can infer is often the the only possible implementation. It’s cool as fuck, but you don’t need to understand the paper to use this idea in practice.

One question you might have is “what the heck does it mean for a type to be correct?” Good question! It means your type should be as polymorphic as possible.
I am really torn on the subject. I write physics simulations for research use and will therefore assume a FDTD code that simulates Maxwells equations as an example.

On one hand there is a bunch of minus signs in Maxwells equations and there is nothing except historical nomenclature and experiments that can tell you where they go. Nothing in the type system can know if dB/dt is curl(E) or -curl(E). (Note that dE/dt has the opposite sign.) And if you implement say a finite difference stencil you have a bunch of numerical coefficients like (1/24, -27/24, 27/24, -1/24) that are not straightforward to derive. If you go to NSFD these coefficients will actually come out of the numerical optimization run by another code. The compiler will never be able to type check that.

On the other hand it can be quite useful to have the compiler type check variable for correct SI units, so you don't accidentally add curl(E) to B without multiplying by the time step dt. But that is already quite possible with the type system in C++ that is derived by purists as bad and weak. Maybe it could even add checks that stuff in the new time step has to have a change proportional to dt added to it and prevent me from accessing stuff that is not properly time centered. But then again I have not seen anybody write code like that in Haskell that did anything useful.

Having guardrails is nice, but you can not write the entire program in types. And if you try all you get is the same complexity in a unreadable syntax.
yeah, that was often brought up when he trolled comp.lang.lisp for over a decade.
> Those bits of code are the ones usually called "impossible to understand", which are fully described by their types, and which can be implemented with this approach.

Once I let go of needing to understand how a piece of code turns into CPU instructions, I found that this code is actually the easiest to understand!
But Mozilla's justification tables around making security better for all users by dictating default settings that are expected not to change. So, defaults need to achieve the goals.
I'm not as excited to see traditional interfaces cloned in VR space because the lack of tactile feedback in VR really hampers such interfaces (it's really annoying to have to look down at your hands and the knobs you're turning or the switches you're pushing to make sure you've got the right one, etc).

What's much more interesting to me are exploration of innovative interfaces. For example, with full-body tracking you could map body parts to different synth parameters or algorithm parameters and then allow the user to make music by dancing.

The sky is really the limit in terms of what body/head/arm tracking and VR can allow you to do with innovative interface design.