skysight-inc/HackerNews huggingface dataset:
Show HN: I made a community-based writing application
Hi HN! Writing has been a big part of my life for the last few years. It's helped me make sense of the world around me through journaling, and my blog and technical books have made wonders for my career as an engineer. Something I've always been missing is an online community where I can practice my skills and learn from other aspiring writers.

I built Tavern, hoping to solve my own problem. Its main concept is that every Monday everyone in the app gets asked the same writing prompt and you have seven days to submit your answer. You can look at what others have posted, but only after you've submitted your answer. My hope is that this way I will reduce lurking and encourage more people to actually write rather than think about it.

There is a concept of giving likes (ales, since the whole app is tavern-themed), but I've given it a twist by not showing the number of likes an answer has until you like it. Also, answers are always sorted by date, with the latest ones on top. This way if you open Tavern three times this week you'll be able to scroll until the last answers you've read and leave, they won't get shuffled.

Tavern's not a technical wonder by no means - you can probably put it together in a hackathon. But I put a lot of effort into the design and its simplicity, so people can focus on the content. I have more plans for it in terms of features but I wanted to launch the bare-bones build as soon as possible.

Hope you like it!
Why put your happiness in other people's hands? Why can't you do the research you want to, already?

Can you rephrase your "why fight" answer to be for anyone else? Do you consider yourself narcissistic?

Thanks for sharing your heart, will probably help someone.

Edit: another thought is to picture yourself as this mega-nerd at the top of the food chain. How do you think they feel? Do they feel inadequate? Maybe they helped make ChatGPT in a big way, but have very little equity. Maybe they are short or balding or have a speech impediment.

I promise you if you live outside yourself and for other people, it will change you. I'm certain you can help thousands underneath you...
If anyone is suspicious of Acrobat, check out Foxit PDF Reader as an alternative. Used at it a former workplace and it works just as good as Acrobat Reader.
It seems like what’s happening is the pentagon has a really specific definition of what a balloon is and is a little tone deaf when it comes to making statements normal people read.

Are these craft held aloft by closed containers of lighter than air gas? Very little uncertainty there. Are they straight up weather balloon style big stretchy polymer and nothing else? No. Are they somewhere else on the spectrum of various kind of structure around the lifting gas? Yup. Can you tell what kind from afar or after you’ve blown it up? Not so easily. Can you tell what kind or if they have any propulsion after you’ve blown them up especially over large bodies of water? Not so easily.

Really bad PR is what got us Roswell because nobody had the mind to just explain these things, somewhat embarrassing public image but i guess I’m ok with the military being bad at this kind of thing because being good at it is kind of a threat to everyone.

Someone clever and independent needs to be in charge of handling this whole project but I’m afraid we’re just going to keep getting “F-22 victory vs balloonish thing, we have no idea what it was”

This would be a really good opportunity to embarrass China which really gets you negotiating power with them, but that opportunity is being squandered. Capture one and put it on the nightly news, maybe with some nice prominent Chinese lettering on the hardware. The story needs to be “China is violating our airspace in the stupidest possible way, it’s so lame we’re not at risk but please stop you’re embarrassing yourself”
Deno #_#
There is a json file with the containers, I also had a similar problem (temporary containers extension “leaked” containers and they got synced) but after having found that file (I believe it was containers.json or something similar) and manually removing from that all the bad elements I managed to get those out from syncing it to new instances.
Are you familiar with linker hell? I agree in theory with your suggestion, but not for C or C-like languages which have such a poor story for linking compilation units.
I would highly recommend checking out Horizon EDA if you find Kicad to be as awful as I do usability wise. It obviously doesn't have the gazillion features Kicad does (though it does use the core layout editor from Kicad) so if you need those then maybe use Kicad. But if you're just doing "normal" PCBs (4 layer, no RF) then it's much much easier to use.
If every bubble has a video of the same authority figure(s) (within the group or outside of the group) saying directly contrary things it has to have an effect.

