Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
eggy
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
65 ms
·
751.
▲
by
eggy
5y ago
The COVID lab leak hypothesis was not called outright "deliberate lying", because it was a hypothesis, however, it was banned from open discussion by even experts who feared the wrath of social media platforms and their members. I
752.
▲
by
eggy
5y ago
Yes, it would be a primary motivation for me to memorialize my life for my children. It's tough losing a parent; my condolences on your father's passing. A friend I've known for 39 years is currently dying of ALS. It's c
753.
▲
by
eggy
5y ago
In my case, foreign travel and living, very good pay, and I guess I am an adventure junkie. Diving, ropes, bungee jumping, motorcycles, and many other things take my fancy, but sometimes just living somewhere that takes me outside myself. H
754.
▲
by
eggy
5y ago
Thank you. I've been torn about a private vs. public life. I have always enjoyed the immediacy of the moment in life having lost friends while still in my teens. I am very tech savvy, and I love GoPros and smartphones for what they are
755.
▲
by
eggy
5y ago
I do love Haskell too, but I am only a dilettante. I played with Euterpea[1], and I like it's mathematical bent like J and APL. I could probably get more practical work done with Haskell, but I like the way J and APL make me iterate on
756.
▲
by
eggy
5y ago
First, solve the problem at hand. Second, then make your grievances. Always take the high road, and debate later, unless it's a life or death situation. Principles before personalities.
757.
▲
by
eggy
5y ago
I have been programming since 1977/78, and sometimes for work, but most of the time for fun. As someone who does technical work at heights with rope access, and many years of technical diving on hydraulics, pneumatic, and electrical eq
758.
▲
by
eggy
5y ago
Did you read my statement? "only have 7 months, since the first vaccine was given" was meant to address the first vaccine after approval to the public. The first vaccine was December 14, 2020 in the US. >Your comment is full of
759.
▲
by
eggy
5y ago
This is the first mRNA vaccine; it cannot be measured by the same standards as a standard vaccine. Per your first comment, see Johnson&Johnson's own website[0] for typical time periods for vaccine testing and approval. Phase 1, Pre
760.
▲
by
eggy
5y ago
I realize the article is specifically about the Pfizer-BioNTech vaccine and the delta variant, but even in more general articles about immunity, 'natural immunity' is left out of the conversation[1]. You can carry your COVID test
761.
▲
by
eggy
5y ago
This is insane. Bret Weinstein and Robert Malone have stated they don't know any ultimate verdict on the safety of the vaccine; they're just saying things like it is exhibiting higher bio-distribution than was anticipated, and 7 m
762.
▲
by
eggy
5y ago
I am sure Pfizer and Co. will be paying a lot of people to divert any negative publicity and amp up the company line. You can buy a lot with billions of dollars. No PR agency needed.
763.
▲
by
eggy
5y ago
You're calling him a liar, but the Reddit link even contains a link to citations as far back as 1996 that seems to substantiate that he has been very involved with the technologies used to create the mRNA technique for the vaccines. Ad
764.
▲
by
eggy
5y ago
Robert Malone, the inventor of mRNA technology used for the current COVID vaccines, has been censored by YouTube for sharing his concerns about the safety of the vaccines. Informed concerns, not outright proclamations on them being unsafe,
765.
▲
by
eggy
5y ago
So if there were more people who had it by July, 16m more than originally figured, maybe we were closer to gaining herd immunity than figured back then. I had it end of December 2020, confirmed by testing, but I am pretty sure I had it Janu
766.
▲
by
eggy
5y ago
It uses guile scheme as a scripting language which I like. I think if you are using LaTeX already, going between TeXmacs and LaTeX is not too bad. I have to troubleshoot LaTeX issues within LaTeX all the time when I use special packages and
767.
▲
by
eggy
5y ago
I use FASM ( https://flatassembler.net/ ), and I have been learning F# for about five years, so this is very interesting to me. I am guessing it is more like NASM than MASM because of the square brackets in the animated GIF e
768.
▲
by
eggy
5y ago
Unless soldiers carry solar panels as suggested by VP Kamala Harris into the field. I guess night combat will be called on account of no sun ;) Gas still has a high energy density, so it will be important for the foreseeable future, militar
769.
▲
by
eggy
5y ago
The issue was addressed very quickly, and I was able to try Helix out. I love it! However, some modes are not working (LSP?), and it crashes when I am using it. I can pull up file view, but I am not sure how to jump up a directory. I think
770.
▲
by
eggy
5y ago
I am excited to try Helix. I was a vim user many years ago, but not a superuser. Neovim caught my eye for a while, but I felt like I should stay with vim or vi even to be able to jump on any system and work with modal editing tools. I loved
771.
▲
by
eggy
5y ago
I am an Ada/SPARK novice, but on first look Prusti seems to deal with contracts, but I am not sure how much more of the Ada/SPARK system it may covergg. I used to dislike Ada and SPARK due to their verbosity, but after studying so
772.
▲
by
eggy
5y ago
I agree, but I just turned 57 (been programming since 1978 for fun), and there is so much already done in Ada that powers SPARK that it will be a while for it to be tried and true. Although, with all the work on theorem provers and such, ma
773.
▲
by
eggy
5y ago
Well the Pentagon has admitted UAPs (UFOs, come on!) are more substantial than a TV Show and fringe believers. Why not portals now. We know world governments meet for coffee on Mars already ;) The comment about bringing HIMARS to the edge o
774.
▲
by
eggy
5y ago
I was hoping to find any Amibroker or AFL programmers on HN. I program in J, and I am learning APL to boot among other PLs, but I love array languages, and this seemed enticing to be able to apply my skills other than my own toy projects. I
775.
▲
by
eggy
5y ago
I would think something like delivering 4 or more HIMARS systems, munitions, some troops, and medium-sized combat drones to boot. The HIMARS system can currently be transported on a C130, and they weigh 24,000 lbs each (12 shorttons each).
776.
▲
by
eggy
5y ago
I am learning Rust and SPARK2014, and I would think SPARK2014/Ada would be a better fit for high-integrity software for verifiable, embedded software than Rust. This was the older article that stimulated me to look at Ada and then SPAR
777.
▲
by
eggy
5y ago
Is the compiling part "a bit painful" as @tobiasu comments above? Because that is what I am trying to avoid.
778.
▲
AFL – Amibroker Formula Language – Vector PL for Trading
(amibroker.com)
1 points
by
eggy
5y ago
|
1 comments
779.
▲
by
eggy
5y ago
I am more of an end-user here trying to use SPARK2014 for applications, not doing any unnecessary software engineering or builds outside of using SPARK2014 and a compiler. It is this type of thing that makes it a bad choice for someone like
780.
▲
by
eggy
5y ago
I am learning SPARK2014 and it is this confusion around the GPL that gives me pause in fully committing to this direction or any other GPL-licensed software, mainly due to not fully understanding how I can use the Gnat Ada 202x compiler. I
More ›