gopiandcode

17 ms·

91.
by gopiandcode 5y ago
What you're looking for is OCaml: https://ocaml.org/
92.
by gopiandcode 5y ago
Declarative languages are characterised by having the programmer specify _what they want_ but not _how to get it_ (i.e to get a sorted list, you would specify that the elements are in increasing order, but not the specific algorithm to use)
93.
by gopiandcode 5y ago
There was an interesting quote under one of the replies: > The power of rust is that it's for the people... not for massive orgs to wield in order to make more money Given that most rust code is licensed under non-copyleft licenses
94.
by gopiandcode 5y ago
This. By that same virtue (although admittedly with far greater stakes), I wonder if the GP would call safety regulations on civil engineering a similar kind of "gatekeeping" in need of "disruption".
95.
by gopiandcode 5y ago
Yes, my point exactly, and in the places where people use OCaml, the overhead from not monomorphising generics isn't a performance bottleneck.
96.
by gopiandcode 5y ago
Even in these domains people still balance performance against the expressiveness of the language, or else why wouldn't everyone write their games/HFT/robotics in assembly for that "bare metal" performance? For exam
97.
by gopiandcode 5y ago
It feels somewhat disingenuous to include a turing-complete meta-programming language (i.e macros) in your definition of the C++ type system. Because vanilla OCaml doesn't have any mechanism for expressing compile-time computations, th
98.
by gopiandcode 5y ago
I'd argue that it's unfair for Google to use their market power in search to subsidise their video hosting products, thereby limiting the number of competitors, and then start forcing people to participate in their unethical priva
99.
by gopiandcode 5y ago
I think the difference here is that Piped is using a custom backend server (piped-backend) which scrapes youtube html to obtain the video content/metadata (a-la invidious), while your app was using the youtube API. Google is allowed to
100.
by gopiandcode 5y ago
> They are an unethical use of the data produced by Youtube creators, who miss out on ad revenue which they worked hard to earn. There are many creators who don't only rely on unethical privacy invasive ads and support more ethical
101.
by gopiandcode 5y ago
> Since both Scientific WorkPlace and Scientific Notebook contain the proprietary computer algebra system MuPAD, they cannot be made open source. Don't you just hate the viral nature of infectious *proprietary* code? To co-opt som
102.
by gopiandcode 5y ago
I can't agree more - it seems very disrespectful to imply that Turing was only/primarily interested in OP's father due to his sexual preferences. I think the over-sexualisation is quite evident if you simply consider changin
103.
by gopiandcode 5y ago
> The current attitude popular amongst compiler writers is that of strict legality; the term "language-lawyering" certainly applies. The difference is that morality is inherently subjective whereas a programming language is pre
104.
by gopiandcode 5y ago
Yes, that is correct. The precondition for the function states that the pointer should not be null. The specification for the listcopy is listed slightly lower down on the article as follows: // r :-> x ** linked_list(x,S)
105.
Goodbye C developers: The future of programming with certified program synthesis(gopiandcode.uk)
5 points by gopiandcode 5y ago|2 comments
106.
by gopiandcode 5y ago
Looking through the FAQ, It seems like Rally requires users to send their raw data straight to the aggregation service, with the only privacy guarantees being that the data is encrypted during transport, and a "promise" that they
107.
by gopiandcode 5y ago
I wonder how many of the people defending or downsizing Nina Paley's position have seen the offending content - irrespective of how you feel about trans issues, representing trans women as such offensive caricatures (as violent club-wi
108.
by gopiandcode 5y ago
If the expert witness were lying, wouldn't that be perjury, and doesn't that come with its own legal repercussions?
109.
by gopiandcode 5y ago
> Stories about children either passing out or dying because they were required to wear masks. Do you have any citations for these events, because they seem to be absurd misinformation. The country I'm in (Singapore) has legally req
110.
by gopiandcode 5y ago
I agree that this is really a non-story, but I don't get where the claims of fascism come from? Are the students fascistic because they took a /democratic/ vote to remove a monarch (who was in no way democratically elected)?
111.
by gopiandcode 5y ago
I have been consistently appalled by the NHS' willingness to collaborate so freely with data-mining privacy-violating american companies (google, palantir). Did the UK public consent to having their personal data shared to unaccountabl
112.
by gopiandcode 5y ago
Just another reason not to trust companies that focus too much on "open source" rather than free/libre software. The former is just a corporate coopting of the latter in order to exploit developers and the developer community
113.
by gopiandcode 5y ago
It's honestly surprising how earnestly people can propose such draconian measures without even considering the consequences beyond a basic surface level analysis. Mass manipulation by foreign interests may be bad (Americans should bear
114.
by gopiandcode 5y ago
This is some really cool stuff, it really feels like the future of governance strategies. Even better, the software is libre. Other governments should take note.
115.
by gopiandcode 5y ago
Here's an example of how the behaviour between Rust and Python differ because of scoping: in Rust: fn main() { let a = 3; let f = | | { a }; let a = "b"; println!("{}, {}", f(), a); } in Pyt
116.
by gopiandcode 5y ago
Given that Grail has a quite ML-esque syntax and is also quite new, how does it compare to something like OCaml with JS_of_OCaml? Why would I use one over the other?
117.
by gopiandcode 5y ago
Variable shadowing is orthogonal to static typing. You can do the exact same thing in OCaml or Haskell - a is being redefined so it can be given any type you want.
118.
by gopiandcode 5y ago
I initially thought GP was being overly hyperbolic, but after watching the video I can't say I fully disagree. It's not so much the animal studies aspect, but rather the fact that they used bluetooth via a mobile phone to connect
119.
by gopiandcode 6y ago
Have you read the open letter? The points you list above are a lot more milquetoast than the "evidence" against RMS that was posted on the open letter - it performs such disingenuous actions as quoting statements that RMS has sinc
120.
by gopiandcode 6y ago
> So, you're either forced to defend Richard Stallman and accept what's going on over there, or __YOU ARE THE ENEMY OF ALL OPEN SOURCE__. Firstly Free software != open source, so you probably meant free software in your origina

More ›