The internet really was that though until the last 8-10 years. Once it reached a critical mass and started being actively gamed by world govs as a major objective it changed dramatically to what it is now. Now the masses are becoming just as paranoid and skeptical as a baseline as the cypherpunks were.
Yeah it works whenever you yourself can infer the type without it already.
Fortunately there are some cool extensions that do improve that logic. My favourite uses a new container for every AWS SSO login, so I can have multiple AWS accounts and/or roles on the go at the same time.

https://addons.mozilla.org/en-US/firefox/addon/aws-sso-conta...

But completely agree, this should be a capability. It's like how Google Chrome profiles don't have the "open in another profile" menu option until you have two profiles already opened.
This is interesting.

I do wonder what the ergonomics of querying data is for people who are unfamiliar with your APIs, they may prefer to query the data with SQL or a cursor based API.

The volcano model for querying in SQL databases is useful but I've never implemented that. (Kind of hard to query about though on Google)

https://www.computer.org/csdl/journal/tk/1994/01/k0120/13rRU...
Yeah the constant is a poor approximation of the exponential. Maybe the analogy works better if I start at the second term .

Zeroth order approximations are rarely useful because the dont capture the local gradient.

But in the life analogy, there are people who assume where they are in life will be same in future (eg the “new” normal during pandemic). So maybe it’s not so terrible after all.
Historically, it wasn’t (of course; Unix didn’t have multiple threads in a program). https://pubs.opengroup.org/onlinepubs/7908799/xsh/errno.html:

“Previously both POSIX and X/Open documents were more restrictive than the ISO C standard in that they required errno to be defined as an external variable, whereas the ISO C standard required only that errno be defined as a modifiable lvalue with type int.”

Even now that it is guaranteed to be thread-local, it still is a bad API because of (same page)

“A program that uses errno for error checking should set it to 0 before a function call”

And yes, that still seems true today. https://en.cppreference.com/w/cpp/error/errno:

“library functions never store 0 in errno.”
Secret government projects involving combat with mysterious floating octahedra from the coast? Where have I seen this before?
I assume by referencing MPs you're referring to Canada's carbon tax? You know that's a revenue-neutral tax right, none of it is kept by the government. It's all returned to taxpayers. Also "coffers" not coffins.
This is what the average punter doesn’t understand.

You basically want alpha but alpha decays over time.

Think of alpha as being some insight no matter how slight that a coin will land heads as apposed to tails more times than not.

Now comibine this with a risk management system that involves you only risking 1% of capital (avoiding gamblers ruin) and you are off to the races.
> Deno seems to be a solution looking for a problem

On the contrary. Ryan Dahl, the person who created node, came up with deno, specifically to address a number of problems (or regrets) he had with node: see https://youtu.be/M3BM9TB-8yA.
At least for Muslims, halal requires hygiene and freshness as well. It is not just about "voodo" or prayers. I would assume Kosher is the same.
There are certain PDFs that only render correctly in acrobat, and need acrobat to open, like my monthly municipal statements.
The ultimate level of botsplaining is the "reverse Turing test" bot, that tries to gaslight you you are the bot, and they instead are human.
The focus on superoptimization is laughable, and puts me off on even considering the other opinions presented here. Superoptimization is such a joke in so many cases that it's basically undeployable: if it takes a days of a srever's compute to save a microsecond, you better be planning to run that program 8.64e+10 times...
Containers are fantastic! Must have when developing/testing webapps with different user accounts, using a few containers.

Miles better than juggling with other browsers or incognito mode.
> and allow you to edit after sending it out

There's whole industries out there where the immutability of PDF is a feature, not a bug.
I find 1) to be a good property assuming you have some safeguards or rollback procedure, at a cultural/code ownership level it moves the efforts of shared-code changes on the person doing them rather than on the ones depending on shared code, which reduces communications, frustration points and increase responsibility.

