ghc
virtualagc
Our great sponsors
ghc | virtualagc | |
---|---|---|
95 | 13 | |
2,971 | 2,482 | |
0.8% | 2.0% | |
9.7 | 8.9 | |
about 10 hours ago | 3 days ago | |
Haskell | Assembly | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ghc
-
Veryl: A Modern Hardware Description Language
of course it does! what else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? they are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things.
-
XL: An Extensible Programming Language
Agree about Haskell... as far as I'm aware there is actually no declarative/easily-readable definition of the Haskell syntax that is also complete, especially when it comes to the indentation rules, and the syntax is basically defined by the very (ironically) imperatively-defined GHC parser[0].
I prefer a syntax like in Pure[1], where the ambiguous, hard to parse indentation-based syntax is replaced by explicit semicolons (Yeah, you can use braces/semicolons in Haskell as well, but most code doesn't).
[0] https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser/L...
[1] https://agraef.github.io/pure-lang/
-
Revisiting Haskell after 10 years
GHC, the main Haskell compiler
-
Beginner question -- best way to implement this in Haskell?
GHCi, version 9.6.3: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /Users/daniel/.ghci ghci> :{ | split :: Float -> [Int] | split value = map(read . (:[])) . show | :} :3:15: error: [GHC-83865] • Couldn't match expected type: [Int] with actual type: a0 -> [b0] • Probable cause: ‘(.)’ is applied to too few arguments In the expression: map (read . (: [])) . show In an equation for ‘split’: split value = map (read . (: [])) . show
-
GHC 9.8.1 has been released
GHC is hosted on Gitlab, the Github repo is just a mirror. So money.
https://github.com/ghc/ghc
-
Um rápido Hello World com Haskell
☁ ~ ghci GHCi, version 9.4.7: https://www.haskell.org/ghc/ :? for help ghci> 6 + 3^2 * 4 42
-
Introducing NeoHaskell: A beacon of joy in a greyed tech world
Depending on who you ask, a programming language can be different things. If you ask the Haskell community, many will tell you that the language is the Haskell specification, and that what currently is being used is not Haskell itself, but an extension of Haskell that is supported by the GHC compiler. Similar to the C language, a programming language would be a specification.
- Exploring the Internals of Linux v0.01
-
type derivation
GHCi, version 9.4.2: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from ~/.dotfiles/ghc/.ghc/ghci.conf
- Why did GHC go from "occurs check failed" to talking about rigid type variables?
virtualagc
-
Mistral CEO confirms 'leak' of new open source AI model nearing GPT4 performance
I don't think that's a great example.
For instance, I can step through and even modify that code using tooling like AGC emulators like this one http://www.ibiblio.org/apollo/#gsc.tab=0
What makes it open source is access to the same level of source access that the original developers worked in.
That's what's missing here. Mistral's engineers do not simply open this binary in their editor to do their job.
- Exploring the Internals of Linux v0.01
-
Apollo 14 LMAE specs/exit velocity calculation
Glad you're enjoying the videos! I'm Mike from them. :) The Apollo 14 code I linked above was reconstructed in the same way as Luminary 69/2, but the process was far, far too involved for a video. Like I said above, I probably won't be much help with math, but I'd be more than happy to assist with finding documentation or navigating AGC code whenever you want!
-
Apollo 11 was FAKE. What is the best evidence to support this?
The fact that all the information about the computer and software is public and you can verify it yourself like thousands of people have. https://www.ibiblio.org/apollo/
-
TIL NASA landed on the moon using a computer with just 4KB of RAM
If you’re curious about the the technical specs of the AGC check out Ron Burkey’s website, it’s even got the source code for you to see for yourself: https://www.ibiblio.org/apollo/
- Ask HN: What weird technical scene are you fond/part of?
- The Apollo On-Board Computers
-
What is the evidence for the moon landing being fake?
Of course you should be able to tell us because all the hardware architecture and software can be found here. So you must have fully reviewed it and located the issues. Right? Than please point out where the error is.
- How did a Space Rocket take off again from the surface of Moon?
-
Exploring the software that flies SpaceX rockets and starships
It had manually encoded ROM in the form of "core rope memory", which is pretty wacky, but it was a digital computer. In fact, it was the first IC computer.
You can learn way too much about it and even operate (a simulation of) one here: http://www.ibiblio.org/apollo/
What are some alternatives?
polysemy - :gemini: higher-order, no-boilerplate monads
ArduinoCore-avr - The Official Arduino AVR core
in-other-words - A higher-order effect system where the sky's the limit
rvc - A 32-bit RISC-V emulator in a shader (and C)
vim-multiple-cursors - True Sublime Text style multiple selections for Vim
new-wave - Stack Computer Bytecode Interpreters: The New Wave
effect-zoo - Comparing Haskell effect systems for ergonomics and speed
CAM6 - Cellular Automata Machine (CAM6) Simulator
seed7 - Source code of Seed7
CygnusX1 - A thrust-vectoring model rocket flight computer. Comes with all you need to keep your rocket pointing up.
frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.
FreePSXBoot - Exploit to allow loading arbitrary code on the PSX using only a memory card (no game needed)