I'm hitting a lot of 404s on Hackage when installing Haskell packages in CI.
Unexpected response 404 for http://objects-us-east-1.dream.io/hackage-mirror/package/data-array-byte-0.1.0.2.tar.gz
I'm running with the default config file for Cabal.
It this happening to anyone else?
Sorry for double posting; I'm trying to reach the Haskell communities that are most active.
I need to do service on my BMW motorcycle. Everyone's giving me quotes that, when I inquire about the cost of labor, comes out to about $230/h (aside from parts). I think that's ridiculous.
Does anyone have pointers of good BMW motorcycle service shops in the East Bay (or anywhere within reasonable distance from SL) that don't charge an arm and a leg?
Hi,
I was hoping to get married around August 24 at the SF city hall but the calendar looks fully booked around that date atm. It would be a very small and short event: 10 people only, and probably less than 1h.
Do you have ideas for nice looking but relatively simple venues for a small event?
Obviously hoping to also not spend a lot since this is not the "big party", this is just us signing the papers and getting officially married. I'm trying to make it somewhat special without going over board.
I need some personal care services (barber and such).
The drag is the tipping. I'm delaying it and delaying it because I just absolutely hate being expected to tip for this. Same with pedicures and manicures and things like that. Any personal care services.
I don't care if you change more straight up. That's fine. If you tell me it's $50 that's fine. If you tell me it's $55 I'll still pay it.
I care that the price listed is not the price I have to pay. I don't like to hear it's $40 but then with tax and tip it becomes $50 or $55. Just tell me how much it up front, including whatever you need to pay your employees, the government, or anybody else.
I know I'm not alone on this. I hear so many friends say the same thing.
Just list the full price and end tipping.
Hi,
I'd like to try different AR and VR glasses. Where can I go?
Is there anyone in this channel who works in this field who would be willing to let me try what they have?
Hi everyone!
We are really excited to announce Copilot 4.7.1. Copilot is a stream-based EDSL in Haskell for writing and monitoring embedded systems, with an emphasis on correctness and hard realtime requirements. Copilot is typically used as a high-level runtime verification framework, and supports temporal logic (LTL, PTLTL and MTL), clocks and voting algorithms. Compilation to Bluespec, to target FPGAs, is also supported.
Copilot is NASA Class D open-source software, and is being used at NASA in drone test flights and with rovers. Through the NASA tool Ogma (also written in Haskell), Copilot also serves as a programming language and runtime framework for NASA's Core Flight System, Robot Operating System (ROS 2) and FPrime (the software framework used in the Mars Helicopter). Ogma now supports producing flight and robotics applications directly in Copilot, not just for monitoring, but for implementing the logic of the applications themselves.
This release introduces several improvements to Copilot:
copilot-theorem.copilot-theorem that use Z3.copilot-libraries a module to perform sanity checks of Copilot specifications.copilot-libraries a module to facilitate implementing state machines.Copilot is compatible with versions of GHC from 8.6 to 9.10. Packages are published on Hackage, as well as several Linux distributions (e.g., Debian, Fedora).
This release has been possible thanks to submissions from Ryan Scott (Galois) and Chris Hathhorn (Galois). We are grateful to them for their contributions, and for making Copilot better every day.
For details on this release, see: https://github.com/Copilot-Language/copilot/releases/tag/v4.7.1.
As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for Jul 7th, 2026.
We want to remind the community that Copilot is now accepting code contributions from external participants again. Please see the discussions and the issues in our Github repo to learn how to participate.
Current emphasis is on using Copilot for full data processing applications (e.g, system control, arduinos, rovers, drones), improving usability, performance, and stability, increasing test coverage, removing unnecessary dependencies, hiding internal definitions, and formatting the code to meet our coding standards. Users are encouraged to participate by opening issues, asking questions, extending the implementation, and sending bug fixes.
Happy Haskelling!
Ivan
Hi,
Does anyone know how to deploy Bluespec (probably Verilog) to an FPGA using FLOSS tools only.
Right now I'm using Vivado, which is a lot to install.
I know this question is about Bluespec, not Haskell, but hopefully, it being a Haskell project, it'll be allowed here. r/bluespec is tiny.
Hi,
I'm looking for a linux box where I can run Kodi (preferably on Ubuntu, otherwise any linux that I can ssh into will do).
I care about the following:
- Ethernet, bluetooth. Wifi would be nice but not an absolute must.
- HDMI
- 4K capable
- DVD (or DVD capable, I have a USB DVD drive for mac I can plug)
- Capable of streaming from Amazon Prime, Netflix and such at high res.
- Silent
- Low cost (low hundreds would be great)
- Small / sleek if possible
I looked around, and it seems like most boxes are a few years old.
What's are good options for me atm?