[racket-users] Assertion failures in bigfloat package

[polarishehn]

Hello everyone,

I'm using Racket's MPFR bindings to build an application and encountered 
assertions failures like `../../src/get_str.c:153: MPFR assertion failed: 
size_s1 >= m`. Somehow I could not reproduce this error provided I set the 
random seed correctly. So I have two questions here,

1. What should I do to debug the assertion failure if I can reproduce it?
2. Are there any nondeterminism inside the bigfloat package?

Thanks,
Shaobo

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Logic Mentoring Workshop (LMW) 2019 Call for Participation

[William J. Bowman]

Please distribute this call widely; send it to your reading groups, your 
classes, and internal lab lists!


 Call for Participation
 LMW 2019
4th Logic Mentoring Workshop
  June 22, 2019, Vancouver, Canada
 Co-located with LICS 2019
  https://lics.siglog.org/lics19/lmw.php

=

The Logic Mentoring Workshop (LMW) will introduce young researchers to the 
technical 
and practical aspects of a career in logic research. It is targeted at 
students, from senior 
undergraduates to graduates, and will include talks and a panel session from 
leaders in 
the subject.

LMW 2019 builds on the resounding success of the first three editions held in 
2016, 2017 
and 2018. It will be co-located with the Symposium on Logic in Computer Science 
(LICS 2019), the premier international forum on theoretical and practical 
topics in 
computer science related to logic. LMW will take place in Vancouver on June 22 
before 
the main conference.


SPEAKERS

Bob Atkey (University of Strathclyde)
Kuen-Bang Hou (Favonia) (University of Minnesota)
Ohad Kammar (University of Edinburgh) 
Étienne Miquey (Inria, Gallinette) 
Brigitte Pientka (McGill University)
Sylvain Schmitz (LSV, Paris-Saclay)
Ana Sokolova (University of Salzburg)


PANELISTS

Ohad Kammar (University of Edinburgh) 
Ana Sokolova (University of Salzburg)
Kuen-Bang Hou (Favonia) (University of Minnesota)


ORGANIZING COMMITTEE

William J. Bowman (University of British Columbia)
Mike Dodds (Galois, Inc)
Sandra Kiefer (RWTH Aachen University)
Filip Mazowiecki (University of Bordeaux)


PROGRAM

A detailed program will soon be available on the LMW 2019 website at
https://lics.siglog.org/lics19/lmw.php


TRAVEL AWARDS

Thanks to the generous support from Amazon Web Services, Galois, NSF and 
SIGLOG, 
we will be able to offer travel awards to eligible participants. The travel 
support will 
consist in refunds for expenses regarding registration and possibly 
accommodation. 
The application form will be available from Monday, April 22. Applicants must 
fill out 
the form and provide a recommendation letter. Please find further details on 
our website.
The deadline for applications is May 17th and applicants will be notified by 
May 27th.

We are looking forward to seeing you at LMW in Vancouver!

-- 
William J. Bowman, Ph.D.
Assistant Professor, Computer Science, University of British Columbia
https://www.williamjbowman.com

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] db module + SQLite driver + 'ON CONFLICT' = syntax error

[David Storrs]

On Thu, Apr 18, 2019 at 5:42 PM Ryan Culpepper  wrote:

> Use "INSERT OR IGNORE" instead. See
> https://sqlite.org/lang_conflict.html, 3rd paragraph.
>

Yep.  Unfortunately, this was a simplified case of wanting to use OR DO
UPDATE to make this actually an upsert.  When I started seeing this issue I
backed it out to OR DO NOTHING in order to simplify the syntax.


> Ryan
>
>
> On 4/18/19 23:28, David Storrs wrote:
> >
> >
> > On Thu, Apr 18, 2019 at 4:48 PM Jon Zeppieri  > > wrote:
> >
> > It might well be the SQLlite version. This is a pretty new feature.
> > It's possible that the db library is using an older version than
> > your CLI client.
> >
> >
> > Got it.  Is there any way for me to address the situation aside from
> > "Don't use that SQL"?
> >
> >
> > - Jon
> >
> >
> > On Thu, Apr 18, 2019 at 4:03 PM David Storrs  > > wrote:
> >
> > I'm having trouble with using the the 'ON CONFLICT' clause with
> > a SQLite database.  Example:
> >
> >  > (query-exec db "drop table if exists peers")
> >  > (query-exec db "create table if not exists peers (name text)")
> >  > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)"
> "hqwt")
> >  > (query-rows db "SELECT * FROM peers")
> > '(#("hqwt"))
> >  > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON
> > CONFLICT DO NOTHING" "hqwt")
> > ; query-exec: near "ON": syntax error
> > ;   error code: 1
> > ; [,bt for context]
> >
> > I thought maybe there was some issue with the column not being
> > marked UNIQUE, so I did that.  No effect:
> >
> >  > (query-exec db "drop table if exists peers")
> >  > (query-exec db "create table if not exists peers (name text
> > UNIQUE)")
> >  > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)"
> "hqwt")
> >  > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)"
> "hqwt")
> > ; query-exec: abort due to constraint violation
> > ;   error code: 2067
> > ;   SQL: "INSERT INTO peers ( name ) VALUES ($1)"
> > ; [,bt for context]
> >  > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON
> > CONFLICT DO NOTHING" "hqwt")
> > ; query-exec: near "ON": syntax error
> > ;   error code: 1
> > ; [,bt for context]
> >
> > I've been through the SQLite documentation on the INSERT
> > statement multiple times, and that last statement sure looks
> > syntactically valid to me.  Furthermore, it works fine if I use
> > it in the OSX 10.11.6 sqlite3 CLI client.
> >
> > What am I missing?
> >
> > --
> > You received this message because you are subscribed to the
> > Google Groups "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from
> > it, send an email to racket-users+unsubscr...@googlegroups.com
> > .
> > For more options, visit https://groups.google.com/d/optout.
> >
> > --
> > You received this message because you are subscribed to the Google
> > Groups "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> > an email to racket-users+unsubscr...@googlegroups.com
> > .
> > For more options, visit https://groups.google.com/d/optout.
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] db module + SQLite driver + 'ON CONFLICT' = syntax error