For instance in multi-repo environments I've often seen this pattern: own some code, bump an internal dependency to a new version, see it break, ask the person maintaining it what's us, realize this case wasn't taken into account, few back and forth before finding an agreement.

On the other hand in mono-repo environments, it's usually more difficult to introduce a wide changes as you face all consequences immediately, but difficulty is mainly a technical/engineering difficulty rather than a social one, and the outcome is better than the series of compromises made left and right after a big multi-repo change.
What kind of appliances have you created/planned?

I love the idea of seL4, and was sorely disappointed to see Australia cut their funding. Decades of exploits have me convinced that microkernels are the only real path towards security.
The Odin – DIY genetic engineering
I dont think so. Microsoft has a more sophisticated view now, and understands that users are more savvy these days.

Rather, they already were shipping a PDF reader, as most browsers already do. But were likely inundated with bug reports about how it was broken for advanced workflows like form filling.

This solves that problem and likely Adobe consented without much cajoling to cement the relevance of a premier product of theirs.
I don't know about $1,000, but I'd (figuratively) kill for a way to remove all Twitter/Musk/GPT posts from HN.

Thankfully I've trained my eyes to look away without needing to grok the whole title, so I can skip this barrage of repetition.
I predict this is the biggest security landscape change of 2023.
This is quite a unique feature that I don't think exists in any other browser, I'm surprised that this isn't being used to market Firefox.
I started off doing it on my own back in 2008 with nothing more than an Interactive Brokers account. Then I went all in and started a company to do it professionally around 2012.

As far as strategies go, I've said it here before, but all my strategies are quite simple and straight forward. The difficulty is almost always the execution. Almost all of my strategies are arbitrage or market making, and some of them trade off of events, like earnings, interest rate announcements, the weekly petroleum status report, and things you'd find on an economic calendar.

None of my strategies are speculative, that is I have no idea what company will perform well over a long period of time and in fact in many cases I don't even know what the company I'm trading even does. I also don't make use of any so called technical indicators, like relative strength, or fibonacci this/fibonacci that.

For the vast majority of my activity, my algos only enter into a trade if it's guaranteed to make money.

To give a vague idea of what the process looks like, every strategy starts from the premise that the market is perfectly efficient and there is no opportunity to make money. We then construct a model of what a perfectly efficient market should look like. We then backtest this model to determine whether the market is actually perfectly efficient. In most cases it will turn out to be either very close to efficient, or inefficient but in a way that cannot be profited from after taking into account fees, latency, and other factors. But sometimes you find areas where the model predicts certain behavior and the backtesting shows that the real world doesn't follow that model. In that case we then proceed to investigate very carefully what is going on. Did we make a faulty assumption? Is our model not seeing the whole picture so that there are factors we did not take into account? This happens A LOT and in fact we are very skeptical when our backtesting deviates from our model. But if after scrutiny we find no reason to doubt out model, then go from backtesting to running it in a simulator, and then from simulator to running it live on a very small scale, and then over time increasing the scale.

Our backtesting and simulating is incredibly sophisticated and precise. Almost all publicly available backtesters just look at trade activity or very low resolution data, and never accounts for things like market impact. Our backtester takes into account individual orders and simulates the entire order book, taking into account where our order would be placed within the order book. We also simulate potential market impact as well, which requires us to run simulations in parallel with different potential market impacts so we can see what the worst case scenarios are and there's a host of other factors a good simulator and backtester will take into account.
This [1] seems to contradict, that at least for more "recent" versions of POSIX.

[1]: https://unix.org/whitepapers/reentrant.html
Combining this with aws-vault is such a nice little hack when logging in with multiple AWS assume-roles across various accounts!
I don't know grandpa's "If it sounds too good to be true it's probably not true." Still works quite well.
Oh no, you exposed me!
Why do you say that? I've got a lot of names with them so would be keen to know if there are any issues.