[David Storrs]

On Thu, Apr 18, 2019 at 4:48 PM Jon Zeppieri  wrote:

> It might well be the SQLlite version. This is a pretty new feature. It's
> possible that the db library is using an older version than your CLI client.
>

Got it.  Is there any way for me to address the situation aside from "Don't
use that SQL"?


> - Jon
>
>
> On Thu, Apr 18, 2019 at 4:03 PM David Storrs 
> wrote:
>
>> I'm having trouble with using the the 'ON CONFLICT' clause with a SQLite
>> database.  Example:
>>
>> > (query-exec db "drop table if exists peers")
>> > (query-exec db "create table if not exists peers (name text)")
>> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
>> > (query-rows db "SELECT * FROM peers")
>> '(#("hqwt"))
>> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
>> NOTHING" "hqwt")
>> ; query-exec: near "ON": syntax error
>> ;   error code: 1
>> ; [,bt for context]
>>
>> I thought maybe there was some issue with the column not being marked
>> UNIQUE, so I did that.  No effect:
>>
>> > (query-exec db "drop table if exists peers")
>> > (query-exec db "create table if not exists peers (name text UNIQUE)")
>> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
>> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
>> ; query-exec: abort due to constraint violation
>> ;   error code: 2067
>> ;   SQL: "INSERT INTO peers ( name ) VALUES ($1)"
>> ; [,bt for context]
>> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
>> NOTHING" "hqwt")
>> ; query-exec: near "ON": syntax error
>> ;   error code: 1
>> ; [,bt for context]
>>
>> I've been through the SQLite documentation on the INSERT statement
>> multiple times, and that last statement sure looks syntactically valid to
>> me.  Furthermore, it works fine if I use it in the OSX 10.11.6 sqlite3 CLI
>> client.
>>
>> What am I missing?
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/d/optout.
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] db module + SQLite driver + 'ON CONFLICT' = syntax error

[Jon Zeppieri]

It might well be the SQLlite version. This is a pretty new feature. It's
possible that the db library is using an older version than your CLI client.

- Jon


On Thu, Apr 18, 2019 at 4:03 PM David Storrs  wrote:

> I'm having trouble with using the the 'ON CONFLICT' clause with a SQLite
> database.  Example:
>
> > (query-exec db "drop table if exists peers")
> > (query-exec db "create table if not exists peers (name text)")
> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
> > (query-rows db "SELECT * FROM peers")
> '(#("hqwt"))
> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
> NOTHING" "hqwt")
> ; query-exec: near "ON": syntax error
> ;   error code: 1
> ; [,bt for context]
>
> I thought maybe there was some issue with the column not being marked
> UNIQUE, so I did that.  No effect:
>
> > (query-exec db "drop table if exists peers")
> > (query-exec db "create table if not exists peers (name text UNIQUE)")
> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
> ; query-exec: abort due to constraint violation
> ;   error code: 2067
> ;   SQL: "INSERT INTO peers ( name ) VALUES ($1)"
> ; [,bt for context]
> > (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
> NOTHING" "hqwt")
> ; query-exec: near "ON": syntax error
> ;   error code: 1
> ; [,bt for context]
>
> I've been through the SQLite documentation on the INSERT statement
> multiple times, and that last statement sure looks syntactically valid to
> me.  Furthermore, it works fine if I use it in the OSX 10.11.6 sqlite3 CLI
> client.
>
> What am I missing?
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] db module + SQLite driver + 'ON CONFLICT' = syntax error

[David Storrs]

I'm having trouble with using the the 'ON CONFLICT' clause with a SQLite
database.  Example:

> (query-exec db "drop table if exists peers")
> (query-exec db "create table if not exists peers (name text)")
> (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
> (query-rows db "SELECT * FROM peers")
'(#("hqwt"))
> (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
NOTHING" "hqwt")
; query-exec: near "ON": syntax error
;   error code: 1
; [,bt for context]

I thought maybe there was some issue with the column not being marked
UNIQUE, so I did that.  No effect:

> (query-exec db "drop table if exists peers")
> (query-exec db "create table if not exists peers (name text UNIQUE)")
> (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
> (query-exec db "INSERT INTO peers ( name ) VALUES ($1)" "hqwt")
; query-exec: abort due to constraint violation
;   error code: 2067
;   SQL: "INSERT INTO peers ( name ) VALUES ($1)"
; [,bt for context]
> (query-exec db "INSERT INTO peers ( name ) VALUES ($1) ON CONFLICT DO
NOTHING" "hqwt")
; query-exec: near "ON": syntax error
;   error code: 1
; [,bt for context]

I've been through the SQLite documentation on the INSERT statement multiple
times, and that last statement sure looks syntactically valid to me.
Furthermore, it works fine if I use it in the OSX 10.11.6 sqlite3 CLI
client.

What am I missing?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Documentation is not updating

[David Storrs]

Thanks, Matthew.  We all really appreciate the work you do.

On Thu, Apr 18, 2019 at 11:38 AM Matthew Flatt  wrote:

> The package-build service attempts to download from
> mirror.racket-lang.org, but the machine serving that address died.
>
> We're working to get mirror.racket-lang.org restored, but it makes
> sense at this point to use a different server for the package-build
> service. I've switched it over and started a build.
>
> At Wed, 17 Apr 2019 23:53:14 -0400, David Storrs wrote:
> > I pushed a new version of struct-plus-plus to the package server a couple
> > days ago and the documentation still has not updated.  Is there a way to
> > kick the builder?
> >
> > Dave
> >
> > PS:  I'm fairly proud of this newest version, which centers around the
> > #:convert-from keyword.  It allows for autogenerating functions that will
> > convert an arbitrary value into a struct of your defined type, while
> doing
> > all required integrity checks and validating interfield dependencies.
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups
> > "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an
> > email to racket-users+unsubscr...@googlegroups.com.
> > For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] From HtDP to Racket

[Luis Sanjuán]

The last month or so we all read some interesting posts about the convenience 
of examples or docs to facilitate the transition from other languages to Racket 
(from Python to Racket, from R to Racket, ...). Then I thought about another 
non-Racket languages that no one mention, if I recall well, for which such 
examples would be more than helpful, *SL languages ;)

Of course, The Realm is there, but more examples would be beneficial, I guess. 
I have written something along these lines on my blog:

https://los-pajaros-de-hogano.blogspot.com/2019/04/from-htdp-to-racket-isbn-extraction-in.html

It might be full of inaccuracies or even errors. So comments, fixes, or 
suggestions are welcomed.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Documentation is not updating

[Matthew Flatt]

The package-build service attempts to download from
mirror.racket-lang.org, but the machine serving that address died.

We're working to get mirror.racket-lang.org restored, but it makes
sense at this point to use a different server for the package-build
service. I've switched it over and started a build.

At Wed, 17 Apr 2019 23:53:14 -0400, David Storrs wrote:
> I pushed a new version of struct-plus-plus to the package server a couple
> days ago and the documentation still has not updated.  Is there a way to
> kick the builder?
> 
> Dave
> 
> PS:  I'm fairly proud of this newest version, which centers around the
> #:convert-from keyword.  It allows for autogenerating functions that will
> convert an arbitrary value into a struct of your defined type, while doing
> all required integrity checks and validating interfield dependencies.
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket News - Issue 6

[Alexander Shopov]

And a bit more popularity - there will be links from
Linux Weekly News: Announcements -> Newsletters -> Developement to the news
letter:

Current edition - https://lwn.net/Articles/785683/, will be publicly
available next week.

Here is how it looks like:

Development
  * Emacs News (April 15)
  * What's cooking in git.git (April 16)
  * LLVM Weekly (April 15)
  * LXC/LXD/LXCFS Weekly Status (April 15)
  * OCaml Weekly News (April 16)
  * Perl Weekly (April 15)
  * Weekly changes in and around Perl 6 (April 15)
  * PostgreSQL Weekly News (April 14)
  * Python Weekly Newsletter (April 11)
  * Racket News (April 12)
  * Ruby Weekly News (April 11)
  * This Week in Rust (April 16)
  * Wikimedia Tech News (April 15)



На пт, 12.04.2019 г. в 17:25 ч. 'Paulo Matos' via Racket Users <
racket-users@googlegroups.com> написа:

> Issue 6 is here.
>
> http://racket-news.com/2019/04/racket-news-issue-6.html
>
> It's cappuccino time, enjoy your weekend!
> --
> Paulo Matos
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.