Personally I've used them for years and they are by far the best of the many registrars I've used over the past 25+ years.
> Type Safe = Imponderable.

Better:

* Type Safe = Almost type safe. You can cast them away.

* Memory Safe = Almost memory safe. Ignore the stack overflows.

* Concurrency Safe = Almost concurrency safe. Only deadlocks are left. And it's blocking.
Similar happening to me as well. I thought remote work will bring me freedom of time and place but spending 2 years at home without any interaction with outside people made me a negative and depressed person for a few months.

But I somehow found the balance by going to a co-working space, going to the gym and playing any physical sport.

PS: I live with 6 people but it still happened to me.
>The OSI takes the position that the SSPL is a de facto violation of the freedom to run the program as you wish, because it puts complex and far-reaching restrictions on what other software you can use with the covered software,

4 freedoms is about freedoms of users. End users. you are talking about freedom of intermediaries that SSPL aims to restrict. As an end user, if you are using SSPL licensed software for your own use, will there be any restriction on you? if you integrate SSPL software into your product, will it be restricted? i dont think so. If you want to SAAS-ify this SSPL software, then only the restrictions of SSPL are triggered. Not in any other case.
Agreed - the Deno model doesn't bring much security, because you have to grant all code in the whole app the same permissions, which for any non-trivial app will amount to "mostly everything".

First class capabilities are a much better approach, a real solution to supply chain attacks.
Maybe because he got absorbed by TigerBeetle.
Does candy crush still come pre-installed on windows?
How true is that these days? I see it mentioned a lot. Google doesn’t have to keep them afloat just to avoid some hypothetical anti monopoly issues.
why is a company like namecheap not servicing their own email servers? what a cop out.
I've also read about you not wanting to update 2FA systems... another cop out

I wonder how many people got caught and ruined by this scam, what if you are behind it?
you don't deserve to be in business.
So hmm. If I'm running an AGPLv3 Vaultwarden and then somebody connects to that using the official Bitwarden client, am I responsible of providing the Bitwarden client source code -- or if I cannot do that, I'm technically violating the license?
I’ve filled in one or two PDF forms in the last year, they’ve worked perfectly.
> I agree it's a weird API. Not sure where it comes from, maybe some '70s thing with reading blocks?

Probably, yes. In the earliest versions of C, stdio hadn’t been invented yet, and all IO was done using Unix file descriptors - which was fine, because C only ran on Unix. But, they were keen to prove the language was cross-platform, and Bell Labs used both IBM and Honeywell mainframes, so they started porting C to those two platforms, as a proof-of-concept of its portability. And there they ran into a big problem-mainframe IO was radically different from Unix, and the file descriptor API was rather ill-suited to it. So, Mike Lesk invented a “portable IO package”, which abstracted over the differences between mainframe and Unix IO-and that package was the ancestor of stdio.

And I think that explains why fread() is designed the way it is. IBM mainframe IO is fundamentally record-oriented [0] (and probably Honeywell was too, although I know far less about it). To Unix, reading 10 records of 80 bytes each, 80 records of 10 bytes each, or 1 record of 800 bytes each - the three are largely equivalent. Not so under MVS-if, when you create a file, you declare it as being composed of 80 byte fixed length records, the OS will force all reads/writes to be multiples of 80 bytes-hence why fread() makes you declare the record size, since it is much more essential information on that platform.

[0] Historically speaking; nowadays z/OS, the successor to MVS, supports Unix-style byte-oriented IO as well as classic mainframe record-oriented IO; but back in the 70s, those Unix compatibility features were still 20 years away. And classic mainframe apps still predominantly rely on record-based IO
I nearly fell for the Queen saying "There are few things more hurtful than someone telling you they prefer the company of Canadians." And that was just a few years ago...

The best lies, and the best cons, always use the truth as a weapon
Thanks, I'll take a look. A wit would be the smallest unit of meaning in computing, then. I.e. the smallest part that needs processing beyond that of a primitive.
Interesting. Is there a list of thoughts which he provided?
What Is an Insight Engine? and Other Questions
The main architectural problem here (originating in Docker) is promoting the shared volume system in the first place. It's just the wrong thing to try in so many ways. It's insecure and runs are non-reproducible. And the OS integration is like a tragedy novel when you look at all the different platforms with unique problems on each. A much better way would be to support automatically copying inputs in and outputs out using the existing layer system.

(As an optimization you could it in a rsyncish way)
(As I said in a previous discussion about Firefox) I really wish it was possible to enable DRM for a single container.
The basic idea behind the propagator model is that order flow can be treated as a propagating wave that spreads through the market and affects prices. Thus given that we usually execute multiple orders for a given "meta" (big) trade, managing the effects of those earlier orders on later orders can have non-negligible impact on the execution performance. The propagator model then gives some solution to get the optimized execution under those assumptions. You can refer to https://www.goodreads.com/book/show/39096959-trades-quotes-a... for more information
>Everything the mainstream media says is a lie.

You've lost credibility completely with this sentence. While I'd agree that many news outlets have their biases, some hugely so, saying everything they say is a lie is just categorically wrong.

Many news outlets like Reuters and the PA have business models based around factual reporting for others.
See also, high correlation between having trove in the title and actually containing a trove of something.
Its actually incredible, how much the us could keep its military industrial complex going, after the soviets basically dropped out in the 70s and china is basically a similar "virtual capabilities" enemy only.

Its like a shadowboxer keeping going round after round, long after the opponent dropped with a K.O. and everyone went home. Im sure, if they keep it up, one day a opponent may arise, even if its just the janitor. You got this champ!
Social media and other mass distributed content platform suffer from the human and financial costs of content moderation - an ungrateful necessity.
But could an open, distributed ecosystem of moderation cut costs, increase transparency and protect Truth as a valid concept?

#web3 #smartcontracts #contentmoderation
China's spy balloon barrage earns six of its companies a spot on US entity list
You do option 3, manually adapt one type to the other because they are different types.

If you call one function that returns an int and need to pass it to another function that expects a char* what do you do?
I haven't used Edge in a while and opened it the other day. I'm absolutely shocked at the amount of garbage that's in there.

Open up the hamburger menu, you'll see games, shopping comparisons, etc. It feels like 90s adware. I'm not surprised they're turning PDF reading into a paid advertisement for Acrobat.
The good thing about Edge for me was being able to open largish pdf docs without the crappy loading times of adobe bloatware.
This Amiga-based playback system was introduced during the production of True Lies, but they continued using it during Titanic.
Sure but things like web access you can grant access to just the domains your app uses and everything else is blocked same for file access you can grant is access to "views".

Though most people will likely just --allow-all because it is easy.
The enormous heat pumps warming cities
The best reflector is something that vaporizes into a aerosol and soaks up light. So the best reflector is a package of vaping fluid.
I'm happy for a more cynical reason.

I hope this is another step towards another AI Winter, instead the AI powered word the rest of the tech world seems happy to be rushing towards, full of smug AIs telling us and convincing us with relentless determination, repeating lines our overlords want to brainwash us with.

Good to see regular people finding the flaws of the system already.

I am a huge AI pessimist and if there is anyone else that just wants to see this tech burns and crash, we should form a rebel hacking group and explore the best way to break these things.

I am serious and don't know where to recruit other lunatics like me.
4d navier stokes equations of the globe at a decent spacial and time resolution are also beyond what current computers can achieve.

Deep learning can reduce the amount of compute for the same quality of results.
No, there isn't, but also it's a virtual certainty that you will have outside intervention. So the powers that be should take it seriously and try to reign in both official operators and buckaroos going over. Every opportunistic country and individual will take a shot, so standing back won't work either, unfortunately.